関数型言語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 がこんなの作ってたんだな。

**デフォルトの名無しさん** · 2017/12/23(土) 11:24:33.44

>>8
ちょっと見てみたけどOCamlとJavascript知ってれば、すぐに使えそうでいいね

**デフォルトの名無しさん** · 2017/12/28(木) 09:57:11.71

関数型って変数が定数になっただけ？

**デフォルトの名無しさん** · 2017/12/28(木) 17:39:41.34

すべてを関数と見なすだけ
定数も「定数を表す関数」と見なす
immutableかどうかは別の話

**デフォルトの名無しさん** · 2018/03/19(月) 08:51:02.12

初心者質問いいですか
ocamlコマンドでスクリプトみたいにコード走らされるけど、coreを使った途端できなくなりました。
追加でコマンドオプションが必要なのでしょうか？

**デフォルトの名無しさん** · 2018/04/15(日) 20:58:24.01

ocamlは見た目がキモいですね😱

**デフォルトの名無しさん** · 2018/05/23(水) 20:56:35.31

僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法　モニアレフヌノ』

KDJWC

**デフォルトの名無しさん** · 2018/06/14(木) 23:29:58.98

fableってのが面白そうだ･･･F#からJavascriptに変換してHTML5アプリとか作れるらしい
時間ができたらいじってみようかな

**デフォルトの名無しさん** · 2018/06/15(金) 03:28:33.32

bucklescriptでよくない？

**デフォルトの名無しさん** · 2018/06/18(月) 09:10:34.40

おい！あの岡部健（毛の壁）がgithubで活動を再会してるぞ！

**デフォルトの名無しさん** · 2018/06/23(土) 03:37:58.67

OCamlで質問なんですが、１つのリストに対してmapしてfilterして、またmapしてみたいなことをするとき、
新しいリストがその度に、上の例で言うと3回作られるという認識であってますか？

**デフォルトの名無しさん** · 2018/06/23(土) 07:35:44.96

合ってる
それにクロージャを渡すだけでも結構コストがあるので
自分でループ書いたほうが効率がいい

**デフォルトの名無しさん** · 2018/06/23(土) 13:51:31.94

やっぱりそうですか
ありがとうございます
Haskellと違い正格評価なのだから当たり前ですよね
素直にループで書きます

**デフォルトの名無しさん** · 2018/06/23(土) 15:36:45.70

Stream使えばいいんじゃない

**デフォルトの名無しさん** · 2018/06/23(土) 17:36:50.91

>>21
ありがとうございます
調べてみます
関数型はHaskellから入ってml系は知らないので、ちょっとずつ慣れていきます

**デフォルトの名無しさん** · 2018/06/23(土) 20:53:37.01

Stream用のmap、filter、foldは標準では無いから、とりあえずはここのStream combinatorsからコピペして使ってね
https://ocaml.org/learn/tutorials/streams.html

**デフォルトの名無しさん** · 2018/06/25(月) 08:12:48.99

OCamlの関数定義で型を記述するのって、あまり良くないスタイルですか？
同じく型推論してくれるHaskellだと、型を書くのが推奨されてるみたいですが

**デフォルトの名無しさん** · 2018/06/25(月) 14:25:12.68

ocamlはスタイルの良し悪しを言えるような綺麗な構文してないし
人のコード見てもまちまちなんで、好きに書けばいいよ

**デフォルトの名無しさん** · 2018/07/03(火) 07:11:09.58

ocamlってどうやって勉強していけばいいんだろ
参考になりそうなコードとか全然見つからないし
「プログラミング in OCaml」か「Real World Ocaml」のどっちかを読めばいいのかな

**デフォルトの名無しさん** · 2018/07/03(火) 07:46:19.26

jane streetのcoreのList.mapってoption付きのリスト返すの？

**デフォルトの名無しさん** · 2018/07/03(火) 20:59:55.35

おっとOCamlだった😝

**デフォルトの名無しさん** · 2018/07/05(木) 00:57:09.40

NTB

**デフォルトの名無しさん** · 2018/08/31(金) 17:17:33.76

Ocamlで書いた関数はどこまで()を省略していいのか
試行錯誤な気がする。

**デフォルトの名無しさん** · 2018/09/05(水) 19:17:32.47

省略するぐらいなら全部付けとけ
begin endも混ぜると対応のエラーチェックも期待できるぞ

**デフォルトの名無しさん** · 2019/05/11(土) 10:46:27.70

Standard ML of New Jersey v110.85　での話なんですが，

exception NO_MEMBER;
fun nth n [] = raise NO_MEMBER
| nth 1 (a::_) = a
| nth n (_::b) = nth (n-1) b ;

と，リストのn番目（先頭1）を取り出す関数を作って，

