389(2): デフォルトの名無しさん [sage] 2011/11/07(月) 00:04:02.33 AAS
っつーかお前らよく結合順序とか読みきれるな
俺どんな言語で書いても表見ないと安心できない
そのうち面倒くさくなってきてlisp化しちゃう

620(1): デフォルトの名無しさん [sage] 2011/11/29(火) 23:13:02.31 AAS
((3><3) [1.0 ..]) * 3.0

858(1): [―{}@{}@{}-] デフォルトの名無しさん [sage] 2011/12/25(日) 19:30:01.84 AAS
>>856
>うん。そのときの共通性っていうの？それが知りたいんやが
モナドの具体例(2〜3個)を知らない人に説明するのは難しい。俺にはできない

>ほんま？そんなことできるわけないやろ。なんかトリックなんやろ？
うん。おおさっぱに言うと、入出力をする関数がない代わりに、入出力をする変なもの(アクション)がある
関数とアクションは型が違うから、関数を見たらそれが入出力をしないことは保証されてる

864(1): デフォルトの名無しさん [sage] 2011/12/25(日) 19:48:09.17 AAS
Moggiが表示的意味論(もちろんI/O、状態、並列などが扱われている)で
使われている技法に共通構造を見出した。
それがどんな構造かってのは、数学分からない人には、絶対に演繹的に理解できないです。
数々のMonadを体得することで帰納的に理解してください。
帰納的な理解だから身体動かさないと無理です。
頑張ってMonad入門を読みこなして、さらにプログラムを書いてください。

829(2): デフォルトの名無しさん [] 2011/12/24(土) 11:15:48.48 AAS
cabal updateしようとしたんだけど落ちてる？
なんかタイムアウトしてしまうんだが。

取り急ぎ対応したいんだけど、ミラーとか指定できる？