[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
関数型プログラミング言語Haskell Part33 http://mevius.5ch.net/test/read.cgi/tech/1581326256/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
172: デフォルトの名無しさん [sage] 2020/04/04(土) 08:53:29.14 ID:S6De3LG2 >>167 haskellをチョイスするのが只のミーハーではない。 http://mevius.5ch.net/test/read.cgi/tech/1581326256/172
187: デフォルトの名無しさん [sage] 2020/04/06(月) 02:32:17.14 FRPは死滅しちゃったの？ http://mevius.5ch.net/test/read.cgi/tech/1581326256/187
192: デフォルトの名無しさん [sage] 2020/04/06(月) 22:36:41.14 ID:MPGLY2yf このスレにはHaskellerなんかいないということがよくわかるな http://mevius.5ch.net/test/read.cgi/tech/1581326256/192
448: デフォルトの名無しさん [sage] 2020/08/30(日) 11:27:13.14 ID:uCpf8zkM あ、11行目は in ((x*z-y*w)/d):+((-x*w+y*z)/d) でした でも同じエラーメッセージ出てきます 何故でしょう？ http://mevius.5ch.net/test/read.cgi/tech/1581326256/448
508: デフォルトの名無しさん [sage] 2020/09/13(日) 15:14:54.14 ID:Gippd8g0 しらないけど return x = x / x ぐらいしか定義できなさそう http://mevius.5ch.net/test/read.cgi/tech/1581326256/508
608: デフォルトの名無しさん [sage] 2020/12/08(火) 13:07:23.14 ID:EAPrHNYX 言語関係なく企業が作ったアプリを買ったことがほとんどない 個人が書いた本を買うことはある http://mevius.5ch.net/test/read.cgi/tech/1581326256/608
659: デフォルトの名無しさん [sage] 2021/01/20(水) 18:57:39.14 ID:IzsyJlfZ >>658 そうなのかあ。 すまない、俺では力不足のようだ。 http://mevius.5ch.net/test/read.cgi/tech/1581326256/659
759: デフォルトの名無しさん [sage] 2021/02/26(金) 10:24:37.14 ID:nFSf/y++ >>754 まず単位元の定義から、esが[a]の単位元であるなら、任意のxsに対して f es xs == xs f xs es == xs を満たす、というところはいいよね(ゆえにesは、任意のxsより要素数が大きくなければいけない) このことから直接非存在を言う方がこの場合は明快だと思うけど、 「ある要素が単位元ならばそれが一意である」はすぐに言えるから 背理法により単位元が存在しない、でも正しい論証だと思う もしこの演算fに対してモノイドを構成するなら、 (>>756とほぼ同じことを言うが) length es == ∞ なる要素を1つ決めて (全ての有限リスト) ∪ {es} みたいな集合の上でなら言えそう ちゃんと見てないけど結合律もそれっぽく振る舞ってそう http://mevius.5ch.net/test/read.cgi/tech/1581326256/759
775: デフォルトの名無しさん [sage] 2021/03/20(土) 08:58:16.14 ID:Hmrg9tvu >>772 プログラムの世界において、ある事柄の性質や、事柄Aと事柄Bの間の関係を調べたいとき、 プログラムの世界の中ではなかなかうまく見えてこない場合がある。 そんなとき、 カリーハワード同型対応によって問題を論理の世界に移すと、 見通しが良くなり、調べやすくなることがある。 そういう意味では役立ちます。 質問者さんが例示した論文がまさにそれです。 一方、何かを作るためにプログラムをする(現場の)人たちにとっては、とくに役立つことは無いと思います。 役立った話を一切聞きません。 質問者さんが、名前呼び出しなどの「性質や関係」を学術的に深く知りたくて調べているのであれば、役立つと思います。 自作のプログラム言語で名前呼び出しを実装したくて調べているのであれば、役立ちませんね。 別の論文に当たった方がいいと思います。 http://mevius.5ch.net/test/read.cgi/tech/1581326256/775
889: デフォルトの名無しさん [sage] 2021/08/19(木) 21:01:34.14 ID:anV9aH6F >>887 Erlangのようなメッセージ送信を考えればわかるが メモリを共有していない相手にも送れるデータ構造が得意 メッセージとして文字列ばかり使ってるとカプセル化も型情報も無駄になる だから文字列に似ているが異なるデータ構造が役に立つ http://mevius.5ch.net/test/read.cgi/tech/1581326256/889
890: デフォルトの名無しさん [sage] 2021/08/25(水) 21:36:21.14 ID:NimliznV Applicativeの(*>)演算って何の意味があるの? 第一引数はどうせ捨てられるんでしょ。 http://mevius.5ch.net/test/read.cgi/tech/1581326256/890
963: デフォルトの名無しさん [sage] 2021/12/02(木) 14:49:59.14 ID:ISSe07L0 >>959 Haskellを始める前に仕入れたそのような知識やOCamlの経験が、 Haskellの学習にいったいどんな影響を与えるのか、 楽にするのか、それとも邪魔にしかならないのか、正直まったく分からん。 Haskellで何をしたいのか、目的や目標も分からんし。 なので、Haskell入門者という観点だけで次の2点をすすめる。 さっと要点を学んで早くアプリを作り始めたいのなら、薄い入門書で十分。 「Learn You a Haskell for Great Good!」 が良いと思う。 ガッツリ学びたい、かつ、時間と根気があるのなら、 「Haskell Programming from first principles」 がおすすめ。 詳しくはどちらも公式サイトを参照して。 なにで学習するにしても、手や頭を動かす(プログラミングする)のが主で、 本やドキュメントを読むのは従であることを忘れずに。 http://mevius.5ch.net/test/read.cgi/tech/1581326256/963
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.040s