mikera / magic

Experimental typed JVM Lisp inspired by Clojure
Eclipse Public License 1.0
32 stars 2 forks source link

Status Check #14

Open JacobGood1 opened 4 years ago

JacobGood1 commented 4 years ago

The language ideas detailed here sound very cool, however, the project seems to have stalled. I did not know where else to ask about the project, how are things going?

mikera commented 4 years ago

Thanks! This repo on particular is on indefinite hold until I get time to work on it again, though some of the ideas are very alive in a project (a new Lisp!) that I hope to be able to reveal quite soon.

What in particular are you interested in?

JacobGood1 commented 4 years ago

Optional static typing and immutable contexts. I have played with contexts in Rebol where they are different from what you have proposed but the idea is similar. I have played with optional types in the first version of Dart and in Common Lisp. Are you creating another lisp that runs on graal?

mikera commented 4 years ago

It's a Lisp that is not necessarily Graal-only, but yes it could run on Graal. Immutable contexts are a big feature, it also focuses on guaranteed bounds on (space, time) execution as it is intended for secure usage in smart contracts and other distributed systems. Type system is probably going to be more like Typed Racket, but that's a bit further off in the timeline.