This year 2019 has been exciting in many respects, but it's coming to an end and the time is ripe to look forward: 2020, here I come! For my own personal records, I have written up a list of things I would like to work on, investigate, learn, discover and more generally spend some time tinkering with. I look forward to the 31st of December, 2020, to check by which margin I overestimated the time I could reasonably put into side projects!

Idris

I fell in love with Idris (1) while reviewing Edwin Brady's awesome book. Having concrete examples of code that leveraged Dependent Types was an eye opener to me. Since then, I have tried to get a better understanding of how dependent types could be put to use in my "Real World", ie. to improve the design of mundane software.

In 2020, I plan to continue investigating that topic through various angles.

Type Systems and Domain-Driven Design

IDE and Developer's Experience

Online Games

Testing

Property- and Model-Based Testing

FitNesse & ATDD/BDD

Various Software-related stuff

Non-software

Conclusion

That's obviously a ridiculously too high number of complex topics for a single person, in a single year. Especially taking into account I also plan to earn some money with a day job that might not fit perfectly with any of those projects, spend more time with my family, read books just for the pleasure of reading books, run and workout... Let's see what 2020 has to offer, I will be happy if I can make some decent progress on one or two of those topics!