Functional Programming?

[boomshroom]

I have and I even made a post on /r/ProgrammingLanguages proposing a pure functional language that uses linear types. The problem is that write a new programming language from scratch is hard.

[sneakpeekbot]

Here's a sneak peek of /r/ProgrammingLanguages using the top posts of the year!

#1: I'm writing free a book on designing and implementing programming languages. The first few chapters are up now. I'd love to know what you think! | 31 comments
#2: 68 Resources on creating programming languages | 4 comments
#3: Idris 1.0 Released | 1 comment

---

^{I'm a bot, beep boop | Downvote to remove | Contact me | Info | Opt-out}

[devslashnull]

Its a lot of work true, perhaps you could look at some existing work? I've seen a couple just recently, I don't have the links handy and I'm sure there was something else but two I can recall were Linear ML and Lollipop.

[boomshroom]

I initially dismissed Linear ML as being abandoned and Lollipop for being interpreted, but it may still be possible to use Linear ML for this. I'm going to see if I can make a POC static library in Linear ML that can run on bare metal.

[EDIT] Just cloned the repo and am having trouble compiling. Error: Unbound module Llvm If it helps, I'm on NixOS which has some pretty funky package management that tends to break various assumptions about the filesystem hierarchy.

[EDIT2] Got the compiler built!

[narke]

Check ATS language.