[過去ﾛｸﾞ]
関数型プログラミング言語Haskell Part14 (1001ﾚｽ)
関数型プログラミング言語Haskell Part14 http://echo.5ch.net/test/read.cgi/tech/1299385928/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
902: デフォルトの名無しさん [sage] 2011/07/02(土) 18:10:01.81 ん？QIXて流行ってんの？ 倉庫番はイベントドリブンでもかけるからちょっと意味合い違っちゃう。 http://echo.5ch.net/test/read.cgi/tech/1299385928/902
903: デフォルトの名無しさん [sage] 2011/07/02(土) 18:14:21.75 いやテトリスが食傷だっただけだけど ソースコードがここの書き込み１回で済ませられる程コンパクトな ジャバスクリプト版も出回ってるくらいだし ファッションセンス http://echo.5ch.net/test/read.cgi/tech/1299385928/903
904: デフォルトの名無しさん [sage] 2011/07/02(土) 18:47:11.75 自由研究という文字列だけを見て 小学生が夏休みの自由研究でHaskellを使ったFRPでゲームみたいに空目し 凄い小学生もいるもんだと勝手に感動してしまった http://echo.5ch.net/test/read.cgi/tech/1299385928/904
905: デフォルトの名無しさん [sage] 2011/07/02(土) 19:40:20.34 >>901 いいじゃん、俺はテトリスが好きなんだよ クイックスなんて地味だし、動いてる敵のAIがめんどい 領地計算が何となく見難しそうだし 倉庫番の解説なんかとっくの昔にセガの人に先越されてて、今さら感ありあり キャラ一人だけでリアルタイム性も無いし、動いてる間はキー入力受け付けないから、 Behavior の有難味がいまひとつだし http://echo.5ch.net/test/read.cgi/tech/1299385928/905
906: デフォルトの名無しさん [sage] 2011/07/02(土) 19:48:32.43 そうか。お前が言うならそうなのだろう http://echo.5ch.net/test/read.cgi/tech/1299385928/906
907: デフォルトの名無しさん [sage] 2011/07/02(土) 22:29:02.66 ブロック崩しとかはもうあるから(ex. elerea-examples)テトリスあたりが適当なんだろうな シューティングまでいくと流石に飛躍しすぎて挫折しそうだし http://echo.5ch.net/test/read.cgi/tech/1299385928/907
908: デフォルトの名無しさん [sage] 2011/07/03(日) 03:53:18.93 Haskellってクロージャかけるの？ http://echo.5ch.net/test/read.cgi/tech/1299385928/908
909: デフォルトの名無しさん [sage] 2011/07/03(日) 04:59:49.72 Prelude> let kurouja = "kurouja" Prelude> kurouja "kurouja" Prelude> http://echo.5ch.net/test/read.cgi/tech/1299385928/909
910: デフォルトの名無しさん [sage] 2011/07/03(日) 11:06:31.56 >>908 むしろクロージャは関数型言語が元祖だが。。。 クロージャは高階関数という名前でクロージャと意識しなくても簡単には使える http://echo.5ch.net/test/read.cgi/tech/1299385928/910
911: デフォルトの名無しさん [sage] 2011/07/03(日) 11:19:53.80 多分そういう意味ではないと思う http://echo.5ch.net/test/read.cgi/tech/1299385928/911
912: デフォルトの名無しさん [sage] 2011/07/03(日) 11:23:22.04 「状態を閉じ込めたもの」を書けるか、ということなら、 型に制限がある、という答えになるのかなぁ http://echo.5ch.net/test/read.cgi/tech/1299385928/912
913: デフォルトの名無しさん [sage] 2011/07/03(日) 11:50:17.40 なんか集合論で使われる関係とか位相でいう閉じているとか開いてる っていう概念を使って閉方っていうのを定義するというのを聞いた事がある 関数型言語で使われるクローじゃもそれ由来なのかな？ ちなみにポイントフリーのポイントってのは位相由来というのも話だけは聞いたことあるけどどういうもんかはよくわからん 位相は挫折したからな http://echo.5ch.net/test/read.cgi/tech/1299385928/913
914: デフォルトの名無しさん [sage] 2011/07/03(日) 12:16:18.54 集合・位相・距離 http://echo.5ch.net/test/read.cgi/tech/1299385928/914
915: デフォルトの名無しさん [sage] 2011/07/03(日) 12:21:36.14 プログラミング言語で言うクロージャは、動的スコープに対して、静的スコープによって 名前の参照が関数を定義するスコープに閉じてる、ということ。 数学とはあまり関係ない。 http://echo.5ch.net/test/read.cgi/tech/1299385928/915
916: デフォルトの名無しさん [sage] 2011/07/03(日) 12:27:53.74 わかりにくい。ローカル環境をもつ関数オブジェクトでいいだろ。 http://echo.5ch.net/test/read.cgi/tech/1299385928/916
917: デフォルトの名無しさん [sage] 2011/07/03(日) 12:36:59.74 なんだよローカル環境ってw 自分定義の用語使って分かり易い説明ですか？www http://echo.5ch.net/test/read.cgi/tech/1299385928/917
918: デフォルトの名無しさん [sage] 2011/07/03(日) 12:47:36.08 任意の開集合の逆像が常に開集合だと連続だよね(キリッ http://echo.5ch.net/test/read.cgi/tech/1299385928/918
919: デフォルトの名無しさん [sage] 2011/07/03(日) 13:05:39.58 >>917 悪いが、言わんとしていることは >>916 の方が分かりやすかった http://echo.5ch.net/test/read.cgi/tech/1299385928/919
920: デフォルトの名無しさん [sage] 2011/07/03(日) 13:24:55.55 Prelude> let x = 10; foo y = x + y Prelude> foo 10 20 Prelude> http://echo.5ch.net/test/read.cgi/tech/1299385928/920
921: デフォルトの名無しさん [sage] 2011/07/03(日) 13:33:11.20 ubuntu> cat a.hs foo x = let y = 10 in (\z -> x + y + z) ubuntu> ghci a.hs GHCi, version 7.0.4: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package ffi-1.0 ... linking ... done. [1 of 1] Compiling Main ( a.hs, interpreted ) Ok, modules loaded: Main. *Main> (foo 20) 30 60 *Main> これで回答になっとるやろ。でfuncitonal2ch@twitterってなして lisp系を無視してる？呆れる http://echo.5ch.net/test/read.cgi/tech/1299385928/921
922: デフォルトの名無しさん [sage] 2011/07/03(日) 14:11:48.07 変数束縛だったらこっちのほうが良かったか。 Prelude> let a = (+ 3) Prelude> a 4 7 Prelude> (+3) 4 7 Prelude> http://echo.5ch.net/test/read.cgi/tech/1299385928/922
923: デフォルトの名無しさん [sage] 2011/07/03(日) 20:20:29.25 >>917 大域環境ではない局所的な環境のことだよ。Lispだと関数定義の中だけで 既に定義されている変数の上書きできるだろ、その変数の情報を収めている 環境のことだよ。 なんでも過去のLispは環境の実装がいまみたいにきっちりしてなかったみたいで、 関数呼び出しをする場所によって、自由変数の指す値が変わってしまったそうだ。 そんな摩訶不思議なことを避けるために、関数定義の中で閉じた変数束縛の手法 のことをクロージャーと呼ぶようになったらしい。 http://www.amazon.co.jp/dp/400007685X http://echo.5ch.net/test/read.cgi/tech/1299385928/923
924: デフォルトの名無しさん [sage] 2011/07/03(日) 21:10:19.97 数学セミナー7月号から、圏論の歩き方って連載が開始されてる 初回の記事は対談形式で、圏とは何ぞや？なぜ圏なのか？(なぜ圏を使うのか？)とかが、書いてた 少しは圏について得るものがあるかちょっと楽しみ http://echo.5ch.net/test/read.cgi/tech/1299385928/924
925: デフォルトの名無しさん [sage] 2011/07/03(日) 21:54:38.15 プログラミングに関係するとしたら自然性と普遍性だろうけれど、 どのようにプログラミングに適用すれば良いのか？という実践的ノウハウが みあたらないし、仮にそれがあったとしても、高い導入コストに見合う リターンがあるのか不明。 多分直接的になにか役に立つという方向はあんまり期待できないと思う。 そういう系じゃなくて、なんでそんなわけわからないものに関心が向いてしまうのか とか、琴線に触れてくるものは一体なんなのか？という原因を見付け出したほうが 一般的に使える結果が得られると思う。圏論の言葉を使う必然性も全くないし。 そもそも、全くよくわからないし利害性もないのに関心が向くなんてどう考えてもおかしいだろ。 http://echo.5ch.net/test/read.cgi/tech/1299385928/925
926: デフォルトの名無しさん [sage] 2011/07/03(日) 21:55:54.30 数学セミナーとか購読してるような奴らが Haskellの当たり前なユーザなのか こりゃ他言語と毛色が違うな http://echo.5ch.net/test/read.cgi/tech/1299385928/926
927: デフォルトの名無しさん [sage] 2011/07/03(日) 22:12:08.12 >>925 今回の記事によると「(思ったよりも)ローコスト、(経験的に)ハイリターン」だそうな 連載の記事を書く人は、それぞれの分野で道具として圏論を使ってる人がリレーしながら書く予定だとかで、今回の記事(対談)でも、「唯一の正しい抽象化のレベル」とは限らないと書いてる 記事から感じるのは現実問題として、コスパが良かったから選んでるって言う印象 http://echo.5ch.net/test/read.cgi/tech/1299385928/927
928: デフォルトの名無しさん [sage] 2011/07/03(日) 23:40:59.88 圏論勉強会とか参加してる連中がこの言語ユーザーの主流派だしなぁ。 http://echo.5ch.net/test/read.cgi/tech/1299385928/928
929: デフォルトの名無しさん [sage] 2011/07/04(月) 00:11:53.44 いやHaskell勉強会に100人も集まるのは、そういう人のほうが少ないだろ http://echo.5ch.net/test/read.cgi/tech/1299385928/929
930: デフォルトの名無しさん [sage] 2011/07/04(月) 00:33:43.03 RubyのRedmineに対抗してHedline開発してよ http://echo.5ch.net/test/read.cgi/tech/1299385928/930
931: デフォルトの名無しさん [sage] 2011/07/04(月) 07:17:37.72 Redmineが既にあるのにHedlineを開発する動機が無い http://echo.5ch.net/test/read.cgi/tech/1299385928/931
932: デフォルトの名無しさん [sage] 2011/07/04(月) 21:46:24.36 >>927 評価者が全員数学系なので、数学系の中ではコスパがいいという話ではあるけど、 そこから一般論としてコスパがいいという結論は導けない。 実現可能で有効性も十分立証できる論拠を持ってこないことには、 圏論をやらなくてはならない理由にはならない。 http://echo.5ch.net/test/read.cgi/tech/1299385928/932
933: デフォルトの名無しさん [sage] 2011/07/04(月) 22:26:49.54 >>932 俺が思うに >>327 は一般論として言っているつもりは無いと思う。 「数学系の中では充分に使いものになる」ってのならそれはそれでひとつの知見として有用じゃないかな。 だいたい Haskell は抽象化のために圏論の概念を使ってるんだろ。 だったらその概念を (程度はともかくとして) 理解する必要があるのはあたりまえじゃね？ Java を使うのにオブジェクト指向を理解する必要があるのと同じ。 http://echo.5ch.net/test/read.cgi/tech/1299385928/933
934: デフォルトの名無しさん [sage] 2011/07/05(火) 03:21:50.97 計算機科学は数学系。 まぁ、現在の計算機科学者自体が学問的に見た場合、数学の出来ない落ち零れなので 数学を否定したがる人がたくさんいるのは、分からないでもない。 そういえば、言語制作者で自分は数学が苦手という恥ずかしいことを言ってる人がいたっけ。 http://echo.5ch.net/test/read.cgi/tech/1299385928/934
935: デフォルトの名無しさん [sage] 2011/07/05(火) 03:48:33.09 実績もなく数学もダメってんじゃどうしようもないが もしそれで実績があるなら大したものだ…… 数学系がなんとかかんとかよりも、よっぽど有能だろう http://echo.5ch.net/test/read.cgi/tech/1299385928/935
936: デフォルトの名無しさん [sage] 2011/07/05(火) 04:07:41.62 有能なのは分かるが、実績があるからと言ってその言語が整合的とは限らない。 というか、ほとんどの言語制作者は整合性を無視しているか、整合性について分かってない。 http://echo.5ch.net/test/read.cgi/tech/1299385928/936
937: デフォルトの名無しさん [sage] 2011/07/05(火) 04:17:39.29 ここんとこ抽象論が続いてるな 具体的なコード提示してうだうだ議論してる所を眺めたい http://echo.5ch.net/test/read.cgi/tech/1299385928/937
938: デフォルトの名無しさん [sage] 2011/07/05(火) 04:19:00.22 言語の整合性なんて気にするユーザーはごく僅かってことですね http://echo.5ch.net/test/read.cgi/tech/1299385928/938
939: デフォルトの名無しさん [sage] 2011/07/05(火) 04:39:15.50 重要ではないか、もしくは極端な話、 不整合があるぐらいのほうが実用上良い可能性がある そもそも整合性というのがよく分からないんだが、どうやって評価するんだ？ http://echo.5ch.net/test/read.cgi/tech/1299385928/939
940: デフォルトの名無しさん [sage] 2011/07/05(火) 04:42:56.81 Haskellやってなお実用的という奴は下に見てる http://echo.5ch.net/test/read.cgi/tech/1299385928/940
941: デフォルトの名無しさん [sage] 2011/07/05(火) 07:08:01.98 不整合があるってことは、副作用があるというのと同義じゃ？ 実用って言葉を使いたがる人ってようけいるけど、 実用的って言葉ほどマジックワードはないよね。haskellくらいなら ひと通りのものは揃ってるくらいだし。 http://echo.5ch.net/test/read.cgi/tech/1299385928/941
942: デフォルトの名無しさん [sage] 2011/07/05(火) 07:20:27.26 >>941 > haskellくらいならひと通りのものは揃ってるくらいだし。 ひと通りのものは揃ってるのに、それを利用して 「＊＊を作りました」といってアップする人がほとんどいない つまり、実用性を外部に身を以て示す人がいない 何故だろ http://echo.5ch.net/test/read.cgi/tech/1299385928/942
943: デフォルトの名無しさん [sage] 2011/07/05(火) 08:21:47.46 啓蒙活動が足りない http://echo.5ch.net/test/read.cgi/tech/1299385928/943
944: デフォルトの名無しさん [sage] 2011/07/05(火) 08:26:30.76 >>942 いない? 調べもせずにいけしゃあしゃあといいよる http://echo.5ch.net/test/read.cgi/tech/1299385928/944
945: デフォルトの名無しさん [sage] 2011/07/05(火) 08:43:00.05 少なくともこのスレにはいないし xmonad、モナディウス、Houseとか正直トイレベルの域出ないでしょ。 http://echo.5ch.net/test/read.cgi/tech/1299385928/945
946: デフォルトの名無しさん [sage] 2011/07/05(火) 08:43:58.68 最大の啓蒙活動は実用的なプログラムがオープンソースでたくさん出ることなんだけどな。 http://echo.5ch.net/test/read.cgi/tech/1299385928/946
947: デフォルトの名無しさん [sage] 2011/07/05(火) 09:10:48.23 >>945 トイレレベルかと思ったらおもちゃかｗｗ http://echo.5ch.net/test/read.cgi/tech/1299385928/947
948: デフォルトの名無しさん [sage] 2011/07/05(火) 09:11:30.58 マイクロソフトのエヴァンジェリストを雇う http://echo.5ch.net/test/read.cgi/tech/1299385928/948
949: デフォルトの名無しさん [sage] 2011/07/05(火) 09:14:02.06 ないないない、と言い続ける奴って、 たいてい何があってもそういい続けるビーコンだよな、大抵。 http://echo.5ch.net/test/read.cgi/tech/1299385928/949
950: デフォルトの名無しさん [sage] 2011/07/05(火) 09:15:44.02 実際ないじゃん。 http://echo.5ch.net/test/read.cgi/tech/1299385928/950
951: デフォルトの名無しさん [sage] 2011/07/05(火) 10:07:30.80 ベンチャーキャピタルでHaskellを使ってる所が幾つかある、っていうのは聞いたことがあるけど。 Jane StreetはHaskellの従兄弟のOCaml使ってるし、意外な所で使われてるかもよ。 まあ、オープンソースで広く使われてる、っていうと確かにあまり聞かないけど。 Darcsくらい？ いつもはLisp方面にいるんだけど、Common Lispのプロジェクトとかで、 Darcs使ってる所とかが何故か多い。 http://echo.5ch.net/test/read.cgi/tech/1299385928/951
952: デフォルトの名無しさん [sage] 2011/07/05(火) 10:55:56.57 とりあえず数当てゲームでいいから誰か書いてよ http://echo.5ch.net/test/read.cgi/tech/1299385928/952
953: デフォルトの名無しさん [] 2011/07/05(火) 11:29:32.27 トイレレベルというがそれを言えるのはトイレレベル以上のソフトウエア を組めるものの特権だよ。そうじゃなければただのバカとしか言いようがない。 そもそも実用といってる人間にとって実用とは何か？ もう一歩掘り進んだ意味を答えたほうがいいよ。 http://echo.5ch.net/test/read.cgi/tech/1299385928/953
954: デフォルトの名無しさん [sage] 2011/07/05(火) 11:35:51.86 なんだよトイレレベルって 突っ込み待ちか？ http://echo.5ch.net/test/read.cgi/tech/1299385928/954
955: デフォルトの名無しさん [sage] 2011/07/05(火) 11:50:24.59 >>953 ああ？TOTOとINAXディスってるのか？ 俺シャワートイレ板の有名コテだからあまり舐めたこと言わないほうがいいよ http://echo.5ch.net/test/read.cgi/tech/1299385928/955
956: デフォルトの名無しさん [sage] 2011/07/05(火) 12:25:14.14 >>955 意味不明なんですが。もしなめたことと捉えていて、そのまま、こんご も舐められたとしたら、あなたはシャワートイレ板でHaskellスレで 舐められたと暴れまくるんですか？トイレ通な人がなん人もこちらに 来るように仕向けて成功するんでしょうか？なにをもってトイレのコ テハンだということを権威付けしているのかよくわかりません。そろ そろスレとは無関係なので、これ以上はコメントを差し控えますが。 http://echo.5ch.net/test/read.cgi/tech/1299385928/956
957: デフォルトの名無しさん [sage] 2011/07/05(火) 12:41:57.67 >>944 調べ方が悪かったのかもしれない 実用性を外部に身を以て示す人を挙げて頂けないか > 「＊＊を作りました」といってアップする人がほとんどいない こちらの「ほとんどいない」の方は同意して頂けた認識してよろしいか？ http://echo.5ch.net/test/read.cgi/tech/1299385928/957
958: デフォルトの名無しさん [sage] 2011/07/05(火) 12:49:50.31 作ろうと思えば作れるんだから今ならそういうの作って名をあげるチャンスと肯定的に捉えよう http://echo.5ch.net/test/read.cgi/tech/1299385928/958
959: デフォルトの名無しさん [sage] 2011/07/05(火) 16:07:13.55 こういうんじゃ駄目なん？ 個人じゃないし、インハウスツールだから、全然広めてないけど。 ttp://d.hatena.ne.jp/camlspotter/20080912/1221193444 ttp://d.hatena.ne.jp/camlspotter/20100330/1269927047 ttp://d.hatena.ne.jp/camlspotter/20101212/1292165692 ttp://cufp.org/jobs/language/31 最初のはリーマン・ショックとドンピシャだから、多分リーマン・ブラザーズのこと。 http://echo.5ch.net/test/read.cgi/tech/1299385928/959
960: デフォルトの名無しさん [sage] 2011/07/05(火) 18:01:12.30 >>959 そりゃ聞くまでもなくダメだろ 「実用性を外部に身を以て示す人」なんだから http://echo.5ch.net/test/read.cgi/tech/1299385928/960
961: デフォルトの名無しさん [sage] 2011/07/05(火) 18:31:05.42 文章を読まない、論理的に思考できない。そんな人に何をどう説明しろと? http://echo.5ch.net/test/read.cgi/tech/1299385928/961
962: デフォルトの名無しさん [sage] 2011/07/05(火) 18:58:36.81 Haskellを使って個々で色々活動してる人は俺も何人か知ってる たぶん、俺が知らないところでもっと多くの人たちが活動してるんだろ でも彼らは「＊＊を作りました」って実用性をアピールしたりはしない しないというのは言い過ぎかも知れんが、そう感じる 個々で、あるいは小グループで黙々と活動してる感じだ まぁ、実は窓の杜のアプリの多くがHaskell製だったりするかもしれんが http://echo.5ch.net/test/read.cgi/tech/1299385928/962
963: デフォルトの名無しさん [sage] 2011/07/05(火) 19:41:12.91 話が微妙にずれてる気がするな。>>942は実用性の無さを仄めかしてるのかと思ったけど、 単に目立つエヴァンジェリストの不在を指摘したいの？ それなら知らないし、いないと思う。 LLとは出自が違うんだし、毛色も違う言語だし、現れにくいんじゃないかな。 それに、Paul Grahamみたいなの、実際いたら鬱陶しいよ？ 無駄に叩かれるし。 Larry WallとかGuido van Rossumみたいな感じならまだ救いがあるけど。 http://echo.5ch.net/test/read.cgi/tech/1299385928/963
964: デフォルトの名無しさん [sage] 2011/07/05(火) 20:18:50.28 ラムちゃんTシャツが？ http://echo.5ch.net/test/read.cgi/tech/1299385928/964
965: デフォルトの名無しさん [sage] 2011/07/05(火) 20:54:00.49 >>933 前段についてはそのとおりだ。だけど、言葉が足りていないので、 >>927はHaskellをやる人すべてが圏論を知らないといけないという意味に取れる。 後段についても一理あるものの、別に実際プログラミングするにあたって、 ”いちいち厳密で整合性をもたせた数学的な～”というようなお題目がつきそうな ものを土台としてプログラムする、なんてストレス溜まって普通に無理だろ。 なんか圏論わかってます系な人に、『こんなプログラムするなんてこいつは 全然圏論わかってない！』とか暗に馬鹿にされるんだろうな～とか思いながら プログラムをしたいというなら別だけど。 適当に圏論は箔付けの為だと割りきってひな壇にいてもらうことにして、プログラミング としては、圏論は尊重はするポーズはするものの完全無視の独立した技法を開発したほうが 絶対良いと思うんだ。 http://echo.5ch.net/test/read.cgi/tech/1299385928/965
966: デフォルトの名無しさん [sage] 2011/07/05(火) 20:58:11.35 >>963 べつに目立つエヴァンジェリストのレベルまでいかなくていいよ 「こんなん作ったけどどうよ」 って言って「完成させたアプリ」をアップする こんな程度でいいんだよ そういうのがちょこちょこっと出てくると、 あぁHaskellって「使えるね」と感じる人が増えてくると思うんだ でも現実は・・・ そんな人見ないよね Haskell人口って決して少なくないと思うんだが なんでだろ？ 何が原因なんだろ？ という話 >>941 はひと通りのものは揃ってると言うが、もしかしたら何かが足りないとか？ http://echo.5ch.net/test/read.cgi/tech/1299385928/966
967: 933 [sage] 2011/07/05(火) 21:30:55.37 >>965 いやあ、 Java とかだってデザインパターンわかってます系な人に 『こんなプログラムするなんてこいつは全然デザインパターンをわかってない！』 とか暗に馬鹿にされるんだろうな～とか思いながらプログラムしたりするよ。 つっても、そのわかってます系の人のわかってるレベルっていうのは 実際には理論を全部網羅してるレベルじゃないだろ。 Haskell 使いは全ての人が圏論を知ってないといけないだろうと思うけど、その程度に知っていれば充分。 私が「程度はともかく」と但書を付けたのはそういうこと。 http://echo.5ch.net/test/read.cgi/tech/1299385928/967
968: デフォルトの名無しさん [sage] 2011/07/05(火) 22:19:47.62 別に知らなくてもいいよ。<圏論 使ってるうちに興味が沸いて深く理解したければどうぞってやつだ。 プログラミング言語に限らないけど 何かと最初から敷居を上げたがる傾向にあるよね。これはあなただけの 問題ではないから皮肉ってるわけではないよ。 はっきり言ってモナドも理解しなくてもこの時にこう使うということ だけ知っておくだけでとりあえずは作れるよ。だが、そのことは無視して 最初から、敷居を上げたがるから難解に見えるというのはある。 丁度、ポインタを知らなくても動くプログラムはCでも作れるというのと 同じだし、デザパタも同じだよね。オブジェクト指向は知ってると スパゲティ製造言語から逃れられるんだろうか？ http://echo.5ch.net/test/read.cgi/tech/1299385928/968
969: デフォルトの名無しさん [sage] 2011/07/05(火) 22:26:53.36 そ～いえば、planet haskellで良くジャーマンメタルの人みたいな人の 記事が上がってるね。ぱっと見てヘヴィメタっぽいおっさんと思ってしまった。 http://echo.5ch.net/test/read.cgi/tech/1299385928/969
970: デフォルトの名無しさん [sage] 2011/07/05(火) 22:38:52.77 圏論圏論という人は、どこまで理解してるのだろう。 マクレーンくらいは読んでるのか。 http://echo.5ch.net/test/read.cgi/tech/1299385928/970
971: デフォルトの名無しさん [sage] 2011/07/06(水) 01:25:49.27 >>970 > 圏論圏論という人は、どこまで理解してるのだろう。 > マクレーンくらいは読んでるのか。 あれを読んで理解できれば数学の院生で通用するよ さらに使いこなせれば数学者の卵ぐらいにはなれる http://echo.5ch.net/test/read.cgi/tech/1299385928/971
972: デフォルトの名無しさん [sage] 2011/07/06(水) 05:49:09.56 >>966 ttps://github.com/search?type=Repositories&language=Haskell&q=language%3AHaskell&repo=&langOverride=&x=0&y=0&start_value=1 4,000件以上もあれば、言語人口と比較して十分過ぎると思うけど、足りんの？ TwitterやBittorrentのクライアントとか、アプリケーションサーバとかいっぱいあるよ。 むしろ、自分が普段使ってる言語の少なさに泣けた。Haskell侮れんな。 http://echo.5ch.net/test/read.cgi/tech/1299385928/972
973: デフォルトの名無しさん [sage] 2011/07/06(水) 07:30:17.38 >>972 数は申し分ないけど、なんかな、なんか違うんだよなぁ でも、こんなん作ったけどどうよって言って 完成させたアプリをアップする人を見ないというのは、 俺の完全な間違いだと分かった すまなかった でもなぁ、日本人がアプリって聞いて想像（期待）するものとは何か違う気がする アプリの定義なんて無いから、これらもHaskellのアプリだよと言われれば、 そうだよねとしか言えんけど・・・ http://echo.5ch.net/test/read.cgi/tech/1299385928/973
974: デフォルトの名無しさん [sage] 2011/07/06(水) 07:39:37.22 良くも悪くもこれから、って感じじゃないかなー。 >>958が言うように、今ならキラーアプリ作って名を上げるチャンスということでひとつ。 http://echo.5ch.net/test/read.cgi/tech/1299385928/974
975: デフォルトの名無しさん [sage] 2011/07/06(水) 08:40:34.50 数学とズブズブの関係を築くことがトレンドなのか？ http://echo.5ch.net/test/read.cgi/tech/1299385928/975
976: デフォルトの名無しさん [sage] 2011/07/06(水) 08:56:41.73 数学の気分を味わうだけの言語です http://echo.5ch.net/test/read.cgi/tech/1299385928/976
977: デフォルトの名無しさん [sage] 2011/07/06(水) 18:31:53.47 むしろ数学の式は全部Haskellで書いて欲しい 中学ぐらいまでの数学記号は流石に分かるが 高校以降のはさっぱり覚えられなかったぜ 上下左右真ん中のどれがどの引数だったか未だに迷う http://echo.5ch.net/test/read.cgi/tech/1299385928/977
978: デフォルトの名無しさん [sage] 2011/07/06(水) 20:09:13.35 そんなんでよく卒業できたな http://echo.5ch.net/test/read.cgi/tech/1299385928/978
979: デフォルトの名無しさん [sage] 2011/07/06(水) 20:15:50.02 f(x)で高校数学からドロップアウトした漏れがきました どうやら当時は関数って考え方がまったく理解できなかったらしい http://echo.5ch.net/test/read.cgi/tech/1299385928/979
980: デフォルトの名無しさん [sage] 2011/07/06(水) 22:08:47.16 軽い知的障害なんじゃないの http://echo.5ch.net/test/read.cgi/tech/1299385928/980
981: デフォルトの名無しさん [sage] 2011/07/06(水) 22:40:32.53 授業中に教師に教えてもらおうと思うと少しも理解できなかったな ってか、教科書は予習・復習で理解してしまうものだろ http://echo.5ch.net/test/read.cgi/tech/1299385928/981
982: デフォルトの名無しさん [sage] 2011/07/06(水) 22:44:49.65 すまん予習復習とか宿題以外にしたことがなかった。愚かだった >>980 いやほらプログラミングならわかりやすい名前のついた関数をまずやって それから無名関数とか抽象度の高い概念に移るでしょ？ ところが数学はいきなりf(x)だから当時の漏れは困っちゃったという話 http://echo.5ch.net/test/read.cgi/tech/1299385928/982
983: デフォルトの名無しさん [sage] 2011/07/06(水) 23:04:05.12 >>978 高卒なんで、そんなもんです http://echo.5ch.net/test/read.cgi/tech/1299385928/983
984: デフォルトの名無しさん [sage] 2011/07/06(水) 23:09:02.99 煽りにマジレス http://echo.5ch.net/test/read.cgi/tech/1299385928/984
985: デフォルトの名無しさん [] 2011/07/06(水) 23:11:09.83 >>982 f(x)の次にg(x)が出てきたろ。 普通の脳ミソがあれば悪くてもその辺で理解できる。 http://echo.5ch.net/test/read.cgi/tech/1299385928/985
986: デフォルトの名無しさん [sage] 2011/07/06(水) 23:14:43.78 >>983 言葉が足りなかった 高卒をよく卒業できたなと言ったつもりだった http://echo.5ch.net/test/read.cgi/tech/1299385928/986
987: デフォルトの名無しさん [sage] 2011/07/06(水) 23:15:15.16 >>986 高卒をよく 高校をよく http://echo.5ch.net/test/read.cgi/tech/1299385928/987
988: デフォルトの名無しさん [sage] 2011/07/07(木) 00:03:38.67 >>983 自分も高卒だが、そこまで理解出来ないなんて事は無かったぞ http://echo.5ch.net/test/read.cgi/tech/1299385928/988
989: デフォルトの名無しさん [sage] 2011/07/07(木) 00:08:08.34 >>988 そうか…まあ、数1数Aだけやってそれ以上は授業あんまりなかったからな http://echo.5ch.net/test/read.cgi/tech/1299385928/989
990: デフォルトの名無しさん [sage] 2011/07/07(木) 00:27:56.60 割合の計算でどっちを分母にするの分からない人なら大学にたくさんいたが http://echo.5ch.net/test/read.cgi/tech/1299385928/990
991: デフォルトの名無しさん [sage] 2011/07/07(木) 00:31:42.75 >>989 。。。。という事は、自分と同じく工業高校卒か 頭良いやつと悪い奴の差が激しいからな。。。 http://echo.5ch.net/test/read.cgi/tech/1299385928/991
992: デフォルトの名無しさん [sage] 2011/07/07(木) 00:43:00.57 コンプ持ちが使う言語 http://echo.5ch.net/test/read.cgi/tech/1299385928/992
993: デフォルトの名無しさん [sage] 2011/07/07(木) 00:49:49.46 Haskellスレなのに。 数ⅢＣくらいは当然じゃないの、関連は強くないけどこれくらい教養じゃないの http://echo.5ch.net/test/read.cgi/tech/1299385928/993
994: デフォルトの名無しさん [sage] 2011/07/07(木) 00:50:21.69 どちらにしてもコンプ持ちが使う言語 http://echo.5ch.net/test/read.cgi/tech/1299385928/994
995: デフォルトの名無しさん [sage] 2011/07/07(木) 01:03:01.90 >>993 普通高校だと、そう 工業高校はAとⅠに特化してる http://echo.5ch.net/test/read.cgi/tech/1299385928/995
996: デフォルトの名無しさん [sage] 2011/07/07(木) 02:28:46.32 高校数学というと、未だにこの記法が好きになれない (g o f)(x) = g(f(x)) 関数の流れと文字の流れが逆転していて、かなり分かりづらかった記憶がある 大学以降だと、f: x → y みたいな記法が導入されて こっちは自然に読めたんだが http://echo.5ch.net/test/read.cgi/tech/1299385928/996
997: デフォルトの名無しさん [sage] 2011/07/07(木) 06:58:36.81 >>991 むしろ高卒っつーたら普通工業とか商業とかで普通高校ではないだろ大概 ちなみに商業もAと1特化で2とBは触りしかやらない >>993 Haskellのお陰で興味を持てたのよ、高校以降の数学に http://echo.5ch.net/test/read.cgi/tech/1299385928/997
998: デフォルトの名無しさん [sage] 2011/07/07(木) 07:23:11.93 そこでf;;gという記法ですよ 圏論関係の文献でたまーに結構使われてる http://echo.5ch.net/test/read.cgi/tech/1299385928/998
999: デフォルトの名無しさん [sage] 2011/07/07(木) 08:05:47.92 >>996 その書き方は高校数学とは関係ない。 むしろ代数学的な書き方。 http://echo.5ch.net/test/read.cgi/tech/1299385928/999
1000: デフォルトの名無しさん [sage] 2011/07/07(木) 08:35:43.25 1000だとHaskell で作られたOSが世界を旋回する。 http://echo.5ch.net/test/read.cgi/tech/1299385928/1000
1001: １００１ [] Over 1000 Thread このスレッドは１０００を超えました。 もう書けないので、新しいスレッドを立ててくださいです。。。 http://echo.5ch.net/test/read.cgi/tech/1299385928/1001
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.032s