20230824

 Fell asleep around 1, and woke up around 6:30 as usual. Got up then to have breakfast and take part in an English lesson at 7:30. Watched a football game afterwards. Started to work on my open source project, adding basic features about schemas. Copied a lot of code from what I had written a month ago. Played Zelda after lunch, and returned to my study room and took a nap. Woke up around 1:30, didn't want to read books so continued to work. Added inheritance to schemas. This might sounded absurd, but I took schemas as types. Not so complex though, because it was used to describe the sets of key-value pairs. So generic types might be useless. Wanted to support inheritance from multiple schemas at first, but found it was too complex. There is a scenario where inheritance is necessary. Suppose I want to record something, with a predefined schema, for example, Payment. For some reasons, I want to add a field with another predefined schema (like Todo), then it's natural to say, the new schema inherits from Payment, with an additional field conforming to Todo schema. Rested for a while after dinner, then played piano before 8. Did the running exercise around 10. Completed 13 pomodoroes today - one each for exercise, English, and learning, and ten for work.