X



関数型プログラミング言語Haskell Part33

レス数が1000を超えています。これ以上書き込みはできません。
0964デフォルトの名無しさん
垢版 |
2021/12/02(木) 17:56:37.45ID:35Q5ApkZ
>>963
すみません
関数型言語って敷居が高そうなイメージあってやるにはある程度数学の素養が求められるのかなって思っていろいろ自分なりの知識があるところ挙げてみました
特に型システム入門は型推論の理論とか分かっていたほうがいいのかなと思って読んでいました
まずはLearn youの方を読んで見ようと思います
ありがとうございました
0965デフォルトの名無しさん
垢版 |
2021/12/02(木) 20:33:40.95ID:c82IwjxK
>>962
ただし、IOモナドは「展開」できない方がいい
そうすれば処理系がexpressionをどれだけ「展開」しても副作用がない
0968デフォルトの名無しさん
垢版 |
2021/12/14(火) 12:34:07.62ID:iFoIKYew
IQ145の人?
0969デフォルトの名無しさん
垢版 |
2021/12/14(火) 12:57:57.79ID:IE9oyXDX
>>968
よく覚えてるな
最近はkensmoothってアカウントを連番で取得して、ネトウヨムーブを連発してたんだけど全部凍結されて今のアカウントになってる
あのネトウヨ投稿はなんだったんだろう
0971デフォルトの名無しさん
垢版 |
2021/12/14(火) 17:39:35.08ID:iFoIKYew
>>966
なにこの一覧
0972デフォルトの名無しさん
垢版 |
2021/12/14(火) 18:35:50.33ID:SgMFGeMD
岡部健、Twitter再開してたのねw
Newbieとはご無沙汰してたから知らんかったわw
0973デフォルトの名無しさん
垢版 |
2021/12/14(火) 19:46:12.10ID:oL+i1N1M
ツイッター再開おめでとうございます!
来年はべーやんの年になる!
と良いですね!
0976デフォルトの名無しさん
垢版 |
2021/12/14(火) 22:22:42.89ID:oL+i1N1M
べーやんは論客なんだな。
0978デフォルトの名無しさん
垢版 |
2021/12/14(火) 22:53:00.93ID:oL+i1N1M
たまたまでは?
0979デフォルトの名無しさん
垢版 |
2021/12/14(火) 23:06:41.51ID:dwtzMOq3
Quoraでいろいろ回答しているがモナドの解説は見事だぞ
0981デフォルトの名無しさん
垢版 |
2021/12/14(火) 23:42:04.31ID:iFoIKYew
>>979
ハラデイ
0982デフォルトの名無しさん
垢版 |
2021/12/15(水) 00:16:47.05ID:Xb4w9/yA
「モナドについて学んでいるのですが、mapやflatMapは圏論ではどの概念にあたるのですか?」
具体的に例示していてわかりやすい。
0983にしやま@大阪大学
垢版 |
2021/12/15(水) 07:25:32.70ID:/l12wr0Z
嘘つきケンちゃん、相変わらずですねww
久々にわたくしも腹筋がミシミシと鍛えられました
しばらくわたくしも加勢いたします
0984デフォルトの名無しさん
垢版 |
2021/12/15(水) 08:55:33.56ID:fP8nqGj3
Hugs> take 10 fibs where fibs = 0 : 1 : zipWith (+) fibs (tail fibs)
[0,1,1,2,3,5,8,13,21,34]

GHCi
Prelude> take 10 fibs where fibs = 0 : 1 : zipWith (+) fibs (tail fibs)
<interactive>:6:14: error: parse error on input ‘where’
言語仕様が微妙に異なる?

オレメモ、バッチファイル
stack ghci
を目的のディレクトリ下(例、e:\haskell)に作ってディスクトップにはバッチファイルへのリンクを作っておくと
ghci起動後カーソルが消えない

貴重なHaskellスレがもう過ぐ1000行く
0985デフォルトの名無しさん
垢版 |
2021/12/15(水) 10:41:42.68ID:BDga5vqT
>>966
ぎゃっはっはっはっは
0986デフォルトの名無しさん
垢版 |
2021/12/16(木) 08:29:00.48ID:kVJbCKwy
令和の時代に毛の壁ふたたび
0987デフォルトの名無しさん
垢版 |
2021/12/16(木) 21:29:13.60ID:k4b05O9+
自分でキャラ演出してるだろ
0988デフォルトの名無しさん
垢版 |
2021/12/16(木) 21:38:27.93ID:Y2CVy/MB
https://togetter.com/li/773846
ちょまど氏が首突っ込んでるけど、社名背負ってよくこんな書き込み出来るもんだと、驚いた。
0989デフォルトの名無しさん
垢版 |
2021/12/16(木) 21:46:42.96ID:OBc86cw8
他の人も叩いているから便乗して死体蹴りしようか的な精神が見て取れる
0991デフォルトの名無しさん
垢版 |
2021/12/16(木) 21:55:47.51ID:Y2CVy/MB
それはマイクロソフト社の公式見解ですか?って突っ込み入れて欲しいわ。
0992デフォルトの名無しさん
垢版 |
2021/12/16(木) 22:06:47.71ID:Y2CVy/MB
教祖だの洗脳だの言いがかりも甚だしいし、「学術的な真理ではないし」云々という自身の書き込みがそのままブーメランだと思うけど。
これを社名背負ってやるんだから頭おかしいわ。
0993デフォルトの名無しさん
垢版 |
2021/12/16(木) 22:08:34.93ID:OBc86cw8
誰か次スレ立てろよ
0994デフォルトの名無しさん
垢版 |
2021/12/16(木) 22:42:52.47ID:k4b05O9+
結局モナドってなんなのかわからんということにすべて起因してる希ガス
話題になってからもう二十年くらい立つのに結論でないし、数学者でもない限り一生わからんのだろうな
0995デフォルトの名無しさん
垢版 |
2021/12/17(金) 13:01:29.30ID:NPioGyUL
新スレを立てました。当スレ(Part33)が埋まってからの利用をお願いします。

関数型プログラミング言語Haskell Part34
https://mevius.5ch.net/test/read.cgi/tech/1639713446/
0996デフォルトの名無しさん
垢版 |
2021/12/18(土) 00:42:46.36ID:om0zr0Am
>>994
結論だせる個人は存在するけど
組織になるとなぜか、結論だせない奴が代表者を気取ってるだけじゃん
0997デフォルトの名無しさん
垢版 |
2021/12/18(土) 11:05:05.98ID:1fj0JYV9
>>996
結論出せる個人て岡部氏のことっしょ?
そういう勢いでどうこうじゃなくって皆を納得させるような結論はないっていうこと
0998デフォルトの名無しさん
垢版 |
2021/12/18(土) 11:23:52.39ID:9ehaErM5
納得が遅い
1000デフォルトの名無しさん
垢版 |
2021/12/20(月) 09:52:54.51ID:ZumN5JOf
また誹謗中傷してるので通報よろ
10011001
垢版 |
Over 1000Thread
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 678日 15時間 35分 18秒
レス数が1000を超えています。これ以上書き込みはできません。

ニューススポーツなんでも実況