関数型プログラミング言語Haskell Part26

1 名前：デフォルトの名無しさん mailto:sage [2014/07/27(日) 13:46:32.03 ID:deqguEnh] 関数型プログラミング言語 Haskell について語るスレです。 haskell.org (公式サイト) www.haskell.org/ 前スレ 関数型プログラミング言語Haskell Part25 peace.2ch.net/test/read.cgi/tech/1393313450/ 2 名前：デフォルトの名無しさん mailto:sage [2014/07/27(日) 13:46:59.81 ID:deqguEnh] 過去スレ一覧 24) toro.2ch.net/test/read.cgi/tech/1382705669/ 23) toro.2ch.net/test/read.cgi/tech/1376111807/ 22) toro.2ch.net/test/read.cgi/tech/1364009659/ 21) toro.2ch.net/test/read.cgi/tech/1358702176/ 20) toro.2ch.net/test/read.cgi/tech/1350428908/ 19) toro.2ch.net/test/read.cgi/tech/1340760070/ 18) toro.2ch.net/test/read.cgi/tech/1331902463/ 17) toro.2ch.net/test/read.cgi/tech/1325510368/ 16) toro.2ch.net/test/read.cgi/tech/1317958045/ 15) hibari.2ch.net/test/read.cgi/tech/1310199414/ 14) hibari.2ch.net/test/read.cgi/tech/1299385928/ 13) hibari.2ch.net/test/read.cgi/tech/1286706874/ 12) hibari.2ch.net/test/read.cgi/tech/1272536128/ 11) pc12.2ch.net/test/read.cgi/tech/1252382593/ 10) pc12.2ch.net/test/read.cgi/tech/1231861873/ 09) pc11.2ch.net/test/read.cgi/tech/1211010089/ 08) pc11.2ch.net/test/read.cgi/tech/1193743693/ 07) pc11.2ch.net/test/read.cgi/tech/1174211797/ 06) pc11.2ch.net/test/read.cgi/tech/1162902266/ 05) pc8.2ch.net/test/read.cgi/tech/1149263630/ 04) pc8.2ch.net/test/read.cgi/tech/1140717775/ 03) pc8.2ch.net/test/read.cgi/tech/1076418993/ 02) pc2.2ch.net/test/read.cgi/tech/1013846140/ 01) pc.2ch.net/tech/kako/996/996131288.html 3 名前：デフォルトの名無しさん mailto:sage [2014/07/27(日) 13:47:30.40 ID:deqguEnh] 関連サイト (英語) Learn You a Haskell for Great Good! (『すごいHaskellたのしく学ぼう!』の無料オンライン版) learnyouahaskell.com/chapters Real World Haskell (同名書籍の無料オンライン版) book.realworldhaskell.org/read/ (以下、日本語) HaskellJP wiki wiki.haskell.jp/ Haskell入門 5ステップ - HaskellWiki (公式サイト内、日本語入門セクション) www.haskell.org/haskellwiki/Haskell%E5%85%A5%E9%96%80_5%E3%82%B9%E3%83%86%E3%83%83%E3%83%97 Programming in Haskell www.sampou.org/cgi-bin/haskell.cgi Haskell のお勉強 www.shido.info/hs/ Haskell Programming www.geocities.jp/m_hiroi/func/haskell.html 本物のプログラマはHaskellを使う：ITpro itpro.nikkeibp.co.jp/article/COLUMN/20060915/248215/ 4 名前：デフォルトの名無しさん mailto:sage [2014/07/27(日) 13:48:41.85 ID:deqguEnh] 関連書籍一覧 (アマゾン米国、主に洋書) www.amazon.com/s/rh=n:283155,n:3839,k:Haskell (アマゾン日本、主に和書) www.amazon.co.jp/s/rh=n:492352,k:Haskell ---- テンプレは以上です。 5 名前：デフォルトの名無しさん [2014/07/27(日) 14:05:57.69 ID:9qpRUKYw] ８月発売予定らしい ●Haskellによる並列・並行プログラミング Simon Marlow　著 山下 伸夫、山本 和彦、田中 英行　訳 336ページ 定価3,888円（税込） ISBN978-4-87311-689-1 6 名前：デフォルトの名無しさん [2014/07/29(火) 00:21:24.45 ID:60YprUPc] [´･_　Haskellによる並列・並行プログラミング買えぽよ 7 名前：デフォルトの名無しさん [2014/07/29(火) 10:17:31.50 ID:vGNmyN6L] Haskellってなんであんな容量でかいの？ 8 名前：デフォルトの名無しさん mailto:sage [2014/07/29(火) 12:25:09.20 ID:NZfP/Nly] Ajhc はフットプリント小さいよ 9 名前：デフォルトの名無しさん mailto:sage [2014/07/29(火) 13:09:17.04 ID:NY6VhvsC] Integer と Int が同じ幅じゃん。 10 名前：デフォルトの名無しさん mailto:sage [2014/07/30(水) 04:03:32.33 ID:HugqqWEX] ランタイムシステムの上で動くからじゃね？ Javaでいうところの仮装機械が同梱されてるってことじゃね？ 11 名前：デフォルトの名無しさん mailto:sage [2014/07/30(水) 07:50:18.87 ID:cLkIAZiJ] マスカレードマシン...実身/仮身システムかな？(痴呆 12 名前：デフォルトの名無しさん mailto:sage [2014/07/30(水) 08:51:49.84 ID:HugqqWEX] つまり、RTSを別途配布すれば良いんだよ MinGWで正規にインストールしとかないと何とかdllが見つかりませんって言われるように bokunokangaetasaikyounoprogram.exeとrts.dllで動くようにすれば良いんだよ 13 名前：デフォルトの名無しさん mailto:sage [2014/07/30(水) 14:42:30.44 ID:cLkIAZiJ] cabal の依存関係を解決してリリースしたら こんどは実行環境で DLL hell に悩まされるんですね(白目 14 名前：デフォルトの名無しさん mailto:sage [2014/07/30(水) 23:35:59.41 ID:OyX0E7FM] Haskellのシンタックスシュガーを全部取っ払うと（型の宣言などを取り除いた）プログラムの 文法は「型のついたラムダ計算」みたいになると思うけどそういうコア機能の解説した文書って なかったっけ 15 名前：デフォルトの名無しさん mailto:sage [2014/07/31(木) 00:50:43.58 ID:+4UhtKUa] 言語仕様（The Haskell 2010 report）で説明のために非形式的に使ってるのとか、 あるいはGHCの実装で使ってるこれかな？ https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/CoreSynType 16 名前：デフォルトの名無しさん mailto:sage [2014/07/31(木) 01:18:38.30 ID:zRIxs7zz] lambdaをコア機能とするのは無理があると思う 例えばletはlambdaのシンタックスシュガーにならない ○ let i x = x in (i 0, i "A") × (\ i -> (i 0, i "A")) (\ x -> x) むしろlambdaを使わないpointfreeがコアだ 17 名前：デフォルトの名無しさん mailto:sage [2014/07/31(木) 09:51:43.95 ID:v4mxhrx0] >>15 GHCの実装の説明のページへのリンクをありがとうございます。 Haskell2010 chap3で、シンタックスの説明に使われてるのがそれみたいですね。 >>16 let i x = x in (i 0, i "A")　では i が多相関数 i :: α->α　になって、in の中で 適切な型に推論されて適用されるのに対してラムダ式　(\ i -> (i 0, i "A")) (\ x -> x)　では 「(\ x -> x)を多相のまま適用できない」ためにうまくいかないのでしょうか。 Scheme からの連想で let は lamnda で書けると思い込んでいたので、この面白い例をもっと 研究してみます。ありがとうございます。 18 名前：デフォルトの名無しさん mailto:sage [2014/07/31(木) 10:00:46.45 ID:tnsvQYR5] >>17 schemeだとできるの？動的だからいいのか 19 名前：デフォルトの名無しさん mailto:sage [2014/07/31(木) 10:48:12.90 ID:v4mxhrx0] >>18 Revised5 Scheme 7.3 で let は派生式になってます。（SchemeマニアじゃないのでR6とかは知りませんが） わかりやすい解説は例えば　SICP 1.3.2 。 （　ttps://github.com/minghai/sicp-pdf/blob/japanese/jsicp.pdf　だと pp.66-67 のあたり　） 20 名前：デフォルトの名無しさん mailto:sage [2014/08/03(日) 21:36:58.94 ID:Tmfa1Mht] Haskell Platform 2014.2.0.0 はいつ正式リリースかな 21 名前：デフォルトの名無しさん mailto:sage [2014/08/04(月) 19:53:21.28 ID:380FSYFH] 諸君、暑さで議論がお留守だよ 22 名前：デフォルトの名無しさん mailto:sage [2014/08/05(火) 09:31:07.66 ID:xIiEYlRK] チラ裏メモ Haskell のカーネル（≒言語から desugar して残るコア機能）は System FC という System F の変種。 FC が F と違う部分は GADT なんかのための何からしい。 System F については、例えば TaPL に簡単に触れられており let ... in がλ抽象と 別立てになった機能になってる。 こっからは推測だけど（推測なんかしてる暇あったら読めよという話だが）上で触れられてる ような事情で let ... in を lambda のシンタックスシュガーとは出来なかったのでλ抽象と 別の機能になってるのかなぁ思った。 23 名前：デフォルトの名無しさん mailto:sage [2014/08/06(水) 00:53:41.89 ID:9Hv8k9mx] 推測する間に読めるとか早すぎだろ

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef