関数型言語ML (SML, OCaml, etc.), Part 7

**デフォルトの名無しさん** · 2017/11/01(水) 17:25:35.48

関数型言語MLについて語るスレッドです。

MLは、確固とした理論的背景を持つ言語でありながら、
現実的なソフトの開発にも使用できる実用性を備えた言語です。
また、プログラミングの初心者が最初に学習する言語としても優れています。

総本山
Standard ML http://www.smlnj.org/
Objective Caml http://caml.inria.fr/ocaml/

前スレ
関数型言語ML (SML, OCaml, etc.), Part 6
http://mevius.2ch.net/test/read.cgi/tech/1245017721/

**デフォルトの名無しさん** · 2017/11/02(木) 23:10:57.91

>1おつ

**デフォルトの名無しさん** · 2017/11/03(金) 00:13:58.21

Standard ML の方言 Mythril
https://mythryl.org/index3.html

Standard MLとの構文的違いの一覧表
https://mythryl.org/my-SML_vs_Mythryl_Fragment_Equivalence_Table.html

**デフォルトの名無しさん** · 2017/11/03(金) 00:17:37.47

ガンダルフ？

**デフォルトの名無しさん** · 2017/11/03(金) 20:36:09.16

>>3
他はともかくunitをvoidと呼ぶのは怒る人出てくるんじゃないか

**デフォルトの名無しさん** · 2017/11/19(日) 21:10:55.07

下らない質問なんだけど
mlで三項以上の演算子ってどうやって定義するの？

**デフォルトの名無しさん** · 2017/11/19(日) 22:20:16.29

(?) c t = if c then const t else id
(:) f x = f x

**デフォルトの名無しさん** · 2017/12/21(木) 03:40:36.49

https://reasonml.github.io/
Facebook がこんなの作ってたんだな。