関数型プログラミング言語Haskell Part6
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
2006/11/07(火) 21:24:26http://www.haskell.org/
日本語サイト
http://www.sampou.org/cgi-bin/haskell.cgi
http://shidot.dyndns.org/hs/
過去ログ
関数型プログラミング言語Haskell
Part1 http://pc.2ch.net/tech/kako/996/996131288.html
Part2 http://pc2.2ch.net/test/read.cgi/tech/1013846140/
Part3 http://pc8.2ch.net/test/read.cgi/tech/1076418993/
Part4 http://pc8.2ch.net/test/read.cgi/tech/1140717775/
Part5 http://pc8.2ch.net/test/read.cgi/tech/1149263630/
関連スレは>>2
関連書籍は>>3
・2chの仕様により、行頭の半角スペースは表示されません。
コードをインデントしたいときは、代わりに または全角スペースを使うことができます。
0002デフォルトの名無しさん
2006/11/07(火) 21:25:26・関数型言語Part IV
http://pc8.2ch.net/test/read.cgi/tech/1083649982/
・【数学者】Haskellはクソ言語【オナニー】
http://pc8.2ch.net/test/read.cgi/tech/1128011645/
・純粋関数型言語Concurent Clean
http://pc8.2ch.net/test/read.cgi/tech/1075629340/
・関数型言語ML(SML, OCaml, etc.), Part 4
http://pc8.2ch.net/test/read.cgi/tech/1133003340/
・((Common Lisp) (Scheme) :Part 15)
http://pc8.2ch.net/test/read.cgi/tech/1151025773/
・【入門】CommonLispその2【質問よろず】
http://pc8.2ch.net/test/read.cgi/tech/1140012484/
・Emacs Lisp 2
http://pc8.2ch.net/test/read.cgi/tech/1068467385/
0003デフォルトの名無しさん
2006/11/07(火) 21:25:57・Introduction to Functional Programming Using Haskell
http://www.amazon.co.jp/exec/obidos/ASIN/0134843460/
・Haskell: The Craft of Functional Programming
http://www.amazon.co.jp/exec/obidos/ASIN/0201342758/
・The Fun of Programming
http://www.amazon.co.jp/exec/obidos/ASIN/1403907722/
・The Haskell School of Expression: Learning Functional Programming Through Multimedia
http://www.amazon.co.jp/exec/obidos/ASIN/0521644089/
・入門Haskell
http://item.rakuten.co.jp/book/1794880/
・ふつうのHaskellプログラミング
http://item.rakuten.co.jp/book/4052963/
0004デフォルトの名無しさん
2006/11/07(火) 21:42:35乙カリー
0005デフォルトの名無しさん
2006/11/07(火) 22:47:22【あらいぐま】関数言語Haskell Part6【ハスケル】
0006デフォルトの名無しさん
2006/11/07(火) 22:58:22| ノ ,,. ,,ヽ
/ ● ● | 前ｽﾚ>996-1000全部もらったｸﾏｰ
| ( _●_) ミ
彡､ ,､､|∪| ,,,ノ
/ . ヽノ ヽ
| ＿r'ﾟlﾆﾆﾆl]_ _＿＿＿/l
fﾆﾆﾆﾆllﾆﾆ| ＼[ l===ﾆﾆl]}||||||||ll]}ｺl|====iﾆｺ
|l_,,=-'''~ | ＼... ヽ'''ニ「_,,,l⌒l｡__｡_]三i三三iＦ
| 〈,,/ヽ__＿）|ll [`ー'
0007デフォルトの名無しさん
2006/11/07(火) 23:00:57∧＿∧ ∧＿∧ ))
(ﾞﾞヽ ﾟ∀ﾟ）') ('（ﾟ∀ﾟ /ﾞﾞ)
(( ＼ / ヽ /
（(⌒) ( ) (⌒)）
｀｀ヽ＿,) (,__,ﾉﾞ
0008デフォルトの名無しさん
2006/11/07(火) 23:05:08(ﾟдﾟ )
(| y |)
Haskellで勉強すればokと信じていたのに、
いつまでたっても頭がよくならない。
Haskell ( ﾟдﾟ) ok
＼／| y |＼／
これらをくっつけて
( ﾟдﾟ) haskellok
(＼／＼／
逆から読むとこれ臭ぁ、というわけだ
( ﾟдﾟ) kolleksah
(＼／＼／
Haskellやってると、くさくなるということだな
(ﾟдﾟ )
(| y |)
0009デフォルトの名無しさん
2006/11/07(火) 23:20:08□□□■□□□□■□□□□□□□□□□□□□□□□□□□□□□□□□■□□■□□□
□□□■□□□□■□□□□□□□□□□□□□□□□□□□□□□□□□■□□■□□□
□□□■□□□□■□□□□□□□□□■■■□□■□□□□□□□□□□■□□■□□□
□□□■□□□□■□□□□□□□□■□□□■□■□□□□□■■■□□■□□■□□□
□□□■■■■■■□□■■■□□□■□□□□□■□□■□■□□□■□■□□■□□□
□□□■□□□□■□■□□□■□□□■■■□□■□■□□■■■■■□■□□■□□□
□□□■□□□□■□■□□□■□□□□□□■□■■■□□■□□□□□■□□■□□□
□□□■□□□□■□■□□□■■□■□□□■□■□■□□■□□□■□■□□■□□□
□□□■□□□□■□□■■■□■□□■■■□□■□□■□□■■■□□■□□■□□□
□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□□
0010デフォルトの名無しさん
2006/11/07(火) 23:34:030011デフォルトの名無しさん
2006/11/07(火) 23:36:56○
ノ|）
＿|￣|○ 「Ｌ
○､
＼､ ○
ヾ ＼）ヽ
＿|￣| <
0012デフォルトの名無しさん
2006/11/07(火) 23:39:07(( (｀Д´) (｀Д´)
(/ /) (/ /) ))
<￣< <￣<
帰ってこないやつがいる
(｀Д´) (｀Д´) ))
(( (＼ ＼) (＼ ＼)
>￣> >￣>
ﾊｲ!! ﾊｲ!! ﾊｲ ﾊｲ
. ( ｀Д)_(Д´ )
. ノ ノヽ | |>
/ > < ヽ
ﾊｲｯ!!
(｀Д´)_(｀Д´)ノ
ノ ﾉヽ | |
. ﾉ > < ヽ
ﾊｲ!あるある探検隊！
(｀Д´)ﾉ (｀Д´)ノ
<| ﾍ| <| ﾍ|
< <
あるある探検隊！
ヽ(｀Д´)ヽ(｀Д´)
. |,、 |>. |,、 |>
> . >
0013デフォルトの名無しさん
2006/11/07(火) 23:43:04(｀･ω･´) Haskellについて語るスレではござるのか？
.ノ^ yヽ、
ヽ,,ﾉ==l ﾉ
/ l |
"""~""""""~"""~""
0014デフォルトの名無しさん
2006/11/07(火) 23:44:18､ミ川川川川川彡,,
え！？ ミ 彡
l⌒l＿＿＿＿l⌒三 ク .ハ こ 三
∩＿＿＿∩ / 三 マ ス こ 三
/ノ ヽ/ ● ● 三 l ケ は 三
| ● ● i' （_●_,,） U .三 ？ ル .ひ 三
| (_●_) 彡 l U | 三 の ょ 三
ﾐ l Ｕ l u l ヽ,_,,ﾉ 三 ス っ 三
>ヽ,,ﾉ ゝ ,,,;:三 レ と 三
／ /'' c-､ ,,,;;::::三 し .三
（二つ / （ ￣￣彡 て 三
〉 （￣￣''） `--──彡 .ミ
/ ､ >-─'' '川川|l|l |l|川川ﾐ
0015デフォルトの名無しさん
2006/11/07(火) 23:45:05,. ´ ` ` ､
.／ _ _ ＼
/ _ ￣ _ ヽ
/ｲｨｨ,,.,.,.,.,., ￣￣ !
f/ﾉﾉﾉﾉﾉﾉﾉ ヘ.＿_ j jノ__ﾉ
|/////// _ (__ ﾟ_>` __( ﾟ_ｲ
.!|.|i/_^ヽ|＿'＿__r⌒ y' ヽ^)|
!|| fﾆ> :::::: `ー'ﾞ (_`___）ﾉ
ヽ.ﾆ` : ／_ノ/川! / よし・・・・・
__ﾉ ､ / ヾ---'´ ノ
＿_ﾉ ＼l ` ＿＿__,／
＼ ﾉ ﾘ.|`ー--
＼ .//
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
/ , , , , , , __ ＿＿＿` ､
,//////ｨ ヽ.
ﾉﾉﾉﾉﾉﾉﾉl ／＼ , -､ !
///////l ",二ヽ.二_ヽ. l lノ_へﾉ!
//////ﾉ （_jﾘ ﾞT`’ﾉ / (rﾘ`yﾞ
ｿ´,-､＼| -` ー--‐ " ＿_{ ｰ-'｛
| ,f^ソ |＿＿＿_／￣ﾞヾ"´ ＼^ヽ. |
| に( l j ,.. ヽ |.| 俺もハスケる！！
＼` ' j `ー-‐' ｲ_ ` ﾉ'" i
ﾞ‐-' ／,. ‐-､/TTT|| ﾉ
_｝ ／ |----二ニﾌ ノ
人＼ ヽ. ! r'二ヽ / ／
_「 ＼＼ ` ､ ｀￣￣／
＼＼ Ti"
＼＼ ﾉ | |＼
0016デフォルトの名無しさん
2006/11/07(火) 23:46:26＼／ ● ､_ ｀ヽ ======
/ ＼( ● ● |つ
| X_入__ノ ミ 関数言語なんかに釣られ、ク、クマ―――――！！
､ (＿／ ノ /⌒l
/＼＿＿＿ノﾞ＿/ / =====
〈 ＿_ノ ====
＼ ＼＿ ＼
＼＿__） ＼ ====== (´⌒
＼ ＿＿_ ＼＿＿ (´⌒;;(´⌒;;
＼＿＿＿）＿＿＿）(´;;⌒ (´⌒;; ズザザザ
(´⌒; (´⌒;;;
0017デフォルトの名無しさん
2006/11/07(火) 23:49:04------ 以上テンプレ -----
0018デフォルトの名無しさん
2006/11/08(水) 01:20:580019デフォルトの名無しさん
2006/11/08(水) 12:10:070020デフォルトの名無しさん
2006/11/08(水) 20:19:290021デフォルトの名無しさん
2006/11/11(土) 19:17:16あった方がいいんだろうか。
002221
2006/11/11(土) 19:22:16「いっこうにHaskellがはやらないのを鑑みるに」を頭に付け加えてくれ。
0023デフォルトの名無しさん
2006/11/11(土) 22:45:220024デフォルトの名無しさん
2006/11/11(土) 23:08:160025デフォルトの名無しさん
2006/11/12(日) 00:02:530026デフォルトの名無しさん
2006/11/12(日) 00:20:50自然言語で与えられるsemanticsではだめなのか？
それに、その用途に使うならHaskellで定義できないあらゆる関数(foreign importされたものとか)の
semanticsが必要になると思うんだが、それも要求しているの？
0027デフォルトの名無しさん
2006/11/12(日) 00:43:00実用的なスクリプト言語にsemanticsなど不要。
0028デフォルトの名無しさん
2006/11/12(日) 00:55:23http://d.hatena.ne.jp/sumii/20060928/1159403268
0029デフォルトの名無しさん
2006/11/12(日) 10:23:050030デフォルトの名無しさん
2006/11/12(日) 11:19:010031デフォルトの名無しさん
2006/11/12(日) 11:24:07形式的意味論もなにも、コンパイラとランタイムの
キャスト可否の判定が食い違ってるだけじゃん。
コンパイラ作成者がランタイムと違う実装してポカやっただけ。
本来なら A::compareTo(Object o) が呼ばれる。
ちょっとスレ違いですまん。
0032デフォルトの名無しさん
2006/11/12(日) 11:29:200033デフォルトの名無しさん
2006/11/12(日) 11:47:520034デフォルトの名無しさん
2006/11/12(日) 12:00:42違います。
そもそも理想って何ですか？
0035デフォルトの名無しさん
2006/11/12(日) 12:14:070036デフォルトの名無しさん
2006/11/12(日) 12:20:50だからどんなのが理想なんだよ。
何か目的があってこそ理想があるんだろ？
0037デフォルトの名無しさん
2006/11/12(日) 12:26:15手続き型言語と比べて数式(数学者の脳内)に近いだろ？
だから数学者にとって理想的な言語。俺はそれくらいの意味で書いた。
0038デフォルトの名無しさん
2006/11/12(日) 12:31:590039デフォルトの名無しさん
2006/11/12(日) 13:11:46十分に理想主義的だと思うが。
文字列がコードポイントの遅延リストであるのがその一例。
0040デフォルトの名無しさん
2006/11/12(日) 14:13:38マルチバイト文字をリストの１要素として扱えてる？
0041デフォルトの名無しさん
2006/11/12(日) 14:43:59Prelude> Char.ord maxBound
1114111
0042デフォルトの名無しさん
2006/11/12(日) 14:51:05main = print $ "テスト" !! 1
でもいいか。ソースはUTF-8で。
0043デフォルトの名無しさん
2006/11/12(日) 15:20:58㌧。内部はUTF-16(的)なのね。
しかし、どうせならUCS4まで扱ってくれれば良いのに。
あんな「思ってたより多かったのでサロゲート作っちゃいました」
とかほざく連中に合わせる必要ないのに・・・。
0044デフォルトの名無しさん
2006/11/12(日) 15:35:53いや、1114111は0x10ffffで、16ビットの範囲を超えていて、
Unicodeの17面を全部表現できる。
UTF-16よりUTF-32に近いはず。
0045デフォルトの名無しさん
2006/11/12(日) 15:50:10ISO(10646) すげーな、頑張れ。でも2byteで大丈夫か？
Unicodeｺﾝｿ 大丈夫大丈夫
それぞれ仕様を策定することになる。（コードポイントはお互い合わせてる）
Unicodeｺﾝｿ Unicode(未定義含めて全領域は0..0xFFFF)定義しますた。
Unicodeｺﾝｿ 実装は固定長2byte(Unicode,のちのUTF-16である)です。
ISO(10646) UCS定義(未定義含めて全領域は0..0x7FFFFFFF)しますた。
ISO(10646) 実装は可変長(UTF-8)と固定長4byte(UCS-4)です。
少しして
Unicodeｺﾝｿ （やっべ）
Unicodeｺﾝｿ 0xFFFFで足りませんですた。サロゲートペアで拡張しますね。
Unicodeｺﾝｿ UTF-16にサロゲートの仕様を追加しますた。
Unicodeｺﾝｿ それと固定長(4byte)のUTF-32用意しますた。4byteだけど0x10FFFF以上は使うなよ。
Unicodeｺﾝｿ おまけ つ[0x10FFFFまでのUTF-8]
Unicodeｺﾝｿ というわけでよろしく。
ISO(10646) 0x10FFFFまでコードポイントを追加しますた。実装は変わりません。
Unicode対応と言いつつ0xFFFFまでしか扱えないソフトが出てくる ← 今ここ
0046デフォルトの名無しさん
2006/11/12(日) 15:54:180047デフォルトの名無しさん
2006/11/12(日) 16:07:08確かにイメージ的には32の方が近いね。実際どういう実装なのかは知らないけど。
内部表現は100進数だったりして・・・。
0048デフォルトの名無しさん
2006/11/12(日) 18:34:50># p.269 kind の訳語は「類」なのか、「種」なのか？
>
> * ふつけるで使っている「類」は、nobsun の訳を元にしているんだろうけど……
> o 数学辞典を調べて、出てきた用語を使ったような
> + 「類」は "Class" じゃないの？
> * Clean では「種」
> * 型理論の方面では「種」が使われている
> * というわけで、以後は「種」を使うことにしましょう
このスレの住人の意見を聞きたいんだが、kindの訳語として「類」と「種」のどっちを使うべき？
0049デフォルトの名無しさん
2006/11/12(日) 18:59:42類は「似た性質/特徴を持つもの」（哺乳類,など）と個人的に思っている。
で、kindの "* -> *" と "*" の区別とかは
「似た特徴」とも言えるが、それ以上に「根源的な部分」を
表しているような気がするので「種」に1票。
属とか科とか似たのもあるけど気にしない。
0050デフォルトの名無しさん
2006/11/13(月) 00:13:440051デフォルトの名無しさん
2006/11/16(木) 20:28:17Haskellでオセロゲーム講座まだー？
0052デフォルトの名無しさん
2006/11/16(木) 21:02:53ふだんごついのに
数学者のかわいい一面ですね。
厳密さが快感だから悩むのでしょうか？
でも、悩むの楽しいのでしょうね＾＾
0053デフォルトの名無しさん
2006/11/16(木) 21:08:180054デフォルトの名無しさん
2006/11/18(土) 23:17:47i = 1
main = print $ myPlus i
myPlus :: a -> a
myplus j = j + j
これが動かないのはなんで？
0055デフォルトの名無しさん
2006/11/18(土) 23:34:020056デフォルトの名無しさん
2006/11/18(土) 23:37:19+ myPlus
0057デフォルトの名無しさん
2006/11/18(土) 23:38:49+ myPlus :: Num a => a -> a
0058５４
2006/11/19(日) 00:24:59レスサンクス。コンパイル通ったよ。
でもなにこの「Num a => 」って奴は。haskellは簡単なことが難しいって本当だな。
とりあえず調べてみる。ありがと。
0059デフォルトの名無しさん
2006/11/19(日) 03:00:010060デフォルトの名無しさん
2006/11/20(月) 07:04:540061デフォルトの名無しさん
2006/11/20(月) 20:44:20モナドはたくさんあるけど
0062デフォルトの名無しさん
2006/11/20(月) 21:03:220063デフォルトの名無しさん
2006/11/20(月) 21:08:38ネタを出してくれ
0064デフォルトの名無しさん
2006/11/20(月) 21:12:440065デフォルトの名無しさん
2006/11/20(月) 21:25:36http://homepages.inf.ed.ac.uk/wadler/topics/type-classes.html
http://haskell.readscheme.org/lang_sem.html
http://www.cse.unsw.edu.au/~chak/haskell/ghc/comm/
読み終えたら概要を報告すること．それが君の使命．
0066デフォルトの名無しさん
2006/11/20(月) 21:55:44GHCいれることにしたからWinHugsをアンインスコしようとした
そしたらダイアログでて以下のようなメッセージ
↓↓↓
=============================================================================================
C:\PROGRA~1\WinHugs\UNINST~1.EXE
C:\PROGRA~1\Symantec\S32EVNT1.DLL インストール可能なデバイスドライバはDLL初期化に失敗しました。
アプリケーションを終了するには[閉じる]を選んでください。
=============================================================================================
アンインスコ不可能になた
この前NIS2006を根こそぎ削除したのが原因のようなんだけど
こういう場合どうやったら引き続きアンインスコできんの？
0067デフォルトの名無しさん
2006/11/21(火) 00:20:350068デフォルトの名無しさん
2006/11/21(火) 00:25:44read "-123.456" :: Double
006966
2006/11/21(火) 01:19:160070デフォルトの名無しさん
2006/11/21(火) 05:43:13Symantecとか関係なくWinHugsはなぜかアンインストールできない。
なのでさくっとスクリプトを書いてみようと思ったらひどい目にあった。
なんでマルチバイト文字とCharの相互変換もできないんだよ…
ttp://up.uppple.com/src/up0496.txt
FFIを使う羽目になったので、GHCでコンパイルする必要がある。
あと無保証。BIOSが消し飛んでも関知しないから念のため。
■ このスレッドは過去ログ倉庫に格納されています