[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part33 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
13: 2020/02/12(水)08:25:26.33 ID:5WxWkSHH(1) AAS
昔話Project Eulerをhaskellで解くのに同じ役割の関数を自作した記憶がある
26: 2020/02/14(金)16:59:16.33 ID:ONnLM1s9(1) AAS
>>24
千差万別としか言いようがない。
Github や hackage にあるコードを見ても、分かりやすいものもあれば、そうでないものもある。
CやJava、Python などと比べて、特に差は無いように思えるが。
何かが定義されている場所は同じモジュール内か、さもなくばインポートしているモジュール内なんだから、
検索すれば見つかるでしょ。
よくわからん、という意味がよくわからん。
動作がぱっと見でわからんというのは、それこそhaskellに限った話ではないのでは？
言語の習熟度や、そのコードで解いている問題のジャンルにもよるでしょ。
44(1): 2020/02/28(金)00:06:13.33 ID:zwPBDzBW(1) AAS
ハスケルむずくて嫌い
OOPっぽく拡張可能にしようとするとつい存在量化したくなってわけわからなくなる
193: 2020/04/07(火)07:33:13.33 ID:UmG0jYGu(1) AAS
本当に言語に詳しい奴ってのはその言語の弱点をしっかりおさえてるもんよ。
195: 2020/04/08(水)08:37:32.33 AAS
IO がオルタナティヴになったのって最近なのか
Aizu Online Judge のGHCだとコンパイルエラーになる
248: 2020/04/21(火)01:33:16.33 ID:iOWmjrKd(1) AAS
そう言えば、佐野量子化って子もいたな
480(1): 2020/09/07(月)17:09:40.33 ID:6+huFxV7(1) AAS
>>465
マクレーンの圏論とか読んでも果てしなく遠回りするだけだぞ。
595: 2020/11/24(火)21:44:37.33 ID:2dUwtFIm(1) AAS
>>594
死滅の意味がよく分からんが、問題なく使える。
stackageにもあるでしょ。
それはそうと、なんで初めから難しいFRPを使おうとするの？
普通に素直に設計して作ってみればいいのに。
616: 2020/12/19(土)08:53:57.33 ID:56QZYgov(1) AAS
気持ちはよくわかる。自分も初めてdo式の定義を見た時、おぉぉぉとなった。
というわけで、いつdo式パラダイスが登場したのかアヒル体験してみた。
[When was do-notation introduced?](外部ﾘﾝｸ:www.reddit.com
> Haskell 1.3 adopted Jones’s “do-notation,” which was itself derived
from John Launchbury’s paper on lazy imperative programming (Launchbury, 1993).
自分の場合、Haskellを知る前に、Moggi大先生の論文体験を一撃で敗退した時に
おぉぉぉした覚えがある。
* Notions of computation and monads
in [Eugenio Moggi Publications](外部ﾘﾝｸ:person.dibris.unige.it
宗教上の理由で、シーケント図が書かれた書物体験はできないが、幸いなことに、
最初のシーケント図にdo式らしきものが書いてある。ナウなヤングの言葉では
次のようになると思う。
``` haskell
kleisli_extension :: (Monad t) => (a -> t b) -> (t a -> t b)
kleisli_extension f c = do
x <- c
f x
```
今も論文に何が書かれているかわからないが、その時は、<em>おぉぉぉ、
プログラミング言語って数学的に捉えられるんだ</em>体験をした記憶がある。
一般に、紙上のプログラミング言語と実働するものとの間には万物の長城が
あるので、Haskellのdo式もすごい発明と思うが、その技法の骨子は、既に
[同時多発的](動画ﾘﾝｸ[YouTube]に発見されて
いたのかもしれない。歴史絵巻体験では、
[A History of Haskell](外部ﾘﾝｸ:misreading.chatも面白かった。
793(1): 2021/04/05(月)18:23:16.33 AAS
関数の名前が被るとき、このモジュールのそれだと修飾しますが、
今書いてる翻訳単位のそれだと伝えるには今書いてるモジュール名で修飾するしかないのですか？
それが長大な場合惨めな気持ちになります
qualified 今書いているモジュール名 as 短い名前
にするような事はできないのですか？
839: 2021/06/01(火)02:01:57.33 ID:4I1ndF8a(1) AAS
IOモナドやSTモナドの中でファイル操作したり現在時刻取って来たりしても問題無いわけだしわざわざ型犠牲にしなくても良いんじゃない
972: 2021/12/14(火)18:35:50.33 ID:SgMFGeMD(1) AAS
岡部健、Twitter再開してたのねw
Newbieとはご無沙汰してたから知らんかったわw
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s