トップページtech
1001コメント379KB

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

■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん2006/11/07(火) 21:24:26
haskell.org
http://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
>>1
乙カリー
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三三iF
      | 〈,,/ヽ___)|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:03
前スレの998は死ね
0011デフォルトの名無しさん2006/11/07(火) 23:36:56
>>10
     ○ 
     ノ|) 
_| ̄|○ 「L


 ○、
   \、  ○ 
     ヾ \)ヽ
  _| ̄|  <
0012デフォルトの名無しさん2006/11/07(火) 23:39:07
  Haskellはじめて挫折して
  (( (`Д´) (`Д´)
   (/ /) (/ /) ))
   < ̄<  < ̄<

  帰ってこないやつがいる
  (`Д´) (`Д´) ))
 (( (\ \) (\ \) 
    > ̄>  > ̄>

 ハイ!!  ハイ!!  ハイ ハイ
.   ( `Д)_(Д´ )
.   ノ ノヽ |  |>
   /  >   < ヽ

     ハイッ!!
   (`Д´)_(`Д´)ノ
   ノ ノヽ |  |
.   ノ  >  < ヽ

  ハイ!あるある探検隊!
   (`Д´)ノ (`Д´)ノ
   <| ヘ|  <| ヘ|
    <    <

   あるある探検隊!
  ヽ(`Д´)ヽ(`Д´)
.    |,、 |>.  |,、 |>
      >   . >
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 U 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:58
あらいぐまはPascalにくれてやれ也
0019デフォルトの名無しさん2006/11/08(水) 12:10:07
Aranskが復活したの?
0020デフォルトの名無しさん2006/11/08(水) 20:19:29
Aranskだけが馬鹿なわけじゃないと思うよ
0021デフォルトの名無しさん2006/11/11(土) 19:17:16
やっぱりweb上に日本語で読める入門文書の一つくらい
あった方がいいんだろうか。
0022212006/11/11(土) 19:22:16
これだけじゃ意味不明だな。
「いっこうにHaskellがはやらないのを鑑みるに」を頭に付け加えてくれ。
0023デフォルトの名無しさん2006/11/11(土) 22:45:22
formal semanticsが整備されれば利用者も100万人くらい増えるはず。
0024デフォルトの名無しさん2006/11/11(土) 23:08:16
formal semanticsがあると何が嬉しいの?
0025デフォルトの名無しさん2006/11/12(日) 00:02:53
バグに遭遇したとき、プログラムのバグなのか処理系のバグなのかが明確になる
0026デフォルトの名無しさん2006/11/12(日) 00:20:50
>>25
自然言語で与えられるsemanticsではだめなのか?

それに、その用途に使うならHaskellで定義できないあらゆる関数(foreign importされたものとか)の
semanticsが必要になると思うんだが、それも要求しているの?
0027デフォルトの名無しさん2006/11/12(日) 00:43:00
Rubyやperlだって言語仕様 = 実装だしな。
実用的なスクリプト言語にsemanticsなど不要。
0028デフォルトの名無しさん2006/11/12(日) 00:55:23
最近のJavaのGenericsのバグ(?)も形式的意味論があれば防げたかもしれない。
http://d.hatena.ne.jp/sumii/20060928/1159403268
0029デフォルトの名無しさん2006/11/12(日) 10:23:05
形式的意味論なんて絵に描いた餅ですよ
0030デフォルトの名無しさん2006/11/12(日) 11:19:01
Haskellは絵に描いた理想を追う言語ではなかったのか
0031デフォルトの名無しさん2006/11/12(日) 11:24:07
>>28
形式的意味論もなにも、コンパイラとランタイムの
キャスト可否の判定が食い違ってるだけじゃん。

コンパイラ作成者がランタイムと違う実装してポカやっただけ。
本来なら A::compareTo(Object o) が呼ばれる。
ちょっとスレ違いですまん。
0032デフォルトの名無しさん2006/11/12(日) 11:29:20
JAVA言語は危険だというkとが証明されたんだな
0033デフォルトの名無しさん2006/11/12(日) 11:47:52
だな。c++のテンプレートよりかなりシンプルなのにこれだからな。
0034デフォルトの名無しさん2006/11/12(日) 12:00:42
>>30
違います。
そもそも理想って何ですか?
0035デフォルトの名無しさん2006/11/12(日) 12:14:07
数学者の理想じゃね?
0036デフォルトの名無しさん2006/11/12(日) 12:20:50
>>35
だからどんなのが理想なんだよ。
何か目的があってこそ理想があるんだろ?
0037デフォルトの名無しさん2006/11/12(日) 12:26:15
いや俺>>30じゃないからよく分からんし。
手続き型言語と比べて数式(数学者の脳内)に近いだろ?
だから数学者にとって理想的な言語。俺はそれくらいの意味で書いた。
0038デフォルトの名無しさん2006/11/12(日) 12:31:59
Haskellはもう理想を失った・・・
0039デフォルトの名無しさん2006/11/12(日) 13:11:46
実行時効率を犠牲にして言語を単純化しようとしているという点では
十分に理想主義的だと思うが。
文字列がコードポイントの遅延リストであるのがその一例。
0040デフォルトの名無しさん2006/11/12(日) 14:13:38
ただのバイトのリストじゃない?
マルチバイト文字をリストの1要素として扱えてる?
■ このスレッドは過去ログ倉庫に格納されています