I remember once explaining uxntal as "simple" language, well, needless to say you won't be catching me calling uxntal simple again.
Top-level
I remember once explaining uxntal as "simple" language, well, needless to say you won't be catching me calling uxntal simple again. 3 comments
@nomand very much :ouroboros: edit: To be clear, Uxntal hasn't changed. It's the same language as it was, but writing type inference reveals its hidden intricacies, similarly to how writing a BNF notation for a language might also. |
@neauoire Yeah so it turns out that languages which are human-simple to write are the most complex to typecheck and the languages which are the simplest to typecheck are the most human-complex to understand and write