Skip to main content

#Uxn folks, I wrote a spec for Funktal, a functional language I'm working on intended to compile to #Uxntal.
Before I go deep down the rabbit hole, I'd value your views on this.

https://codeberg.org/wimvanderbauwhede/funktal/src/branch/main/SPEC.md

funktal

Hopefully, eventually, a small compiler implemented in Uxntal for a statically typed functional language running on Uxn.
Codeberg.org
#uxn #uxntal
in reply to WimⓂ️

Devine Lu Linvega
Devine Lu Linvega
• •
first typed language on uxntal, I'm also curious to see if this will be difficult to make fit in such a restrictive system. Do you think you'll support devices, or will it be a strictly cli project?
in reply to Devine Lu Linvega

WimⓂ️
WimⓂ️
• •
@neauoire If I ever get that far, I want to support devices. I have not thought about a syntax for that but probably I'll add a `devices` block.

I think it will fit, but of course with considerable overhead, not so much because of the type system but because of the anonymous functions. After type checking, I'll compile this down to the functional constructs I did before. The type checker will be tricky though.
@Devine Lu Linvega

Lo, thar be cookies on this site to keep track of your login. By clicking 'okay', you are CONSENTING to this.

⇧