Currently, there is no type checking. It's all very bare bones, an awful lot is still missing. There isn't even a compiler executable yet. But I think progress should be a bit faster now. #Funktal
@wim_v12e I'd just like to say that postfix function declaration looks very nice. At a glance it looks like you're building a cocktail of factor and joy, and I'm here for it.
@neauoire 😊 The main difference with those languages is I think that I use the type system to create data structures.
Without the algebraic data types, it maps quite directly to Uxntal: the lambda arguments are just memory locations. And the postfix notation makes everything very easy.
@wim_v12e I'd just like to say that postfix function declaration looks very nice. At a glance it looks like you're building a cocktail of factor and joy, and I'm here for it.