Sixten: a strict, unboxed by default, functional programming language github.com/ollef/sixten/b
Conversation
Similar project featuring dependent types as well: github.com/pikelet-lang/p
Quote Tweet
Sixten: a strict, unboxed by default, functional programming language github.com/ollef/sixten/b
Show this thread
2
Replying to
Still a way off actually having something usable there, haha! I'm currently posting progress updates on /r/ProgrammingLanguages: reddit.com/r/ProgrammingL
As I mentioned in that post, currently most of my effort is going into github.com/brendanzab/rus - it will become the basis of the new front-end for Pikelet. Also: Sixten has dependent types too! 🙂
1
1
1
Sorry, I didn’t notice either the post or that Sixten had dependent types as well… Very cool stuff tough :) Keep up the good work 👍
1
1
Show replies

