|
|
|
|
|
|
by masklinn
125 days ago
|
|
|
It is relevant to all languages with static type checkers from idris to python. But of course since it is about expressing properties via the type system the more expressive that is the easier and more applicable. Java has sum types, incidentally. And pattern matching. |
|
|