20231215

 Fell asleep soon after dinner as usual, and got up around 10. Started to work after midnight, mainly read EffectTS's document because I heard that fp-ts would be merged into it and the library was actually inspired by Scala's ZIO library. I remembered I compared fp-ts and EffectTs before, but chose fp-ts. EffectTs had some interesting features, especially on schema part. But I was not familiar with its syntax, though Effect<R, E, A> looked just like ReaderTaskEither<R, E, A>. Tried its dependency injection, not really worked for me, maybe I made some mistakes. So currently I won't migrate to EffectTs. Turned to watching anime around 3:30, then did a cycling exercise around 5. Went to sleep after breakfast, then got up around 11 as usual. Played piano after lunch, then returned to my study room to do some simple refactoring and learn on Educative. Completed 13 pomodoroes today - two for exercise, three for learning, and eight for work.