val third = nth 3;
と３番目を取り出す関数を作ろうとすると，
Warning: type vars not generalized because of
value restriction are instantiated to dummy types (X1,X2,...)
と怒られますが，なんか回避策あるんでしょうか？

当然，fun third x = nth 3 x; は大丈夫だけど，引数つけずに定義して
やりたかった．

**デフォルトの名無しさん** · 2019/08/15(木) 02:29:49.06

ちょいと質問
Haskelは再代入禁止と言う割にはモナドで誤魔化してる感もあるし
モナドだとボックス型のパフォーマンスが極端に悪い（が使わざるを得ない）しで
どうも好きになれなかったんだけど
そもそもあまりにも使いづらすぎる我慢大会かと

Ocamlはその辺うまく解決してるのかな？
なんか上の方見るとクロージャを展開できてないような気もして大丈夫かと思ったりもするけど
CLOSで遊ぶのとどっちがためになるかな？

ふわふわした質問でゴメン

**デフォルトの名無しさん** · 2019/08/15(木) 02:34:51.29

そうそうCLOSだと厳密なカプセル化はされてなくて
各インスタンスの変数にダイレクトにアクセスできるかのように読めたのだけど
それが本当だとしたら非常にまずいことだけど
Ocamlだとどうなってるんだろうっていうのも気になってる

正しくないオブジェクト志向(not指向)だったらいらんよね・・

**デフォルトの名無しさん** · 2019/08/28(水) 13:00:01.20

F#スレがやられたようだな
ここでやるか？

**デフォルトの名無しさん** · 2019/09/01(日) 00:36:10.57

>>33
副作用有ろうが無かろうが、呼ばれる関数からすればいつ、どんな値が来るか分からないと言う意味では同じなのよ。
なので、入り口だけ副作用有る関数はモナド使えば、それ以降は副作用の無い関数と同じにしようってなってる。
遅いのは認める。

関数の外から値が渡される
↓
f x = "hello" ++ x

外部入力から値が渡される
↓
readLine >>= /x -> "hello" ++ x

無限ループの発生源？を最小化して、関数化を進めやすいのは遅延評価の特徴。

import Data.List
import System

main = mapM_ put $ zip hellos marks

hellos = (cycle.tails) "Hello World!!"

marks = cycle ["/","|","\\","--"]

put (x,y) = do putStrLn (x ++ "\n" ++ y)
mapM_ (\_ -> putStr "") [1..50000]
system "clear"

cycle xs = xs ++ mycycle xs

**デフォルトの名無しさん** · 2019/09/01(日) 00:53:30.18

圏論ωωω

**デフォルトの名無しさん** · 2019/09/25(水) 02:27:32.03

そのへんはどうみてもhaskellのほうが考えられてる
MLは別に力入れてない

**デフォルトの名無しさん** · 2019/09/25(水) 02:27:52.71

>>34な

**デフォルトの名無しさん** · 2019/09/25(水) 14:10:29.52

真のオブジェクト指向は、全てのオブジェクトが独立していてメッセージをやり取りすると言う事のみ
printと言うメッセージが飛んで来たら何かをprintすればいいだけ
ほとんどの言語はメッセージの送信は関数呼び出しになってるけど、CLOSはslot(いわゆるメンバ変数)へのアクセスも必ず関数(総称関数)呼び出しが必要で、ある意味真のオブジェクト指向と言える
そして、その関数をexportしなければslotにアクセス出来ないので、private変数の様な事はちゃんと出来る

**デフォルトの名無しさん** · 2019/10/25(金) 11:26:03.22

久々にReal World OCamlのサイトみたら2nd Edition準備中なんだ。
https://realworldocaml.org/

サイトがめちゃくちゃ見やすくなってて良い感じ。

**デフォルトの名無しさん** · 2020/03/01(日) 09:25:45.35

言語仕様とか理論とかは知らんがhaskellって
mapM_ とか putStrLn とか \_ とか
なんかそういう細かいとこで見た目がイヤ

**デフォルトの名無しさん** · 2020/03/01(日) 14:40:02.44

見た目が嫌いなら仕方ない。
私も見た目でPrologはどうしても愛せなかった。。。

**デフォルトの名無しさん** · 2020/03/01(日) 15:19:00.53

Alpha Lab|学術巨大掲示板群
x0000.net

**デフォルトの名無しさん** · 2020/03/01(日) 15:22:58.85

simulationライブラリで純粋な関数式プログラミングを
(純粋な関数式とは、状態あり変数も関数式だ)
ttp://x0000.net/topic.aspx?id=3631-0

**デフォルトの名無しさん** · 2020/05/03(日) 17:10:38.26

関数型言語で数値計算するならOcamlかなぁ？