The Lux Programming Language
summary
A new Lisp named Lux is a purely functional, mandatory statically typed language with type inference that already runs on the JVM and Android (v0.5) and plans a JavaScript back end in v0.6. It ships first-class modules, concurrency primitives (monadic promises, STM, actors, FRP), a macro system whose macros have access to the compiler state, monadic macro parsers, and first-class types. The type checker is implemented in Lux itself and the compiler rewrite in Lux is underway, promising extensible compilation and platform‑independent libraries.
AI-written summary · about
chapters (20)
- 0:00Introduction
- 0:40What is Lux
- 1:23Platforms
- 1:51Static Types
- 2:17Universal Quantification
- 3:51Concurrency
- 5:44Macros
- 8:48Types
- 10:57Philosophy
- 11:16Foundation
- 12:57Platform independence
- 16:00Deep meta programming
- 19:44Strange Loop 2017
- 20:44Macros Limitations
- 22:31Reshaping the Compiler
- 23:49What Can You Gain
- 27:21What Can You Expect
- 28:00The Master of Your Own Code
- 28:57Conclusion
- 30:04New Primitives
related talks
29mLunarML: From Standard ML to Scripting Languages
27mBuilding functional Front-ends with ClojureScript
43mWhat, if anything, is a llama?
13mBrewing JavaScript: Compile your own domain-specific language to JavaScript
41mA language in 20 minutes
06mBrian Lonsdorf (loop/recur) interviewed at Fluent 2014
29mAre we there yet? Remix
15mPutting the fun in functional with Elm