Statically-typed Lisp in C#

[waf]

I'm building a programming language for the .NET CLR, using the Roslyn compiler platform. It's statically-typed with Lisp syntax. I'm happy to have people help or just talk about it. I'm "taking inspiration" (i.e. shamelessly stealing) syntax from Clojure.

https://github.com/waf/Donatello

[seancomeau]

I'm interested in this.

[waf]

I've updated the description with a GitHub link.

[waf]

Did some great pair programming with @seancomeau. Implemented variable assignment, booleans, and if-else statements!

[waf]

Reopening this, as I'll still be working on it next bkkhack. Here's my progress so far:

What's done:

• Beginning ANTLR4 grammar and generated lexing/parsing code.
• REPL (read eval print loop)
• Function definition and invocation
• Variable definition and usage
• Lambda expressions
• Basic types:
  • Referring to existing CLR types
  • Literal syntax for immutable collections:
  • Arrays [1 2 3]
  • Sets |1 2 3|
  • Dictionaries {"a" 5 "b" 3}
• Calling .NET SDK methods (Console.WriteLine "Hello World")
• let bindings

What's not done:

• String interpolation
• Macro system
• Add some useful aliases - e.g. Console.WriteLine should be aliased to print
• Ideas: Algebraic data types? Pattern Matching?

[waf]

Implemented anonymous functions, and the compiler can now produce DLLs

[waf]

Well, another hacknight, another lisp-hacking session. I'll be experimenting with adding Paket tooling support.

[waf]

just kidding, I'll be hacking on something else :smile: Still happy to talk about this if anyone is curious, though.