
17
F # adalah bahasa ringkas dan ekspresif yang berfungsi dan berorientasikan objek untuk NET yang membantu anda menulis kod mudah untuk menyelesaikan masalah yang rumit.
WebSite:
http://fsharp.orgKategori
Alternatif untuk F# (programming language) untuk Linux

27
Nim (programming language)
Nim adalah bahasa pemrograman ditaip statik, yang mempunyai sistem makro yang kuat yang cuba memberikan kuasa muktamad pengatur tanpa kompromi pada kecekapan runtime.

17

17
IronPython
IronPython adalah pelaksanaan bahasa pengaturcaraan Python yang berjalan di bawah .NET dan Silverlight.Ia menyokong konsol interaktif dengan kompilasi dinamik sepenuhnya.

9

7

4

3
F*
F * adalah bahasa pengaturcaraan berfungsi seperti ML yang bertujuan untuk pengesahan program.F * boleh menyatakan spesifikasi yang tepat untuk program, termasuk sifat ketepatan fungsian.Program yang ditulis dalam F * boleh diterjemahkan ke OCaml atau F # untuk pelaksanaan.

3

2
Nim (programming language)
Nim adalah bahasa pengaturcaraan statik yang diketik secara statistik yang cuba memberi kuasa muktamad pengatur tanpa kompromi pada kecekapan runtime.

1

0
Coconut programming language
Pengaturcaraan fungsional mudah, elegan, Pythonic.Kelapa (coconut-lang.