|
|
|
|
|
|
by vishnugupta
224 days 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 |
|
|