Email or username:

Password:

Forgot your password?
Top-level
Devil Lu Linvega

I remember once explaining uxntal as "simple" language, well, needless to say you won't be catching me calling uxntal simple again.

3 comments
mcc

@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

nomand

@neauoire you have become that which you have vowed to destroy

Devil Lu Linvega

@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.

Go Up