- 1 名前：デフォルトの名無しさん mailto:sage [2017/11/01(水) 17:25:35.48 ID:6Qf19YDf.net]
- 関数型言語MLについて語るスレッドです。
MLは、確固とした理論的背景を持つ言語でありながら、
現実的なソフトの開発にも使用できる実用性を備えた言語です。
また、プログラミングの初心者が最初に学習する言語としても優れています。
総本山
Standard ML www.smlnj.org/
Objective Caml caml.inria.fr/ocaml/
前スレ
関数型言語ML (SML, OCaml, etc.), Part 6
mevius.2ch.net/test/read.cgi/tech/1245017721/
- 48 名前：デフォルトの名無しさん mailto:sage [2020/05/03(日) 17:10:38.26 ID:ioRfHtLv.net]
- 関数型言語で数値計算するならOcamlかなぁ？
- 49 名前：デフォルトの名無しさん mailto:sage [2021/01/12(火) 18:37:52.42 ID:6w9txZHV.net]
- ocamlは;がキモくなければHaskellの代わりにバズれたと思う
- 50 名前：デフォルトの名無しさん mailto:sage [2021/01/15(金) 02:58:21.61 ID:Hai3vgIl.net]
- >>48
速くて有名な数値計算ライブラリは大体fortran、次いでocaml(cトランスパイラ)製だし（fftwとか
c直書きで最適なコード書くのなんて人間には不可能なんだろう
- 51 名前：デフォルトの名無しさん mailto:sage [2021/01/15(金) 21:45:59.26 ID:lcwEKr0P.net]
- そもそもHaskellはバズっているのか？
実用性に乏しいけど、見下したい人が我慢して使ってる印象
- 52 名前：デフォルトの名無しさん mailto:sage [2021/01/27(水) 11:13:03.05 ID:bXbG36lK.net]
- Haskell 何年か前には確かにバズってた、
みんなモナドについて熱く語ってた(個人の感想)
今はあんまり聞かなくて寂しい…
- 53 名前：デフォルトの名無しさん mailto:sage [2021/02/18(木) 08:08:11.33 ID:2agUMJ25.net]
- 型指向プログラミング入門にはHaskellは良いと思うよ
代数はあんまり好きじゃない、というか役に立つかよく分からんのでそっちじゃないだろ感はあったけど
広く括ればML系列なんでにわか人気でも悪い気はしないが
- 54 名前：デフォルトの名無しさん mailto:sage [2021/02/18(木) 08:31:52.28 ID:2agUMJ25.net]
- >>36
いまさらのレス感あるが、たまたま目についたので…
lisp族は関数型オブジェクト指向GC継続AI論理型パターンマッチ等々、おおよその概念の走りというだけ
というかこれだけ挙がるということ即ち無節操
形から入るには全く向いていない
CLOS/MOPは未だに最も強力なシステムだと思うけど、既に確立されてる型/OOP理論とは相反するところがあるし、むしろブチ壊す側
ML系のガチガチ制約を矯正ギプスとしてベストプラクティス&洞察力を養いたいという目的には向いてない
- 55 名前：デフォルトの名無しさん mailto:sage [2021/02/18(木) 08:37:50.68 ID:2agUMJ25.net]
- まあ向上心があるのならlispインタプリタ書くチュートリアルは一度やっておくべきだと思う
MLお家芸のパーサ書きにも資する
- 56 名前：デフォルトの名無しさん mailto:sage [2021/02/18(木) 23:46:57.08 ID:vv37pWaX.net]
- CLはもう極端な動的さ以外に特色はないんじゃないか？
- 57 名前：デフォルトの名無しさん mailto:sage [2021/02/19(金) 04:14:17.89 ID:MujNk0Cy.net]
- まあそうだね、schemeは縛りがキツイからアナーキーにやりたいならclって感じ
あとOOP使わず型(最適化ディレクティブとしての型)付ければCと同等のベンチ叩き出すとか
- 58 名前：デフォルトの名無しさん mailto:sage [2021/02/19(金) 04:35:24.37 ID:MujNk0Cy.net]
- 標準文法は決まってるけど、lexerとparserを弄る&乗取る組み込み関数が提供されてて規格より優先順位高いからから、例えcやsqlのコードでも規格準拠のと言い張れたりする
そこまでするなら普通にlexer/perser書いて…言語処理系書けよって話だけど
一部lispで直感的に書きにくいとか、そういう時に/regex/とか{key: val}とか[start:stop:step]のような、モダンっぽいリテラルを簡単に定義できるのは便利
- 59 名前：デフォルトの名無しさん mailto:sage [2021/03/08(月) 15:26:00.22 ID:H4OoIpXQ.net]
- 一文字読む毎にその文字に対応する関数呼び出して全権移譲してるんだよな…
さすがにコンパイル時にはユーザー定義で上書きした文字以外はヒューリスティックだろうけど
楽しそうではあるけど言語自体を拡張するよりML式に代数的データ型とパターンマッチでDSL書いた方が早い
- 60 名前：デフォルトの名無しさん mailto:sage [2021/03/08(月) 15:52:44.32 ID:H4OoIpXQ.net]
- ちょっと調べたら組み込み関数で先読みは一文字まで？
(set-macro-character #\[ (get-macro-character #\( ))
で[角張った りすぷ)
;; #\(に標準で割り当てられてるマクロ関数が探す終端文字はもちろん#\)
;;なので手抜きだとこうなる
(set-macro-character #\# 改行文字までread-char読み捨て)
# シバンとして読めるコメント文字を定義すると便利そう？
set-dispatch-macro-...で一文字目の文脈で二文字目を解釈
だとしたらcライク構文をlispコードとしてパース/評価までやるのは結構大変なんじゃ
もちろんread-charじゃなく単語単位のトークン分割(標準文法のread関数)、先読みはpeek-char関数を使うとか
バックトラックは評価器に渡す前にバッファに溜め込んでおくとか考えられるが
あんまり詳しくないんで違ってたらすまん
- 61 名前：デフォルトの名無しさん [2021/04/01(木) 22:53:33.90 ID:3PJTysR/r]
- リクルートグループ、週休｢約3日｣に。4月から年間休日を145日に増加へ
https://www.businessinsider.jp/post-231540
リクルートの”週休約3日”に「うらやましい」「一般化して」などの声 年間休日145日でも給与は変わらず
https://news.careerconnection.jp/?p=113498
リクルート、4月から週休約3日に‐理由を問わないリモートワークも全社に導入
https://news.mynavi.jp/article/20210318-1814293/
驚異のテレワーク率「9割超」 営業利益16倍の企業は、生産性が「下がった」社員をどのようにケアしたのか
https://www.itmedia.co.jp/business/articles/2102/04/news010.html
週休3日で700社以上の働き方改革を支援し、年収3倍となった
「Caster Anywhere」事業責任者 越川慎司の新刊が1月28日発売
https://prtimes.jp/main/html/rd/p/000000131.000012003.html
週休3日なのに年収を3倍にした男性の「時短術」
https://news.yahoo.co.jp/articles/090b7e720c2e8c6fb0d524b67a40182f70d8fdf2
“週休3日制”導入で売上4割増の例も…日本企業で普及期に、週30時間が常識に
https://biz-journal.jp/2020/01/post_138414.html
「 リモートワークで手放すべき7つのこと」働き方改革の先の世界
https://tebanasu-lab.com/interview/9828/
日本初「週休4日制度」で、優秀な人材を採用するしくみとは？ ?ナレッジソサエティ久田社長に聞
- 62 名前：いてみた
https://web.all-in.xyz/upgrade/knowledgesociety-2/ [] - [ここ壊れてます]
- 63 名前：デフォルトの名無しさん [2022/01/12(水) 10:26:17.27 ID:ZZU00ODL.net]
- Twitterの検索で
@ohagiya @kenokabe UCLA
と入れると楽しいよな
- 64 名前：デフォルトの名無しさん mailto:sage [2022/11/26(土) 20:46:31.99 ID:9B2aEYlu.net]
- プログラミング in OCaml 〜関数型プログラミングの基礎からGUI構築まで〜
と
プログラミングの基礎 (Computer Science Library)
と
コンピュータを操る: プログラミングを通して「情報科学的なものの考え方」を学ぶ (Computer and Web Sciences Library)
いずれかあるいはいくつか読んだことがある方、感想を教えていただけませんでしょうか。
関数型プログラミングにひたったことはないけれど若干知っている、程度なのですが今後のプログラミングや文章を書くときの指針にこの辺りが役立ちそうに思っています。
- 65 名前：過去ログ ★ [[過去ログ]]
- ■ このスレッドは過去ログ倉庫に格納されています
|
 |
