[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
51: 2020/03/03(火)01:49:10.31 ID:PY4QrkVr(1/2) AAS
Haskell圏論で調和解析の問題解いてんのもしかして？
盛り上がりが別のところにあるとかどういう
214: 2020/04/14(火)10:48:29.31 ID:Ez55nAck(1) AAS
異世界人「アルゴリズムをあれこれ変える」
主人公「言語をあれこれ変えてみよう」
375(1): 2020/08/14(金)17:17:33.31 ID:58KQIAkg(1) AAS
>>374
副作用のあるコードの書き方を見せるのは簡単だけど、関数型が初めてなら
まずはHaskellのチュートリアルを読んで関数型の考え方を出来るようになったほうがいい
409: 2020/08/22(土)00:32:18.31 ID:75MjfSAz(1/2) AAS
>>408
位相空間論の入門書には大抵書いてあるよ
あと「Haskellによる関数プログラミングの思考法」にも(証明は無いが)言及があった
((f . g) . h) x
= (f . g) (h x)
= f (g (h x))
= f ((g . h) x)
= (f . (g . h)) x
この等号は計算結果が等しいという意味で
途中の時間・空間計算量の違いは気にしていないので念の為
439: 2020/08/28(金)11:44:03.31 ID:8bIwySwM(1) AAS
ついにメンテのされてないgladeが最新のghcじゃビルドできなくなった
シコシコGUI作るの面倒くさくて意気消沈
675: 2021/01/22(金)01:34:45.31 ID:Zh6FWeVu(1) AAS
pythonがなかったとしてもhaskellがそのポジションになることはなかっただろう
715: 2021/02/07(日)19:10:10.31 ID:Ae+USThM(1) AAS
>>714
試しに作ってみればいいのでは？
そういう気に入らない幽霊型を
とりあえず1つだけ後ろに隠してみて、
使いやすいか試してみればいいと思う。
良さそうなら、ここや GitHub で提案するとか。
777(1): 2021/03/20(土)10:00:16.31 ID:1F8CRKpv(1) AAS
>>776
それなら graph reduction の実装を調べた方が良いと思います。
795(2): 2021/04/05(月)22:48:33.31 ID:RKVG1ya/(1) AAS
>>793
今書いている翻訳単位で import しているモジュールを qualified で装飾すれば、
今書いている翻訳単位内で定義している同名の関数は修飾せずとも使えると思うのですが、どうですか？
module Main where
import qualifued Data.List as L
transpose :: (Int, Int) -> (Int, Int)
transpose (x, y) = (y, x)
main :: IO ()
main = do
let a = L.transpose [[1, 2], [3, 4]]
省2
981: 2021/12/14(火)23:42:04.31 ID:iFoIKYew(3/3) AAS
>>979
ハラデイ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s