Discussion about this post

User's avatar
sk-logic's avatar

The author is not really qualified to speak about "multiple languages", since all the languages he used are pretty much the same one language with only minor cosmetic differences.

How about exploring the other vertices of the Lambda Cube? Add something dependently typed to the mix? Add first order logic?

Expand full comment
Jonah Andersson's avatar

Thanks for sharing Oskar! Great points you highlights. As a developer who learned to code my first home page on a notepad without an IDE, learning Visual Basic, Java, C#, fullstack, etc. and building and developing with cloud, I can totally resonate to what you have expressed in your writing.

Expand full comment
3 more comments...

No posts