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?

Ekeopre Beredugo's avatar

Thanks for sharing. As someone who has been learning languages I've come to find that the different perspectives are allowing me improve my understanding of what other languages are doing. For example, I'm beginning to appreciate Typescript more as I learn C#.

4 more comments...

No posts

Ready for more?