manticore - Programming language

manticore is a programming language created in 2009.

#3945on PLDB

15Years Old

Example from the web:

fun forever (init : ’a) (f: ’a -> ’a) : unit =
 let
   fun loop s = loop (f s)
   val _ = spawn (loop init)
 in
   ()
 end

PLDB - Build the next great programming language · About · Acknowledgements · Extensions · Day 630 · Donate · feedback@pldb.io