[4091] in Software_Announce
Frege installed on Athena
daemon@ATHENA.MIT.EDU (Alex T Prengel)
Fri Oct 17 12:57:39 2014
From: Alex T Prengel <alexp@mit.edu>
To: software-announce@MIT.EDU
Cc: alexp@MIT.EDU, cfyi@MIT.EDU
Date: Fri, 17 Oct 2014 12:57:20 -0400
I've installed the Frege programming language on Athena. Frege is a
non-strict, pure functional programming language in the spirit of
Haskell. It enjoys a strong static type system with type inference.
Higher rank types are supported, though type annotations are required
for that. Frege programs are compiled to Java and run in a JVM.
To use it:
add frege-lang
fregec <options> file.fr (to compile Frege source in file.fr)
frege <package or module name> (to run Frege package or module)
frege-repl (to run the REPL)
More detailed instructions with pointers to documentation and examples
are at http://web.mit.edu/frege-lang/README.athena
Alex
