Email or username:

Password:

Forgot your password?
Devine Lu Linvega's posts Post Back to profile
Devine Lu Linvega

Still working on arity-checking, one simple type that has eluded me until now is when a function doesn't return at all, but falls into the next one.

Finally got around to validating for this one.
20 May 2023 at 3:31 | Open on merveilles.town
5 comments
Devine Lu Linvega

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

20 May 2023 at 3:34 | Open on merveilles.town
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

20 May 2023 at 3:37 | Open on mastodon.social
nomand

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

20 May 2023 at 4:27 | Open on merveilles.town
Devine 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.

20 May 2023 at 13:49 | Open on merveilles.town
Go Up