Mi sono imbattuto nel progetto Ur / Web durante la mia ricerca di framework web per linguaggi simili a Haskell. Sembra un progetto molto interessante fatto da una persona.
Fondamentalmente, è un linguaggio puramente funzionale specifico del dominio per la programmazione web, prendendo il meglio di ML e Haskell. La sintassi è ML, ma ci sono classi di tipo e monade di Haskell, ed è rigorosamente valutata. Il lato server è compilato in codice nativo, client in Javascript. Vedi le diapositive e la pagina FAQ per altri vantaggi pubblicizzati.
Guardando le demo e il loro codice sorgente , penso che il progetto sia molto promettente. L'ultima versione è qualcosa di 20110123, quindi sembra essere in fase di sviluppo attivo in questo momento.
Qualcuno qui ha avuto ulteriori esperienze con esso? Ci sono problemi / fastidi rispetto a Haskell, a parte la sintassi leggermente più dettagliata di ML?