Next-Generation Stellar Replacement in a Fancy Programming Language

We are working on building a replacement for MIT's Stellar system, with more customization options and generally more neat stuff. We're using Ur/Web, a new functional programming language that supports unusual modularity features. The idea is that static type-checking will validate the reasonableness of the feature mash-up associated with each new class. There are many opportunities to test the limits of our architecture by implementing new feature plugins, which involves coming up with very expressive interfaces using static types. Contact Adam Chlipala at adamc@csail.mit.edu for more information.