3 ms·
> 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 explan
by vishnugupta 1y 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