- 1 名前：デフォルトの名無しさん [2015/04/09(木) 08:31:01.42 ID:4yjREsCN.net]
- 関数型プログラミング言語 Haskell について語るスレです。
,.-―:￣｀ー::::::::::､
／::::::::::::.::::::::::::::::::::::::::::｀::､､
/::::::::::::::::::::::::::::::::::::::::::::::::::::::｀､
ｌ::::::::::::::::::::::::::::::::::::::::;':l:::::::::::＼::l
l:::::::::::::::::::::::::::::::::,,::::::::;-,:,::::::::::::::::l
l::::::::::::::::,＿,.::::,';::::::;:::::: :: l ::::::::::::::l
l::::::::::／-/:::/-ニ,.::::／=,.／::::::::::l
ヽ:::: ´､ひ> ;: l .<ひ>' ､::::::::/
ヽ::::: ￣ .)::; l ￣ ｌ::::/ ＜ 毛の壁（岡部健）の話は禁止な
､:::::.. /:::; .,-､ l:::/、
,―:::::::: ゝヽ- ｰ' ､ l::/,､ヽ
l,､,､,,:､:: / ,--､,-.､_ l /::::::,､,､l
ｌ,､,､,､,､,､::､ ｀ー￣-' /:::::::::::,､,､l
ｌ,､,､,､,､,､,､::ヽ ／::::::::､,､,､,､,ﾉ:＼
haskell.org (公式サイト)
www.haskell.org/
前スレ
関数型プログラミング言語Haskell Part27
peace.2ch.net/test/read.cgi/tech/1420718555/
- 913 名前：デフォルトの名無しさん mailto:sage [2015/07/08(水) 23:02:56.60 ID:zrPw7vNx.net]
- ここまでを簡単に解説すると、ハスケラはシッタカブラー。
- 914 名前：デフォルトの名無しさん mailto:sage [2015/07/08(水) 23:32:53.31 ID:oVqSZ92L.net]
- >>899
ほらよ。
int foo(char *, int);
int bar(char *a, int b)
{
return foo(a + 10, b - 10);
}
_bar PROC ; COMDAT
mov eax, DWORD PTR _b$[esp-4]
add eax, -10 ; fffffff6H
mov DWORD PTR _b$[esp-4], eax
add DWORD PTR _a$[esp-4], 10 ; 0000000aH
jmp _foo
- 915 名前：899 mailto:sage [2015/07/09(木) 05:48:11.05 ID:KPxfvpRW.net]
- >>903 おお！ 「引数が全く同じ」って、値じゃなくて、数や型が同じってことね。サンクス。
逆に、なんで引数の数や型が同じじゃないといけないの？ スタックポインタの調整が面倒だから？
- 916 名前：899 mailto:sage [2015/07/09(木) 05:57:34.42 ID:KPxfvpRW.net]
- いつのまにかGCCも末尾再帰じゃない末尾呼び出し最適化もやってた。引数の数や型が違っても。
Cでも需要があるのかな。
extern int foo(int);
int bar(char *a)
{
return foo(10);
}
bar:
.LFB0:
.cfi_startproc
movl $10, %edi
jmp foo
.cfi_endproc
- 917 名前：899 mailto:sage [2015/07/09(木) 06:13:19.89 ID:KPxfvpRW.net]
- www.drdobbs.com/tackling-c-tail-calls/184401756
にGCCがTCOする条件が解説されてた。Cだとややこしいけど需要はあるらしい。
連投＆スレ違い失礼しますた。
- 918 名前：デフォルトの名無しさん mailto:sage [2015/07/09(木) 06:35:27.16 ID:OEKsJpEx.net]
- >>904
>「引数が全く同じ」って、値じゃなくて、数や型が同じってことね。サンクス。
再帰で値が同じならそれは無限再帰と呼ばれる。
>逆に、なんで引数の数や型が同じじゃないといけないの？ スタックポインタの調整が面倒だから？
引数の個数はcalleeではわからないから、面倒ではなく、出来ない。
- 919 名前：デフォルトの名無しさん mailto:sage [2015/07/09(木) 08:19:53.49 ID:e+1UNYHr.net]
- >>907
＞再帰で値が同じならそれは無限再帰と呼ばれる。
Cだと副作用でメモリの中身が変わってるかもしれない
＞引数の個数はcalleeではわからないから、面倒ではなく、出来ない。
Cだと同じ関数の型の見え方がcallerとcalleeで違ったりするからね。
>>906みたく条件緩和できるがなかなかややこしい
- 920 名前：デフォルトの名無しさん mailto:sage [2015/07/09(木) 09:12:59.14 ID:LXpNU/xq.net]
- >>901
VSの色んな機能を使えるなら欲しいけど、vimやemacsのプラグインと同じ事しか出来ないならいらん
- 921 名前：デフォルトの名無しさん mailto:sage [2015/07/09(木) 10:48:24.29 ID:h1Dw9jX8.net]
- デバッガ観点で言うと末尾呼び出しの最適化されると
バックトレースが不正確になるのでやっかい
大規模な開発ではあえて無効にされることもあるよ
- 922 名前：デフォルトの名無しさん mailto:sage [2015/07/09(木) 10:56:32.05 ID:sAbBvj66.net]
- >>909
使えないの・・・？(´・ω・`)
詳細しらないけどきっと使えるんじゃね？
VSのデバッガ使いたい
- 923 名前：デフォルトの名無しさん [2015/07/10(金) 07:10:09.65 ID:0h1M+LeE.net]
- CSS使えない奴よりマシ
- 924 名前：デフォルトの名無しさん mailto:sage [2015/07/10(金) 10:31:36.54 ID:j3g7NrlE.net]
- (A -> R) -> R は継続モナドになるわけだが、
R -> A や A -> R もモナドにできるの？
- 925 名前：デフォルトの名無しさん mailto:sage [2015/07/10(金) 11:04:46.48 ID:XOUMSF+T.net]
- CSSいらない
>>913
m (r -> a)
m (a -> r)
モナドにしたったで
- 926 名前：デフォルトの名無しさん mailto:sage [2015/07/10(金) 12:28:35.80 ID:j3g7NrlE.net]
- >>914
returnと>>=はそれぞれどうなるの？
- 927 名前：デフォルトの名無しさん [2015/07/10(金) 13:29:21.43 ID:NSmmAGhS.net]
- >>915
つうか
(-> R A)と(-> A R)で普通に関数モナドな。
return = const
(>>=) f g = ¥x -> g ( f x ) x
- 928 名前：デフォルトの名無しさん mailto:sage [2015/07/10(金) 13:50:04.51 ID:j3g7NrlE.net]
- (-> R A)はそれで分かったが、
(-> A R)のreturnと>>=は？
- 929 名前：デフォルトの名無しさん [2015/07/10(金) 16:23:11.40 ID:NSmmAGhS.net]
- >>917
>(-> R A)はそれで分かったが、
>(-> A R)のreturnと>>=は？
あたま大丈夫？
- 930 名前：デフォルトの名無しさん mailto:sage [2015/07/10(金) 18:30:43.38 ID:j3g7NrlE.net]
- は？
- 931 名前：デフォルトの名無しさん mailto:sage [2015/07/10(金) 19:04:13.42 ID:l6c5ofse.net]
- たしかにあたま大丈夫じゃないリスクはゼロではないが、自動車より安全だ
そして、自動車より安全と発言した人間が狂っていると断言できる者はあまり多くない
- 932 名前：デフォルトの名無しさん mailto:sage [2015/07/10(金) 23:42:39.10 ID:ucCSbhAH.net]
- >> 919
Rが具体的な型で、Aがなんでもいい型、って言いたいわけだね。
(A -> R) はモナドにならないよ。というか、Functor(共変関手)にならない。
代わりにContravariant(反変関手)になる。
newtype Op a b = Op { getOp :: b -> a }
instance Contravariant (Op a) where
contramap f g = Op (getOp g . f)
(以上contravariantパッケージより)
共変関手にならない理由は、このサイトがわかりやすい。
kinokkory.hatenablog.com/entry/20131203/p1
- 933 名前：デフォルトの名無しさん mailto:sage [2015/07/11(土) 09:25:20.24 ID:6sFnysGr.net]
- >>921
ありがと。
M(A)がモナドになる条件を簡単に言えるのかな？
- 934 名前：デフォルトの名無しさん mailto:sage [2015/07/11(土) 09:30:00.73 ID:S9PAD2xf.net]
- Emacs使いはflycheckが便利そう
https://github.com/flycheck/flycheck
既出ならスマソ
- 935 名前：デフォルトの名無しさん mailto:sage [2015/07/11(土) 09:42:11.42 ID:Yc/lws0v.net]
- Cloud Haskellというものを知ったのですが
こういったノード間通信ライブラリを使ってる方がいたら
バリエーションや感触を教えてもらえないでしょうか
もしくはベタに書いたほうがいいでしょうか
- 936 名前：デフォルトの名無しさん mailto:sage [2015/07/11(土) 11:24:25.49 ID:aYDDmLdu.net]
- 単体のライブラリの質は人気に比例する気がする
でもフレームワークや統合環境は質より量でごまかせるから人気はどうでもいい
- 937 名前：922 mailto:sage [2015/07/11(土) 13:00:32.09 ID:6sFnysGr.net]
- >>921
教えてもらったサイトの「正の位置・負の位置」で解決しました
- 938 名前：デフォルトの名無しさん [2015/07/11(土) 15:05:57.90 ID:8xsgKabx.net]
- 岡部健の新作が来たゾ〜
- 939 名前：デフォルトの名無しさん mailto:sage [2015/07/11(土) 15:12:01.82 ID:V/wpM/3h.net]
- あの人はなんでブログの記事まで作って個人に対して反論してるんだろうね
反論記事って言い合いを面白がってみてる人以外には何の得もない気がするんだけどなあ
- 940 名前：デフォルトの名無しさん [2015/07/11(土) 16:20:10.41 ID:obYDcaZK.net]
- Haskellは仕事で使える？
使えるとどうなる？教えて
- 941 名前：デフォルトの名無しさん mailto:sage [2015/07/11(土) 16:44:05.06 ID:aYDDmLdu.net]
- もし仕事で使えると、無料で色々教えるのが勿体無くなる
- 942 名前：デフォルトの名無しさん [2015/07/11(土) 16:46:52.16 ID:obYDcaZK.net]
- どういう時に使う？教えて詳しく
- 943 名前：デフォルトの名無しさん mailto:sage [2015/07/11(土) 20:42:56.70 ID:/RrsVJlS.net]
- そりゃ自分のタスクを自動化するのに使うんだろと
- 944 名前：デフォルトの名無しさん mailto:sage [2015/07/11(土) 22:25:31.98 ID:6sFnysGr.net]
- >>921
やっぱり自分はアホだった。全然分かっていなかった。
ファンクターにはなるがモナドにはならないものがあるはずだが、
その例が作れん
- 945 名前：デフォルトの名無しさん mailto:sage [2015/07/12(日) 00:46:11.12 ID:KOjB2nQF.net]
- x^n+y^m=z^r 解は存在するか.だれも解けないといわれたビール予想
解けた方だけどうぞ
ttp://blog.livedoor.jp/superprojectx/archives/1030198512.html
- 946 名前：デフォルトの名無しさん mailto:sage [2015/07/12(日) 0
]
- [ここ壊れてます]
- 947 名前：z0K.net mailto: HaskellのガベコレシステムってJavaのそれよりかなりショボいらしいじゃん []
- [ここ壊れてます]
- 948 名前：デフォルトの名無しさん mailto:sage [2015/07/12(日) 06:13:49.33 ID:/rMkRh/q.net]
- Haskell処理系のGCよく知らないけど、moving GCでも良いし
破壊的代入がなければwrite barrierもいらないから
Haskellのほうが簡単というだけじゃなくて？＞ガベコレ
Javaは旧SunやIBMががんばった結果、細かい最適化はされてるだろうけど。
- 949 名前：デフォルトの名無しさん mailto:sage [2015/07/12(日) 08:26:42.75 ID:zJqA9jr9.net]
- 科学的根拠もなくただショボいという意見は参考にならない
もうJavaは無視してC++のようにGCショボいけど速いやつを参考にしよう
- 950 名前：デフォルトの名無しさん [2015/07/12(日) 11:00:37.13 ID:AGKmbBWc.net]
- C++はGCショボいというよりない。。
ということでrustやろうぜ！
- 951 名前：デフォルトの名無しさん mailto:sage [2015/07/12(日) 11:10:50.31 ID:s7w6GHZY.net]
- RustもGCないじゃん
- 952 名前：デフォルトの名無しさん [2015/07/12(日) 11:44:20.38 ID:fsP2XOSV.net]
- >>939
RCあるぞ。
- 953 名前：デフォルトの名無しさん [2015/07/12(日) 12:48:25.98 ID:KGquBeD3.net]
- Haskellでどんな作業を効率化できますか？
一例を教えて下さい
- 954 名前：デフォルトの名無しさん [2015/07/12(日) 12:52:34.01 ID:fsP2XOSV.net]
- 型のついた構文木の操作
- 955 名前：デフォルトの名無しさん [2015/07/12(日) 13:07:29.47 ID:KGquBeD3.net]
- お前らがこんなことやってるより
ストリーミングサイト作ったCavetube管理人のほうがすごいんだよなぁ
- 956 名前：デフォルトの名無しさん mailto:sage [2015/07/12(日) 13:26:20.29 ID:kel+atw2.net]
- 誰々より誰々が凄いとかどーでもいいじゃん。
そんなの気にするより、そいつらのソース参考にするとかして
Haskell を楽しんだ方が何倍も有意義だよ。
- 957 名前：デフォルトの名無しさん [2015/07/12(日) 13:33:21.56 ID:rAeLMId1.net]
- >>938
GCサポートは付いてるけどな。
RAIIで設計するとGCは遅くなるだけであまり意味ないから誰も使わないな。
- 958 名前：デフォルトの名無しさん [2015/07/12(日) 15:30:30.95 ID:ryFHmMNk.net]
- Cavetubeってなんですか
- 959 名前：デフォルトの名無しさん mailto:sage [2015/07/12(日) 20:10:37.89 ID:abu6RaU0.net]
- 宣伝だろ
- 960 名前：デフォルトの名無しさん mailto:sage [2015/07/12(日) 20:16:28.54 ID:bkprvq+c.net]
- Darcsはなぜgitに敗れたのか
- 961 名前：デフォルトの名無しさん mailto:sage [2015/07/12(日) 21:16:22.96 ID:uwDfGRH4.net]
- HaskellはC言語で作ったライブラリをラップしてばかりだから、そもそもC言語製品に勝てるはずがなかった
- 962 名前：デフォルトの名無しさん [2015/07/12(日) 21:17:29.74 ID:fsP2XOSV.net]
- それは普通に正しい使い方なんだが。
最初からCと競合するような言語じゃない。
- 963 名前：デフォルトの名無しさん mailto:sage [2015/07/12(日) 22:05:39.58 ID:zJqA9jr9.net]
- Cと競合しないならバイトコードインタプリタで十分
コンパイラのゴリ押しが良くない
- 964 名前：デフォルトの名無しさん mailto:sage [2015/07/12(日) 22:06:55.79 ID:x1Gu8TTq.net]
- 既存の大量にあるCライブラリを利用しやすいかは大事なポイント
- 965 名前：デフォルトの名無しさん [2015/07/12(日) 22:18:58.68 ID:fsP2XOSV.net]
- >>951
>Cと競合しないならバイトコードインタプリタで十分
>コンパイラのゴリ押しが良くない
意味がわからん。
LLVMコードを出力するのとコンパイラとの境界ってなによ
- 966 名前：デフォルトの名無しさん mailto:sage [2015/07/12(日) 22:24:58.59 ID:s7w6GHZY.net]
- >>940
RCをGCというならC++にもGCあるだろ
- 967 名前：デフォルトの名無しさん mailto:sage [2015/07/12(日) 22:42:25.31 ID:bkprvq+c.net]
- JavaとかCは、明らかに駄目な応用先でも上の意向等で使わざる得ないことあるけどHaskell とかlispはそういうこと滅多にないでしょ
- 968 名前：デフォルトの名無しさん [2015/07/12(日) 22:43:02.61 ID:fsP2XOSV.net]
- >>954
その理解で何の問題もないと思うが。
RCがGCの主要実装方法のひとつだという点まで争いたいの？
- 969 名前：デフォルトの名無しさん mailto:sage [2015/07/12(日) 22:47:38.71 ID:7yEOwALs.net]
- 明確な目的や条件を設定せずに
やたら言語の優劣をつけたがる奴は
まともな開発経験も知識も能力もない
アホだと断定していいだろ。
- 970 名前：デフォルトの名無しさん mailto:sage [2015/07/12(日) 23:08:59.10 ID:bkprvq+c.net]
- JavaやCとHaskell の単純な比較はできない
- 971 名前：デフォルトの名無しさん mailto:sage [2015/07/12(日) 23:48:11.69 ID:s7w6GHZY.net]
- >>956
>>938 がC++はGCないからRustやろうぜとか言ってたんですよ
- 972 名前：デフォルトの名無しさん mailto:sage [2015/07/12(日) 23:48:45.86 ID:zJqA9jr9.net]
- >>953
バイトコードを外部に出力する機能があったら仕様変更の影響が外部に伝播するから
その機能が無くても十分なら無い方が良いってこと
- 973 名前：デフォルトの名無しさん [2015/07/12(日) 23:53:56.51 ID:fsP2XOSV.net]
- >>959
なるほど。
Rustのリージョナルポインタによるメモリ管理を
GCと間違えたんだろうな。
- 974 名前：デフォルトの名無しさん [2015/07/13(月) 00:22:31.58 ID:FwNm1COs.net]
- Java ビジネス
Ｃ 組み込み
こういう風になっています。
富豪プログラミングが出来る所でCを使う必要性はあまり無い。
- 975 名前：デフォルトの名無しさん [2015/07/13(月) 00:58:02.40 ID:QeuWC4Dg.net]
- >>961
いやrustにGCがないのは知ってる
- 976 名前：デフォルトの名無しさん mailto:sage [2015/07/13(月) 02:59:06.50 ID:6i7dJOia.net]
- Rustなんて放り投げてATSやろうぜ！
- 977 名前：デフォルトの名無しさん [2015/07/13(月) 07:50:41.60 ID:Ml9NNXKo.net]
- >>963
だからRCあるだろうが！
- 978 名前：デフォルトの名無しさん [2015/07/13(月) 08:16:40.56 ID:5ZThykAi.net]
- 毛はキータで相変わらず行間が読めないから、
RSSじゃなくて毛自身がコメ書いてる事を自分でバラす事になるんだな（笑）
- 979 名前：デフォルトの名無しさん mailto:sage [2015/07/13(月) 10:09:26.25 ID:gqfr1aBw.net]
- Haskell流行って長いけどなんか実用になるような成果でた？
- 980 名前：デフォルトの名無しさん mailto:sage [2015/07/13(月) 10:57:00.94 ID:cCxFevQ1.net]
- 型のついてない成果を型のついた成果に翻訳できる
右から左に流すだけの虚業のように見えるのは仕方ない
- 981 名前：デフォルトの名無しさん [2015/07/13(月) 11:18:47.64 ID:Ml9NNXKo.net]
- 普段から業務に使ってる人間からすると意味不明な問いだ。
- 982 名前：デフォルトの名無しさん mailto:sage [2015/07/13(月) 11:35:14.43 ID:UsYUluT9.net]
- 「プログラム」の何たるかを
丸っきり分かってない一部のバカにとっては、
「一般ユーザが利用可能なパッケージソフト」だけが
「実用的な成果物」なんだろ。
- 983 名前：デフォルトの名無しさん mailto:sage [2015/07/13(月) 12:24:32.84 ID:O7974LG1.net]
- Haskell がパッケージソフトの作成に向いていないのは何故？
- 984 名前：デフォルトの名無しさん mailto:sage [2015/07/13(月) 13:38:57.82 ID:tAtIl5MT.net]
- Javaなんて何のメリットもないのに使わざる得ない時があるのが謎
- 985 名前：デフォルトの名無しさん mailto:sage [2015/07/13(月) 13:40:49.84 ID:cCxFevQ1.net]
- exeの作成は問題ないがdllの作成に向いているのはCしかない
C++でさえdllの作成に向いていない
- 986 名前：デフォルトの名無しさん mailto:sage [2015/07/13(月) 15:07:15.86 ID:6ctAAsGS.net]
- エンタープライズ系のアプリケーションでは最適解のひとつだから
仕方がない。
>>962 のとおり。
- 987 名前：デフォルトの名無しさん mailto:sage [2015/07/13(月) 18:30:29.23 ID:htwOfG4r.net]
- C は実用というよりは、もう教養の部類だからね‥
C がわからないようでは、そいつの言うことは信用できない
builder.japan.zdnet.com/script/sp_c-programming-language/20370255/
- 988 名前：デフォルトの名無しさん mailto:sage [2015/07/13(月) 19:05:07.18 ID:xmoiVj3U.net]
- >>538
特定言語を知らん事を根拠にした
レッテリングにはあんまり賛同できないな。
- 989 名前：デフォルトの名無しさん mailto:sage [2015/07/13(月) 19:27:16.94 ID:9wI4712X.net]
- windows7でhaskellplatform使ってるんですが、
Data.HashTableが入ってないようなので
cabal install hashtablesして、成功したのですが
未だにimport Data.HashTableで失敗します。
何がいけないのでしょうか？
- 990 名前：デフォルトの名無しさん [2015/07/13(月) 19:50:15.17 ID:Ml9NNXKo.net]
- >>977
>Data.HashTable
Data.HashTableならbaseパッケージに入ってるんで、
hashtables要らないよ。
hashtables使うならData.HashTable.ST.Basicとか
Data.HashTable.ST.Cuckooをimportしないと。
多分どこかでなんか勘違いしてると思う。
- 991 名前：デフォルトの名無しさん [2015/07/13(月) 19:56:02.53 ID:Ml9NNXKo.net]
- って、base-4.8からData.Hashtableなくなったのか〜
hashtables入れて import Data.HashTabl.IO でいいんじゃないかな。
- 992 名前：デフォルトの名無しさん mailto:sage [2015/07/13(月) 20:11:29.72 ID:Ml9NNXKo.net]
- いちおうミニマルなサンプル
{-# LANGUAGE ScopedTypeVariables #-}
module Main where
import Data.HashTable.IO as H
type HashTable k v = H.CuckooHashTable k v
main = do
(h::HashTable Int String) <- fromList [(1,"tata"),(2,"titi"),(3,"toto")]
insert h 4 "tete"
l <- toList h
print l
- 993 名前：デフォルトの名無しさん mailto:sage [2015/07/13(月) 21:15:03.79 ID:6helnrAX.net]
- ありがとうございます！
動作確認まだ出来てませんが、何とか先に進めそうです！
- 994 名前：デフォルトの名無しさん [2015/07/14(火) 14:33:35.00 ID:d1S9qbgP.net]
- reduce関数やrange関数やmap関数は、命令型のループでしか書けないことをわかってな奴が居るな。
ノイマン型コンピュータというハードウェアは究極的には命令型でしか動作しない。
関数型の機械語なんて存在しない。
ここ、重要ね。反論はないと思うけど
- 995 名前：デフォルトの名無しさん mailto:sage [2015/07/14(火) 14:35:07.84 ID:Bu3+R9wf.net]
- >>982
だからなに？
- 996 名前：デフォルトの名無しさん [2015/07/14(火) 15:11:21.95 ID:GNUjvMWE.net]
- 言ってみたかっただけ
- 997 名前：デフォルトの名無しさん mailto:sage [2015/07/14(火) 15:22:11.58 ID:RRB/2bWF.net]
- >>982
関数型プログラマならBackusのCan programming be liberated from the von Neumann style?くらい読んでるわよ！
バカにしないでくれる！？
- 998 名前：デフォルトの名無しさん [2015/07/14(火) 15:26:34.91 ID:lfdsryMV.net]
- 極限まで高めた並列性が最高性能を引き出す・・・Haskellで書かれたプログラミンは・・神！
一万を超えるメニーコアが・・・Haskellは・・・神！
などと宣伝しすぎたから言われるんじゃないの。
結局速くなってないし。
- 999 名前：デフォルトの名無しさん mailto:sage [2015/07/14(火) 15:57:28.35 ID:krmtTpmZ.net]
- 宣伝には金がかかる
その金を汚いと思うかどうかは自由だが少なくとも金をかけてないやつは潔白だろ
関係ないやつを巻き込むなよ
- 1000 名前：デフォルトの名無しさん [2015/07/14(火) 16:16:14.81 ID:lfdsryMV.net]
- 速くなってない・・・騙された・・・Haskell死ね！
と思う人がいても不思議じゃないだろ。
宣伝しすぎたんだよ。
- 1001 名前：デフォルトの名無しさん mailto:sage [2015/07/14(火) 16:18:10.13 ID:Bu3+R9wf.net]
- そんなに宣伝されてたの？
- 1002 名前：デフォルトの名無しさん [2015/07/14(火) 16:44:47.28 ID:lfdsryMV.net]
- そうだねえ。
チラシお断りと貼ってあるのに、ドンドン入れていく感じだね。
Haskellの宣伝がひどいので、コメント欄を無くしたブログも多かったんだよ。
そこまで宣伝したのに、宣伝されたことが全然実現されていないからね。
宣伝では5億並列で一ナノ秒以下を実現とか平気で言ってたからね。
もともと無理だったんだよ。
- 1003 名前：デフォルトの名無しさん mailto:sage [2015/07/14(火) 17:50:31.44 ID:Bu3+R9wf.net]
- >>990
どこの世界のお話ですか？ 君の中の平行世界？
- 1004 名前：デフォルトの名無しさん mailto:sage [2015/07/14(火) 18:47:54.12 ID:JhU5Z9W0.net]
- >>982
>reduce関数やrange関数やmap関数は、命令型のループでしか書けないことをわかってな奴が居るな。
>ノイマン型コンピュータというハードウェアは究極的には命令型でしか動作しない。
>関数型の機械語なんて存在しない。
>ここ、重要ね。反論はないと思うけど
データフローマシンのような非ノイマン型アーキテクチャとか長年試作されてきたし
最近もReduceronはじめFPGAでグラフ書換プロセッサが実装されてるわけだが、
なにを根拠に「存在しない」とか言ってるのこのひとは？
- 1005 名前：デフォルトの名無しさん [2015/07/14(火) 19:33:26.76 ID:X8vX3uS6.net]
- 次スレ
peace.2ch.net/test/read.cgi/tech/1436869629/
- 1006 名前：デフォルトの名無しさん mailto:sageteoff [2015/07/14(火) 19:48:07.17 ID:V8pOZFXs.net]
- 次スレは当スレの約17時間後に立った下記重複スレを、実質Part29として活用しましょう。
当スレのレス数が1000になるまでは当スレを、それ以後は下記スレをご利用ください。
>>993のスレは(残っていれば)実質Part30として使います。
(実質Part29)
関数型プログラミング言語Haskell Part28 [転載禁止](c)2ch.net
peace.2ch.net/test/read.cgi/tech/1428597032/
- 1007 名前：デフォルトの名無しさん mailto:sage [2015/07/14(火) 20:33:29.57 ID:9t3W2eIV.net]
- HaskellとErlangの並列性能のベンチマークあったけどボロ負けでしたよ
https://github.com/worksap-ate/demo/blob/master/Cloud-Haskell.md
- 1008 名前：デフォルトの名無しさん mailto:sage [2015/07/15(水) 00:18:57.00 ID:jeRkgPlX.net]
- 趣味でしか触ってなくて、python をやってから haskell に来たのでそれはもう僕からしたら haskell は素敵に速いのです
- 1009 名前：デフォルトの名無しさん mailto:sage [2015/07/15(水) 00:51:31.43 ID:HWtOn7Kk.net]
- オブジェクト指向
アクターモデル
インターネット
圏論
集合論
非ノイマン型はどれですか？
全部ですか？
- 1010 名前：デフォルトの名無しさん mailto:sage [2015/07/15(水) 01:10:17.43 ID:x7KlsBjr.net]
- >>997
そもそもそれらのどこにコンピュータ・アーキテクチャが
含まれているのか教えてくれ。
- 1011 名前：デフォルトの名無しさん mailto:sage [2015/07/15(水) 04:12:42.40 ID:WlnCwIoX.net]
- いまだ役たたず
- 1012 名前：デフォルトの名無しさん mailto:sage [2015/07/15(水) 04:18:56.45 ID:meQVGR7r.net]
- >>1000
- 1013 名前：１００１ [Over 1000 Thread.net]
- このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
|
 |
