top | item 45795475

(no title)

vishnugupta | 3 months ago

> can encode logic in types in a way that’s impossible in most other languages

It’d be of great help if you could share an example of this along with an explanation why it’s impossible in a different language say one of Java/C++/Go

discuss

order

No comments yet.