関数型言語ML (SML, OCaml, etc.), Part 7 at TECH
関数型言語ML (SML, OCaml, etc.), Part 7 - 暇つぶし2ch45:デフォルトの名無しさん
20/03/01 14:40:02 upDpA/6g.net
見た目が嫌いなら仕方ない。
私も見た目でPrologはどうしても愛せなかった。。。

46:デフォルトの名無しさん
20/03/01 15:19:00 IAGr/PH/.net
Alpha Lab|学術巨大掲示板群
x0000.net

47:デフォルトの名無しさん
20/03/01 15:22:58 IAGr/PH/.net
simulationライブラリで純粋な関数式プログラミングを
(純粋な関数式とは、状態あり変数も関数式だ)
URLリンク(x0000.net)

48:デフォルトの名無しさん
20/05/03 17:10:38.26 ioRfHtLv.net
関数型言語で数値計算するならOcamlかなぁ?

49:デフォルトの名無しさん
21/01/12 18:37:52.42 6w9txZHV.net
ocamlは;がキモくなければHaskellの代わりにバズれたと思う

50:デフォルトの名無しさん
21/01/15 02:58:21.61 Hai3vgIl.net
>>48
速くて有名な数値計算ライブラリは大体fortran、次いでocaml(cトランスパイラ)製だし(fftwとか
c直書きで最適なコード書くのなんて人間には不可能なんだろう

51:デフォルトの名無しさん
21/01/15 21:45:59.26 lcwEKr0P.net
そもそもHaskellはバズっているのか?
実用性に乏しいけど、見下したい人が我慢して使ってる印象

52:デフォルトの名無しさん
21/01/27 11:13:03.05 bXbG36lK.net
Haskell 何年か前には確かにバズってた、
みんなモナドについて熱く語ってた(個人の感想)
今はあんまり聞かなくて寂しい…

53:デフォルトの名無しさん
21/02/18 08:08:11.33 2agUMJ25.net
型指向プログラミング入門にはHaskellは良いと思うよ
代数はあんまり好きじゃない、というか役に立つかよく分からんのでそっちじゃないだろ感はあったけど
広く括ればML系列なんでにわか人気でも悪い気はしないが

54:デフォルトの名無しさん
21/02/18 08:31:52.28 2agUMJ25.net
>>36
いまさらのレス感あるが、たまたま目についたので…
lisp族は関数型オブジェクト指向GC継続AI論理型パターンマッチ等々、おおよその概念の走りというだけ
というかこれだけ挙がるということ即ち無節操
形から入るには全く向いていない
CLOS/MOPは未だに最も強力なシステムだと思うけど、既に確立されてる型/OOP理論とは相反するところがあるし、むしろブチ壊す側
ML系のガチガチ制約を矯正ギプスとしてベストプラクティス&洞察力を養いたいという目的には向いてない

55:デフォルトの名無しさん
21/02/18 08:37:50.68 2agUMJ25.net
まあ向上心があるのならlispインタプリタ書くチュートリアルは一度やっておくべきだと思う
MLお家芸のパーサ書きにも資する

56:デフォルトの名無しさん
21/02/18 23:46:57.08 vv37pWaX.net
CLはもう極端な動的さ以外に特色はないんじゃないか?

57:デフォルトの名無しさん
21/02/19 04:14:17.89 MujNk0Cy.net
まあそうだね、schemeは縛りがキツイからアナーキーにやりたいならclって感じ
あとOOP使わず型(最適化ディレクティブとしての型)付ければCと同等のベンチ叩き出すとか

58:デフォルトの名無しさん
21/02/19 04:35:24.37 MujNk0Cy.net
標準文法は決まってるけど、lexerとparserを弄る&乗取る組み込み関数が提供されてて規格より優先順位高いからから、例えcやsqlのコードでも規格準拠のと言い張れたりする
そこまでするなら普通にlexer/perser書いて…言語処理系書けよって話だけど
一部lispで直感的に書きにくいとか、そういう時に/regex/とか{key: val}とか[start:stop:step]のような、モダンっぽいリテラルを簡単に定義できるのは便利

59:デフォルトの名無しさん
21/03/08 15:26:00.22 H4OoIpXQ.net
一文字読む毎にその文字に対応する関数呼び出して全権移譲してるんだよな…
さすがにコンパイル時にはユーザー定義で上書きした文字以外はヒューリスティックだろうけど
楽しそうではあるけど言語自体を拡張するよりML式に代数的データ型とパターンマッチでDSL書いた方が早い

60:デフォルトの名無しさん
21/03/08 15:52:44.32 H4OoIpXQ.net
ちょっと調べたら組み込み関数で先読みは一文字まで?
(set-macro-character #\[ (get-macro-character #\( ))
で[角張った りすぷ)
;; #\(に標準で割り当てられてるマクロ関数が探す終端文字はもちろん#\)
;;なので手抜きだとこうなる
(set-macro-character #\# 改行文字までread-char読み捨て)
# シバンとして読めるコメント文字を定義すると便利そう?
set-dispatch-macro-...で一文字目の文脈で二文字目を解釈
だとしたらcライク構文をlispコードとしてパース/評価までやるのは結構大変なんじゃ
もちろんread-charじゃなく単語単位のトークン分割(標準文法のread関数)、先読みはpeek-char関数を使うとか
バックトラックは評価器に渡す前にバッファに溜め込んでおくとか考えられるが
あんまり詳しくないんで違ってたらすまん

61:デフォルトの名無しさん
21/04/01 22:53:33.90 3PJTysR/r
リクルートグループ、週休「約3日」に。4月から年間休日を145日に増加へ
URLリンク(www.businessinsider.jp)
リクルートの”週休約3日”に「うらやましい」「一般化して」などの声 年間休日145日でも給与は変わらず
URLリンク(news.careerconnection.jp)
リクルート、4月から週休約3日に‐理由を問わないリモートワークも全社に導入
URLリンク(news.mynavi.jp)
驚異のテレワーク率「9割超」 営業利益16倍の企業は、生産性が「下がった」社員をどのようにケアしたのか
URLリンク(www.itmedia.co.jp)
週休3日で700社以上の働き方改革を支援し、年収3倍となった
「Caster Anywhere」事業責任者 越川慎司の新刊が1月28日発売
URLリンク(prtimes.jp)
週休3日なのに年収を3倍にした男性の「時短術」
URLリンク(news.yahoo.co.jp)
“週休3日制”導入で売上4割増の例も…日本企業で普及期に、週30時間が常識に
URLリンク(biz-journal.jp)
「 リモートワークで手放すべき7つのこと」働き方改革の先の世界
URLリンク(tebanasu-lab.com)
日本初「週休4日制度」で、優秀な人材を採用するしくみとは? ?ナレッジソサエティ久田社長に聞


62:いてみたhttps://web.all-in.xyz/upgrade/knowledgesociety-2/



63:デフォルトの名無しさん
22/01/12 10:26:17.27 ZZU00ODL.net
Twitterの検索で
@ohagiya @kenokabe UCLA
と入れると楽しいよな

64:デフォルトの名無しさん
22/11/26 20:46:31.99 9B2aEYlu.net
プログラミング in OCaml 〜関数型プログラミングの基礎からGUI構築まで〜

プログラミングの基礎 (Computer Science Library)

コンピュータを操る: プログラミングを通して「情報科学的なものの考え方」を学ぶ (Computer and Web Sciences Library)
いずれかあるいはいくつか読んだことがある方、感想を教えていただけませんでしょうか。
関数型プログラミングにひたったことはないけれど若干知っている、程度なのですが今後のプログラミングや文章を書くときの指針にこの辺りが役立ちそうに思っています。

65:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています


最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch