- 1 名前：デフォルトの名無しさん [2012/03/16(金) 21:54:23.92 ]
- haskell.org
ttp://www.haskell.org/
日本語サイト
ttp://www.sampou.org/cgi-bin/haskell.cgi
ttp://www.shido.info/hs/
過去ログ
関数型プログラミング言語Haskell
Part1 ttp://pc.2ch.net/tech/kako/996/996131288.html
Part2 ttp://pc2.2ch.net/test/read.cgi/tech/1013846140/
Part3 ttp://pc8.2ch.net/test/read.cgi/tech/1076418993/
Part4 ttp://pc8.2ch.net/test/read.cgi/tech/1140717775/
Part5 ttp://pc8.2ch.net/test/read.cgi/tech/1149263630/
Part6 ttp://pc11.2ch.net/test/read.cgi/tech/1162902266/
Part7 ttp://pc11.2ch.net/test/read.cgi/tech/1174211797/
Part8 ttp://pc11.2ch.net/test/read.cgi/tech/1193743693/
Part9 ttp://pc11.2ch.net/test/read.cgi/tech/1211010089/
Part10 ttp://pc12.2ch.net/test/read.cgi/tech/1231861873/
Part11 ttp://pc12.2ch.net/test/read.cgi/tech/1252382593/
Part12 ttp://hibari.2ch.net/test/read.cgi/tech/1272536128/
Part13 ttp://hibari.2ch.net/test/read.cgi/tech/1286706874/
Part14 ttp://hibari.2ch.net/test/read.cgi/tech/1299385928/
Part15 ttp://hibari.2ch.net/test/read.cgi/tech/1310199414/
Part16 ttp://toro.2ch.net/test/read.cgi/tech/1317958045/
Part17 ttp://toro.2ch.net/test/read.cgi/tech/1325510368/
- 77 名前：デフォルトの名無しさん mailto:sage [2012/03/28(水) 23:03:43.68 ]
- Control.Exception に bracket 関数があるけど、
これって第1引数のアクション（イニシャライザ）で例外が発生しても、
第2引数のアクション（ファイナライザ）は実行さないよね
bracket 関数と同じ形で、
イニシャライザで例外が発生してもファイナライザが実行される関数は
標準ライブラリで用意されてるの？
それとも自作する必要がある？
同じ形というのは、イニシャライザの戻り値が
ファイナライザやコンピュテーションの引数として利用できるという意味
- 78 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/03/29(木) 08:51:07.11 ]
- 初期化が終わってないのにファイナライズとな…？
- 79 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/03/29(木) 12:38:05.02 ]
- >>78
あぁそうか
言われてみれば設計がおかしいな・・・
見直してみるよ
ありがと
- 80 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/01(日) 18:39:21.66 ]
- yesodの中の人がcabalの代わりのcabalaって記事出してたけど、
あれエープリルフールなんか？
- 81 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/01(日) 18:52:29.02 ]
- cabal は実際に改善点が少なくないわけで、
エープリルフールならもっと分かりやすいネタにして欲しいもんだ
- 82 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/01(日) 19:15:16.28 ]
- yesodくらいは、もうはじめからHaskellプラットフォームに入れておいてほしい
- 83 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/01(日) 20:55:29.57 ]
- >>82
なんで？
- 84 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/01(日) 21:07:15.70 ]
- >>83
スタンドアロン環境で使いたいから
- 85 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/01(日) 21:11:00.55 ]
- yesodにcabalaでゆだやんってよく分かるんだけど、宗教色が強いのは
ちょと苦手かも。CLISPも同じなんだがな。
- 86 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/01(日) 21:30:33.12 ]
- >>84
なんだよ、それなら Haskell Platform に hmatrix 入れろよとか、
yamapa 入れろよとか、wx や gtk2hs 入れろよとか、iteratee 入れろよとか
そういう単なる「〜だったらいいなぁ」というチラ裏と変わらんじゃん
いや、べつにそういうのがダメとは言わないけど、
もう少し Haskell 全体を考えたり、
もう少し本質的なことから論理的に導き出した要望かと思って期待してた
- 87 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/01(日) 21:32:41.92 ]
- そう言えば、久々に yampa がバージョンアップしたな
- 88 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/02(月) 05:31:58.67 ]
- >>87
ホントだ。
でもAnimasの改良取り入れただけかな？
コメントは書いてんのに、ドキュメントのスカスカっぷりは相変わらずゆがみねぇな…。
- 89 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/02(月) 12:45:15.77 ]
- >>86
「Haskell 全体を考えたいなぁ」もチラ裏と変わらない
- 90 名前：営利利用に関するLR審議中＠詳細は自治スレへ [2012/04/02(月) 18:36:33.86 ]
- プログラミングHaskell とかゆー本買って来たぜ
今夜から枕の下に敷いて勉強する
これで漏れも立派なハスケラーだ
- 91 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/03(火) 01:13:37.94 ]
- 「プログラミングHaskell」って教科書としては優れてるとおもうけれど、
自習書としてはどうなんだろう。
新しい構文とかがけっこう説明なしにでてくるよね。
まあ文法は別の本で見ればいいのか。
あと8章が……
- 92 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/03(火) 06:28:43.11 ]
- >>91
パーサーは難しいけど、モナドと同じで動かしてみないと、どういう働きか実感できない所があるな
ふつケルでも結局Wiki作る時に書かされるから、この本だけの特別ではない
（初心者置いてきぼりにしないように頑張ってる分だけプログラミングHaskellの方が親切ではある)
- 93 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/03(火) 18:52:31.15 ]
- HaskellWikiを流し読みしてると色々面白そうなプロジェクトを見つけるのだけれど、
ほとんど開発が止まっているように見えるのは何故だろう
- 94 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/03(火) 18:58:32.29 ]
- 他の言語と違って研究の類いも含まれてるからね。
大学の研究ならほとんどが死んでいるプロジェクトで当然。
卒業したら放置なものが多いから。
これには悪い面もあるが、常に新しい風が吹き込む理由にもなってる。
そういうことも理解して使いこなしたほうがよい。
HaskellWikiも単なる道具に過ぎないのだから。
- 95 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/04(水) 08:26:36.31 ]
- そのまま枯れたものとして扱っていいものもあると思うよ。
常に更新されている方がいいとも限らないのでね。
依存関係でおかしくなってるものを放置されてると困るけどね。
- 96 名前：営利利用に関するLR審議中＠詳細は自治スレへ [2012/04/05(木) 22:47:55.68 ]
- みんなHaskellに飽きたんだよ
- 97 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/06(金) 23:06:06.65 ]
- ghc7.2から[リスト内包表記]をモナドにも使えるようになったんだね
有用な使い道を教えてくれ
- 98 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/07(土) 07:53:10.20 ]
- 対角版リストモナドなんかも内包表記で書ける、とか
- 99 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/07(土) 08:50:43.42 ]
- 論理プログラミングDSLを自作モナドで簡単にかくためのもの
- 100 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/08(日) 15:11:00.50 ]
- cabal の executable-profiling オプションって何に使うの？
- 101 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/08(日) 15:50:48.11 ]
- cabal で何かパッケージをインストールすると gcc.exe が起動するけど、
インストール処理が終わった後も gcc.exe のプロセスが消えない
これって、正常じゃないよね
- 102 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/08(日) 16:32:35.76 ]
- >>101
どうも、インストール処理の途中で強制終了させた場合に、
ghc.exe のプロセスは消えるけど gcc.exe のプロセスが残るみたいだ
理由はよく分かんないけど、まぁいいや
スレ汚してすまん、気にしないことにして自己解決した
- 103 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/08(日) 22:45:37.91 ]
- gtk パッケージにある Graphics.UI.Gtk.Abstract.Widget.onExpose とかの関数って、
Deprecated のカテゴリに分類されてるんだけど、これって非推奨なんだよね
再描画要求のイベントが来た時に反応したいんだけど、
本当は何使えば良いの？
それとも非推奨じゃなくて、近い将来消える予定だけど、
とりあえず今のところはこれ使っとけって意味？
- 104 名前：営利利用に関するLR審議中＠詳細は自治スレへ [2012/04/10(火) 13:50:38.88 ]
- 普通のhaskellにあるdata型フィールドの更新
data Anchor = A{aUrl,aLabel ::String}
href :: Anchor
href = A "hoge.com/" "hoge page"
main = do
print href
print (href {aLabel = "that"})
このコードだけだとAnchor型がprintの引数になるShowクラスのインスタンスではないから、
表示されないのはいいとして、
再代入（実際は再定義）「href{ aLabel = "that"}」
この上のコードでhrefのaLabelフィールドが"that"に変わって、aUrlはそのままになるらしいんだけど
普通にコンパイルエラー、これは可能なの？
- 105 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/10(火) 14:22:21.53 ]
- href { aLabel = "that" }の型はAnchorだ
aLabelを更新してaLabelの値が返ってくるわけじゃない
Cの構造体とかはこうだけど
レコード更新構文は、既存の値から一部を変更しただけの新しい値を作りたいとき、
A { aUrl = aUrl href, aLabel = "that" }
と書かなきゃいけないところを
更新する必要のあるフィールドだけ書けばいいだけにする、というただの構文糖衣。
- 106 名前：営利利用に関するLR審議中＠詳細は自治スレへ mailto:sage [2012/04/10(火) 14:44:21.12 ]
- >>105
printが可能かではありません、誤解を招いてすいません（原文のままコードを記述したため）
href { aLabel = "that"}は実質、A { aUrl = aUrl href, aLabel = "that" }で
これはhrefを再定義する構文ではなくて、hrefとは別のAnchor型で,hrefのaLabelフィールドだけ変えた値を作っているということですね
hrefの再定義だと思っていたので、
href {aLabel = "that"}を単文でdoの中に入れたときにエラーでん？と思ったのですが納得しました
- 107 名前：デフォルトの名無しさん mailto:sage [2012/04/13(金) 18:13:46.76 ]
- なんかコメントあしばらく出てないけど、haskellの皆さんどうしたの？
- 108 名前：デフォルトの名無しさん mailto:sage [2012/04/13(金) 21:31:53.54 ]
- Windows7 で ghc や ghci を起動させようとすると、
初めの１回だけ、よく 0xc0000142 のエラーが出るよね
あれ何なの？
どちらももう一回トライすれば普通に起動するから、
そのまま使い続けてるけど、なんかマズイかな
- 109 名前：デフォルトの名無しさん mailto:sage [2012/04/13(金) 23:26:35.58 ]
- wx パッケージが 0.90 にバージョンアップして、
とうとう wxWidgets 2.9 only になった
- 110 名前：デフォルトの名無しさん mailto:sage [2012/04/14(土) 16:01:19.30 ]
- >>107
特に質問することが無いんだもん・・・
初心者でも簡単に書けるようになるのは良いけど、スレが盛り上がらないのも確かだな・・・
- 111 名前：デフォルトの名無しさん mailto:sage [2012/04/14(土) 16:10:39.33 ]
- >>108
出たこと無い・・・３２ビットの頃では何も問題なかったし、今の６４ビットでもghci上で(横に)長めの入力すると挙動が怪しくなるくらいかな
それでもrubyのirbよりは安定してるが・・・（すぐ激重になって使い物にならん)
- 112 名前：デフォルトの名無しさん mailto:sage [2012/04/14(土) 17:12:23.96 ]
- wx が ghc 7.4.1 環境にまともにインストールできるようなったのは喜ばしいし、
styledTextCtrl などのコントロールもちゃんと使えるようになったのはいいんだが、
ghc のリンク処理と、出力された実行ファイルの起動に時間がかかるようになった
特にリンクは時間かかりすぎ
コンパイル自体は普通に速いのに、リンクでフリーズしたかと思った
これは、wxWighets の方のビルド設定で改善できるんだろうか
あと、相変わらず ghci 上では実行できない
まぁ些細な問題だ
あとは wxPack が 2.9 にバージョンアップすれば初心者にも勧められる
- 113 名前：デフォルトの名無しさん mailto:sage [2012/04/14(土) 23:40:32.24 ]
- >>112
今 GLCanvas の対応とかどうなってるのか色々試してるけど、
前言撤回、些細な問題ではなかった
このリンクの遅さは異常だ、イライラする
メインウィンドウをひとつ表示するだけのプログラムでも、
オプション無しで ghc を実行して exe ファイルへのリンクするのに 50 秒以上、
その exe ファイルを実行してからウィンドウが表示されるまで 5 秒以上かかる
wxWidgets のビルドオプションをモノリシックと非モノリシックで両方試したけど、
どちらもリンクや起動の時間に対して目に見える影響はなかった
これ、俺だけ？
なにか改善する方法は無いんだろうか
とくに無ければ、少なくともバージョンアップするまでは gtk2hs を使うしかないな
[環境]
Windows7
ghc 7.4.1
wx-0.90
- 114 名前：デフォルトの名無しさん [2012/04/15(日) 08:47:17.26 ]
- 副作用論争は、読んでいて面白かったが。今論争はないのか？。
不毛かもしれない宗教論争とはいえ、純粋志向のハスケラをおちょくっているのを見るのは楽しい。
この論争はハスケルには処理系を含めてあらゆるレベルで副作用がない、
という無理な主張から始まったと思う。
言語自体には副作用がない、でも、処理系には副作用があるようにみえる。
でも、それは勘違いだ。ハスケル処理系にもまったく副作用がないのだ。
副作用が発生しているのはハスケル処理系でなく、ハスケル処理系が
生成したDanoMoi処理系だ。
という主張がありましたね。
- 115 名前：デフォルトの名無しさん mailto:sage [2012/04/15(日) 09:33:43.50 ]
- 釣れますか？
- 116 名前：デフォルトの名無しさん mailto:sage [2012/04/15(日) 09:34:37.44 ]
- 頭悪そうw
- 117 名前：デフォルトの名無しさん mailto:sage [2012/04/15(日) 10:14:32.40 ]
- ごめんなさい
隔離スレ toro.2ch.net/test/read.cgi/tech/1333801607/
で暴れてた馬鹿がこっちに逃げて来たみたいです
FizzBuzzすら書けない口だけ野郎なんで無視してもらって結構です
- 118 名前：デフォルトの名無しさん mailto:sage [2012/04/15(日) 11:13:37.90 ]
- >>114
www.kmonos.net/wlog/65.html
> 15:49 06/09/08 DanoMoi と Haskell
>決して「実際にそういう実装/理論になっている」という話ではなく、
>「こういう風に考えとけばわかる気がする」みたいな話なのでよろしくお願いします。
> ・Haskell プログラムには、一切いかなる意味でも副作用は存在しない
> ・Haskell プログラムは、"DanoMoi" というプログラミング言語のプログラムを生成する。
>"DanoMoi" という名前および概念は今私が勝手に考えたので適当ですよ。
プログラムと処理系は同じ意味だと思っているのですか？
- 119 名前：デフォルトの名無しさん mailto:sage [2012/04/15(日) 13:41:43.29 ]
- スパコンの世界じゃ、OSとハードウェアは同じ意味だしな…
- 120 名前：デフォルトの名無しさん mailto:sage [2012/04/15(日) 13:43:34.33 ]
- >スパコンの世界じゃ、OSとハードウェアは同じ意味だしな…
ないない。
- 121 名前：デフォルトの名無しさん mailto:sage [2012/04/15(日) 14:04:53.77 ]
- >>120
新しく世界一のスパコンを作った ＝ ハードウェアとそれ専用のOSを作った(むしろハードウェアはそのままでOSだけを改良した)
- 122 名前：デフォルトの名無しさん mailto:sage [2012/04/15(日) 14:15:40.44 ]
- ＳＩＳＣマシンの設計図はハードウェアの設計図だろうか？ ソフトウェアの設計図だろうか？
- 123 名前：デフォルトの名無しさん mailto:sage [2012/04/15(日) 15:59:38.46 ]
- >>119
アホ丸出しで恥ずかしくないの？
- 124 名前：デフォルトの名無しさん mailto:sage [2012/04/15(日) 16:04:00.61 ]
- >>123
大学でスパコンの講義受けるとOSとハードは同じだと教わるよ
- 125 名前：デフォルトの名無しさん mailto:sage [2012/04/15(日) 16:13:02.27 ]
- システムソフトウェアとハードウェアを一緒に開発しているだけの話で「同じ」ではない。
- 126 名前：デフォルトの名無しさん mailto:sage [2012/04/15(日) 16:24:20.62 ]
- >>125
スパコンは、ファイル管理システムとハードウェアとは不可分
逆に言うと、OSだけを取り出せと言われたら、LSIをペンチでいくつか取り出すことになる
DOS/V機やUNIXを使っていると分かりずらいが、UNIXで言うと、常駐ソフトとカーネルの一部がハードウェアそのものになってる
- 127 名前：デフォルトの名無しさん mailto:sage [2012/04/15(日) 17:03:17.98 ]
- 何というﾃﾞﾏ…
- 128 名前：デフォルトの名無しさん mailto:sage [2012/04/15(日) 17:08:26.97 ]
- 通常ならOSで実現されている機能の一部がハードウェア上で実装されているとしても、
それを「OSとハードウェアは同じ意味」とか言っちゃうのは痛い。
さらにスパコンと呼ばれるものがすべからくそういう構成をとってると思い込んでるのも痛い。
- 129 名前： ◆0uxK91AxII mailto:sage [2012/04/15(日) 18:19:56.27 ]
- >>126
誰が教えたの？
- 130 名前：デフォルトの名無しさん mailto:sage [2012/04/15(日) 18:33:14.08 ]
- > UNIXで言うと、常駐ソフト
デーモンという言葉すら知らない幼稚園児レベルのド素人は、まずは幼稚園に行けば？
- 131 名前：デフォルトの名無しさん [2012/04/15(日) 18:36:50.24 ]
- だえもんさんなめてんの?
- 132 名前：デフォルトの名無しさん mailto:sage [2012/04/15(日) 18:38:20.84 ]
- >>126
ノードやバスのファームウェアも含めてアップデートするんで、ソフトウェアだけで配布されてますが?
使ったことないんじゃないの?
- 133 名前：デフォルトの名無しさん mailto:sage [2012/04/15(日) 18:43:44.98 ]
- スレチなやつは全員立ち去れ
- 134 名前：デフォルトの名無しさん mailto:sage [2012/04/15(日) 19:25:43.97 ]
- >>126, >>128
内容云々より、分かりずらいだのすべからくだの
日本語が気になってしょうがない
- 135 名前：デフォルトの名無しさん mailto:sage [2012/04/15(日) 20:38:41.03 ]
- ああ、日曜日だ・・・
- 136 名前：デフォルトの名無しさん mailto:sage [2012/04/16(月) 07:13:57.36 ]
- 月曜日です。
関数型言語使いには無職が多いと聞きます。
皆が働いている時間に勉強や議論ができます。良かったですね！
今日も有意義に過ごしましょう！
- 137 名前：デフォルトの名無しさん mailto:sage [2012/04/16(月) 07:23:29.97 ]
- 働いてるから、という不勉強の言い訳は、頭のおかしい企業以外では通らないよw
- 138 名前：デフォルトの名無しさん mailto:sage [2012/04/16(月) 07:23:33.83 ]
- みんな賢いからyoung retireして、余生を関数型言語のプログラミングで楽しんでるんだよ。知らなかった？
- 139 名前：デフォルトの名無しさん mailto:sage [2012/04/16(月) 07:53:15.45 ]
- >>136
今日も一日ドカタ仕事頑張ってね！
- 140 名前：デフォルトの名無しさん mailto:sage [2012/04/16(月) 07:54:30.89 ]
- 匿名掲示板で職業なんてどうでもいいので少しはHaskellの話でもしませんか
- 141 名前：デフォルトの名無しさん mailto:sage [2012/04/16(月) 09:22:55.36 ]
- Haskellの話なんざHaskell Cafeだの#Haskell等で好きなだけしてろ
- 142 名前：デフォルトの名無しさん mailto:sage [2012/04/16(月) 10:07:06.63 ]
- ボクの分からないむずかしい話しちゃだめー
- 143 名前：デフォルトの名無しさん mailto:sage [2012/04/16(月) 21:46:45.82 ]
- >>128
実は正確にいうとスパコンに限らず、そこら辺のAT互換機もハードウェアとOSは同一
(スパコンはハードウェアとOSをセットで開発しないと、ハードウェアを作ったとは言わない)
特にHaskellを扱うようなソフトウェア科学から言えば同一と言わなければならない
理由はハードウェアを抽象化したモノがOSだから
ゲート回路だけでOS全部を構築しててもC言語でOS全部を書いていても、プログラムからは一切区別できない
区別できないってことは同じということ
- 144 名前：デフォルトの名無しさん mailto:sage [2012/04/16(月) 22:36:02.49 ]
- 意味わかんない。日本語でおk、レベル。
たとえばforkシステムコールをどうやって論理回路で実装するのか、論文が一本でもあったら示してくれ。
- 145 名前：デフォルトの名無しさん mailto:sage [2012/04/16(月) 22:42:55.75 ]
- >>144
相手にしちゃﾀﾞﾒ
- 146 名前：デフォルトの名無しさん mailto:sage [2012/04/16(月) 22:46:57.64 ]
- >>144
論理回路でチューリングマシンを実装すればいいじゃん
- 147 名前：デフォルトの名無しさん mailto:sage [2012/04/16(月) 22:52:33.55 ]
- forkってメモリコピーするだけじゃん
- 148 名前：デフォルトの名無しさん mailto:sage [2012/04/16(月) 23:00:17.85 ]
- >>144 >>146
USBメモリと同等のモノはFFとNANDゲートだけで構成できる
USBメモリの中にOSを入れることができる
つまり論理回路しかなくてもOSは構成できる
- 149 名前：デフォルトの名無しさん mailto:sage [2012/04/16(月) 23:06:10.28 ]
- 紙と鉛筆でも構成できそうだな
- 150 名前：デフォルトの名無しさん mailto:sage [2012/04/16(月) 23:12:15.14 ]
- >>148
OS → Haskellの言語処理系
USBメモリと同等のモノはFFとNANDゲートだけで構成できる
USBメモリの中にHaskllの言語処理系を入れることができる
つまり論理回路しかなくてもHaskllは構成できる
>>150 相手しちゃﾀﾞﾒっ
- 151 名前：デフォルトの名無しさん mailto:sage [2012/04/16(月) 23:13:33.35 ]
- なんやその矢印は
シミュレーション関係とかΣ代数ホモモルフィズムとかちゃんと意味かけやぼけー
- 152 名前：デフォルトの名無しさん mailto:sage [2012/04/16(月) 23:18:00.73 ]
- ﾆﾔﾆﾔ☆
その程度の頭で数学やってるんだｗ
- 153 名前：デフォルトの名無しさん mailto:sage [2012/04/16(月) 23:27:59.61 ]
- >>149
設計に従って手で鉛筆と紙を動かせば問題ない
>>150
Haskellを経由しないシステムコールを禁止すれば、HaskellプログラムかHaskellより高水準のプログラミング言語から見ればそのHaskell処理系がOSでありハードウェアということになる
つまりHaskellマシン
- 154 名前：デフォルトの名無しさん mailto:sage [2012/04/16(月) 23:28:52.93 ]
- >>148 アホか。どんなソフトウェアだろうがメモリに存在できるんだからハードウェアになっちまうだろうが。
スーパーコンピュータに限らず、あらゆるコンピュータのあらゆるソフトウェアが。
スーパコンピュータのOSが特別、というのがお前の主張だったよな。
> DOS/V機やUNIXを使っていると分かりずらいが
とお前は言っている。それをちゃんと説明しろ。できなければ回線切って吊るか消えろ。
- 155 名前：デフォルトの名無しさん mailto:sage [2012/04/16(月) 23:33:31.56 ]
- おれはスレチ全員が回線切って吊るか消えてほしい
- 156 名前：デフォルトの名無しさん mailto:sage [2012/04/18(水) 22:13:15.53 ]
- >>154
DOS/V機やUNIXはOSのうちソフトウェアの可換性の高い部分が多く、ユーザがさわって移植している部分こそがOSだと勘違いしているから、DOS/V機やUNIXを使っていると「OSがハードウェアと同一だと」分かりずらい
新しいスパコンを開発するときには、OSに他のハードとの可換性がないため、OSとハードウェアは完全に同一
「新しいスパコンを開発した」とは「新しいOSを開発した」と同意語で、この認識は世間一般でも認められている
筐体の中のLSIに一切変更を加えなくても、OSの改良で「新しいスパコンを開発した」とニュースになる
ソフトウェアは抽象度によってハードウェアから独立するので、あらゆるコンピュータのあらゆるソフトウェアをハードウェアとは呼ぶのは正しくない
プログラムの電子データのビット列とそれを格納してる機構はハードウェアだが、プログラムのセマンティクスはハードウェアではない
ただひとつ例外があって、OSというプログラムはそのセマンティクスがハードウェア
- 157 名前：デフォルトの名無しさん mailto:sage [2012/04/18(水) 22:26:59.45 ]
- >>156
ｽﾊﾟｺﾝのOSはLinixやAIX(IBMのUNIX),IRIX（SGIのUNIX)等、UNIX系OSである。
Linix、AIX、UNIXはｿﾌﾄｳｴｱである。
したがって、ｽﾊﾟｺﾝのOSはｿﾌﾄｳｪｱである。
この問題についての詳しい議論は、こちらのｽﾚ↓が適している。
toro.2ch.net/test/read.cgi/tech/1331930031/
- 158 名前：デフォルトの名無しさん mailto:sage [2012/04/18(水) 22:39:40.50 ]
- >>157
スペルミス。LinixはLinuxの誤記。ちなみに京にはLinuxが移植された。
- 159 名前：デフォルトの名無しさん mailto:sage [2012/04/18(水) 22:42:45.46 ]
- >>157
ｽﾊﾟｺﾝのOSはLinixやAIX(IBMのUNIX),IRIX（SGIのUNIX)等、UNIX系OSである。
ｽﾊﾟｺﾝのOSはハードウェアである。
したがって、スパコン以外のUNIX系OSもハードウェアである。
- 160 名前：デフォルトの名無しさん mailto:sage [2012/04/18(水) 22:47:24.63 ]
- >>158
京はノードに少し改良したLinuxを入れてて、京そのもののOSは移植じゃなくて改良
- 161 名前：デフォルトの名無しさん mailto:sage [2012/04/18(水) 22:55:14.12 ]
- >>159
> ｽﾊﾟｺﾝのOSはLinixやAIX(IBMのUNIX),IRIX（SGIのUNIX)等、UNIX系OSである。
↓この間に飛躍がある。
>ｽﾊﾟｺﾝのOSはハードウェアである。←根拠を省いた断定。
- 162 名前：デフォルトの名無しさん mailto:sage [2012/04/18(水) 23:08:22.98 ]
- >>161
別の言い方をしましょう
「例えば、HaskellでプログラミングしてるときのOSって何？」
「Haskellでプログラミングしてるとハイパーキューブとかのハードウェア構造が消えるけど、ハードウェアは何に吸収されたの？」
- 163 名前：デフォルトの名無しさん mailto:sage [2012/04/18(水) 23:14:00.03 ]
- >>119が元凶か。IDないと面倒だね
- 164 名前：デフォルトの名無しさん mailto:sage [2012/04/18(水) 23:15:54.30 ]
- >>162
それこそ初心者ｽﾚへどうぞだよ(OS,UNIX板あたりも含めて)。
もう少しｺﾝﾋﾟｭｰﾀのいろはを勉強するか、あるいは無知の知に気がついた方がよい。
ヒント
・言語処理系から見たOSはライブラリの下でsystem callとして呼び出され機能している。
・OSは(というか通信ミドル)はトポロジーを特に隠さない。
むしろトポロジーを意識して並列分散したほうが性能がでる。
Haskellがトポロジーを露わに扱う術を持っていないだけである。
- 165 名前：デフォルトの名無しさん mailto:sage [2012/04/19(木) 00:45:36.21 ]
- ヒント、とか言って得意げに語りだす奴w
- 166 名前：デフォルトの名無しさん mailto:sage [2012/04/19(木) 00:50:20.71 ]
- 何の根拠もないのに
「ｽﾊﾟｺﾝのOSはハードウェアである。」
とかﾄﾝﾃﾞﾓな断言をするより遙かにましだろ。
「UNIX系OSもハードウェアである。」
に至っては、初心者ｽﾚではなく、もはや病院行けとしか言いようがない。
恥ずかしすぎるので人前では決して言わないように。
- 167 名前：デフォルトの名無しさん mailto:sage [2012/04/19(木) 01:33:45.40 ]
- っ鏡
- 168 名前： ◆QZaw55cn4c mailto:sage [2012/04/19(木) 02:29:21.51 ]
- ふつうのhaskellを読んでいます。
ghc 7.2.1 以降は
import System
とすると、
could nod find module 'System'
It is a member o the hidden package 'haskell98-2.0.0.0'
use -v to see a list of the files searched for.
とでてコンパイルできません
ghc 7.0.4 ではコンパイルできます。
7.2.1 以降でコンパイルできるようにするにはどうしたらいいでしょうか？
環境はWindows7 です。
ideone.com/ToAyj
- 169 名前：デフォルトの名無しさん mailto:sage [2012/04/19(木) 02:46:32.16 ]
- import System.Environment
にすればおｋ
- 170 名前：デフォルトの名無しさん mailto:sage [2012/04/19(木) 20:50:07.23 ]
- >>164
System call がハードウェアとの接触点ということでしょう
ということは、rawSystem から向こうは全部ハードウェアです
仮に、Haskellプログラムがプログラム上の言明でトポロジーにアクセスできてどのノードのどのLSIのどのメモリのどのビットを1にするか指定していたら、そのプログラムはOSです
- 171 名前：デフォルトの名無しさん mailto:sage [2012/04/19(木) 21:04:49.64 ]
- >>166
・コンピュータ科学では、「どのコンピュータの」OSもハードウェアと「原理的に」同一
・一般のコンピュータ科学を知らない人たちは、スパコン業界のハードウェアとOSを同一視している
分からなければ、次の話を考えればいい
今パソコンの中に10cmくらいの512MBのメモリが入っている
この世から、プログラムを高水準のモノから次々の削除していく
一度削除したら、そのプログラムと同じことができるモノは永遠にこの世に出てこない
これを続けていくと、OSが削除されたときに512MBのメモリはハードウェアではなくなり、ただの石になる
もっと言うと、川べりに落ちてるただの石も、その石を動かすシステムがあって、Haskellプログラムからそのシステムにアクセスできて計算に利用できれば、そのシステムはOSであり、そのOSと石はハードウェアになる
- 172 名前：デフォルトの名無しさん mailto:sage [2012/04/19(木) 21:22:33.36 ]
- 喩えの方が余計わかりにくい
- 173 名前：デフォルトの名無しさん mailto:sage [2012/04/19(木) 21:59:04.77 ]
- 独自用語とたとえで持論を語り出す電波さん。
持ちネタはそんなにないから、しばらくすれば満足して黙る
- 174 名前：デフォルトの名無しさん mailto:sage [2012/04/19(木) 22:06:58.32 ]
- もっとわかりやすく言うと、例えば論文読んでてプログラムからハードウェアへの入力x(t)があったとき、これそのままOSへの入力
例外はOSの論文読んでるときだけ
- 175 名前：デフォルトの名無しさん mailto:sage [2012/04/20(金) 00:43:47.39 ]
- >>171
この世にこれほど頭の悪い人を見たことがない。
- 176 名前：デフォルトの名無しさん mailto:sage [2012/04/20(金) 02:42:48.57 ]
- >>171
すれ違い迷惑です。退場してください
- 177 名前：デフォルトの名無しさん mailto:sage [2012/04/20(金) 13:03:38.27 ]
- Haskellの話しようぜ。そういえば来月 Learn You Haskell ... の日本語訳出るんだよね。
|
 |
