[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part32 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
60(4): デフォルトの名無しさん [sage] 2019/02/03(日) 21:57:58.25 ID:5bolWXfM(14/36) AAS
>>56
ごめん意味不明わからん
>>57
もちろんそのように考えてる
fact 0 = 1の結果はすぐ反映されるんじゃないの？
237: デフォルトの名無しさん [] 2019/03/21(木) 05:11:02.25 ID:EnD5r7yP(1) AAS
コマンドラインでエンターを押すごとに数字が増えていく(Ctrl+C押すまで止まらない)
Haskellコード
main = mapM_ (\n -> print n >> getLine) [0..]
out:
0
1
2
3
4
240: デフォルトの名無しさん [sage] 2019/03/21(木) 23:42:33.25 ID:42YMN3yF(1) AAS
無限ポップアップ上げるやつ現れないとは高尚なスレ
リストで遅延評価使うのがなかなかハスケルっぽい
303(1): デフォルトの名無しさん [sage] 2019/04/05(金) 21:40:52.25 ID:o6EhB3bR(1) AAS
HNFは射ではない
そもそも圏論にHNFはない
342(1): デフォルトの名無しさん [sage] 2019/05/06(月) 16:30:54.25 ID:gerN8CWz(1/3) AAS
すみませんHaskellでアート芸術方面のプログラミングをしたい場合
既存の表示用ライブラリは導入からして難しそうな印象があるので
表示はProcessingに任せるという方法を考えていますが、
http://hackage.haskell.org/package/processing-for-haskell
もしそういう方面に詳しい人がいましたら
それについての助言を頂きたいです。
393: デフォルトの名無しさん [] 2019/06/08(土) 10:04:10.25 ID:ryWt2Gls(1) AAS
>>389
Ture + True
みたいなのはエラーにしてくれたら良いのにとは思う
430: デフォルトの名無しさん [sage] 2019/08/19(月) 03:52:58.25 ID:zjob4//4(1/2) AAS
Pandoc 初版2006年8月10日 現在スター数 16,396
shellcheck 初版2013年7月24日 現在スター数 16,023
こういう感じのがもっとほしい
477: デフォルトの名無しさん [sage] 2019/09/16(月) 21:37:02.25 ID:7YJTuf9D(1) AAS
>>475
call-by-valueのOCamlとcall-by-needのHaskellとでは実装法は大きく異なるから最適化技術も両者で大きく異なる
関数的プログラミング言語でもML系諸言語（OCamlやStandard MLなど）やSchemeなどのcall-by-valueセマンティックスに基づく言語の実装は
手続き的（あるいは命令的）プログラミング言語の実装にかなり近いし、例えば命令的言語では最も重要な操作である変数への破壊的代入や
例外処理を言語仕様に追加し組み込むことも特に困難ではない（実際、ML系諸言語やSchemeなどLisp系諸言語は変数への破壊的代入の
プリミティブを有しているし、Standard MLなどは例外処理も言語仕様に最初から組み込まれている）
だが変数への破壊的代入や例外処理といった言語機能をHaskellのようなcall-by-needセマンティックスの関数的プログラミング言語に
追加しようとすると途端にセマンティックスを整合的にすることが困難になる
600: デフォルトの名無しさん [] 2019/10/22(火) 02:26:17.25 ID:Y6ckqEQv(1/2) AAS
>>595
数学教室 πの焼き方と、プログラマーのための圏論。
ただ、読んだ後に意味を吟味して閃きが必要だった。
まず普通の関数とモナドな関数を同じと見做す考え。
IOモナドの入力は基本、文字列を受け取るので数文字列を受け取って、整数に変換後2倍する関数を作るとする。
getLine >>= \s -> return $ 2 * read s
これと同じ効果の普通の関数を作ってみる。
getLine’ s = 2 * read s
このgetLineとgetLine’をそれぞれ部分適用で見かけの変数を減らす形に変形。
getLine >>= return.(2*).read
getLine’ = (2*).read
この場合、2つの関数は型と引数からの入力か入力装置からの入力かしか違いがない。
関数の中身から見れば、いつ、どんな文字列が来るか分からない。同じ数文字列が来たら同じ結果を返すと言う意味では同じと見なせる。
765: デフォルトの名無しさん [sage] 2019/11/09(土) 19:36:35.25 ID:LdPLX9iY(1/2) AAS
なーる。多変数Maybeでコマンドレットか。
getoptにs付けるか付けんかとかいみなかったんや
972: デフォルトの名無しさん [] 2020/02/05(水) 19:04:41.25 ID:2rKdW1Ec(1) AAS
圏論って知らずに使ってるんやろ
それでええやん
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.734s*