関数型プログラミング言語Haskell Part26
レス数が900を超えています。1000を超えると表示できなくなるよ。
0001デフォルトの名無しさん
2014/07/27(日) 13:46:32.03ID:deqguEnhhaskell.org (公式サイト)
http://www.haskell.org/
前スレ
関数型プログラミング言語Haskell Part25
http://peace.2ch.net/test/read.cgi/tech/1393313450/
0830デフォルトの名無しさん
2014/12/27(土) 14:02:56.08ID:JrG0d0YE0831デフォルトの名無しさん
2014/12/27(土) 14:22:28.43ID:cA3tryxgいま足りてないのは洗脳を解くための情報
例えばC言語でオブジェクト指向とか
OCamlでモナドとか
外国にも四季があるとか
0832デフォルトの名無しさん
2014/12/27(土) 14:54:08.25ID:TjPtBoaFかな。
0833デフォルトの名無しさん
2014/12/27(土) 15:10:44.50ID:x5x1r/6hふつケルは当時良い本だったけどもう内容古いしぶっちゃけ読まんでいい
0834デフォルトの名無しさん
2014/12/27(土) 15:15:28.45ID:+eeTs6yQ12月26日 18時53分
http://www3.nhk.or.jp/news/html/20141226/k10014317271000.html
東京電力福島第一原子力発電所で、「トレンチ」と呼ばれる地下のトンネルに高濃度の
汚染水が流れ込んでいる対策として、トンネルの大部分をセメントで埋め立てたにもかかわらず、
依然として水位の変動が続いていることが分かりました。
東京電力は、埋め立てた部分に隙間ができているとみて対策を検討することにしています。
福島第一原発の建屋からトレンチに流れ込んでいる高濃度の汚染水について、
東京電力は当初、一部を凍らせるなどして流れをせき止めたうえで抜き取る計画でしたが、
作業が難航したため、先月から汚染水が入った状態のままセメントを流し込み、
トレンチの埋め立てと汚染水の抜き取りを並行して進めてきました。
26日開かれた原子力規制委員会の会合で、東京電力は、地上とトンネルを結ぶ
4か所の縦穴を除いて埋め立てが終わり、およそ2500トンの汚染水を抜き取ったと
報告しました。
ところが、縦穴から試験的に汚染水をくみ上げたところ、別の縦穴の水位が変動し、
埋め立てた部分でセメントに隙間ができている可能性があるとしています。
東京電力は、縦穴の部分を埋め立てれば汚染水は遮断できると説明しましたが、
委員や専門家からは調査が不十分だとする指摘が出され、東京電力は今後1か月かけて
水位の監視を続け、さらに隙間がないか確認するとともに、汚染水の流れを確実に
遮断する方法を検討することにしています。
0835デフォルトの名無しさん
2014/12/27(土) 15:23:29.28ID:kcXcAVhxHaskellでプログラミングするとこうなるってこと?
0836デフォルトの名無しさん
2014/12/27(土) 16:04:31.24ID:cA3tryxg0837デフォルトの名無しさん
2014/12/27(土) 20:27:50.38ID:Z5TU2mXJ昔はテンプレに School of Expression ってのがあって面白かったけど
0838デフォルトの名無しさん
2014/12/27(土) 22:36:59.91ID:Wg0rqo6T0839デフォルトの名無しさん
2014/12/28(日) 01:34:50.55ID:ZRAzXvYs政府の原子力災害現地対策本部は28日、東京電力福島第1原発事故に伴い、放射線量が局所的に高い
「ホットスポット」として福島県南相馬市に指定した特定避難勧奨地点142地点(152世帯)の指定を解除した。
避難勧奨地点は2011年6月以降、福島県の伊達市や川内村、南相馬市に指定されたが、12年12月に
伊達市と川内村は解除されており今回、避難勧奨地点は全てなくなる。
南相馬市では対象の住民のほとんどが解除に反対しており、住民理解が得られないままの強行となった。
0840デフォルトの名無しさん
2014/12/28(日) 12:20:19.22ID:TtlxAxKYすげー近視眼的。
0841デフォルトの名無しさん
2014/12/28(日) 21:12:56.68ID:yGhAGsqu・パズルゲー作る
・珠玉を読了する
みんなは?
0842デフォルトの名無しさん
2014/12/28(日) 21:21:57.28ID:6IxIWlMA0843デフォルトの名無しさん
2014/12/28(日) 23:50:28.48ID:zst8R7oQ0844デフォルトの名無しさん
2014/12/29(月) 01:05:19.44ID:UfejTaM+送りたいんだけどgoogleにそういう問い合わせするときってどこが
一番可能性高いもん?直接のメールアドレスはわからんのでgoogle経由で
やるしかないのよ。
0845デフォルトの名無しさん
2014/12/29(月) 01:54:36.75ID:+0aaYlGc読了していないコードをスパゲッティなどと罵倒しない
0846デフォルトの名無しさん
2014/12/29(月) 02:00:23.30ID:GtpJGJV9Google経由は可能性低いと思う。
その人を知った経路方面から連絡できそうなもんだが。
0847デフォルトの名無しさん
2014/12/29(月) 02:12:27.35ID:UfejTaM+そうかー。どっか知ってそうな人探していくか。ありがとう。
0848デフォルトの名無しさん
2014/12/29(月) 02:12:35.48ID:4HBx8iThHaskell コミュニティの中に google 関係者の人がほぼ確実にいる。
Haskell 関連のニュースグループとかで呼び掛ければいいと思うよ。
0849デフォルトの名無しさん
2014/12/29(月) 12:35:44.97ID:UfejTaM+おっ、その手があったか。さっそくやってみるよありがとう。
0850デフォルトの名無しさん
2014/12/30(火) 23:34:29.91ID:DyAtZuWT0851デフォルトの名無しさん
2014/12/31(水) 00:02:22.39ID:WNT3VYT+0852デフォルトの名無しさん
2014/12/31(水) 01:04:15.55ID:GCVJ4yxqA
|-B
|-C
↑ABCがサンドボックスで、Aの中のパッケージをBとCで共有できればいいなって思ったんだ
0853デフォルトの名無しさん
2014/12/31(水) 10:18:03.32ID:lcJbVM3e0854デフォルトの名無しさん
2014/12/31(水) 10:22:47.34ID:Z+SsAvdG0855デフォルトの名無しさん
2014/12/31(水) 10:52:37.15ID:lcJbVM3e0856デフォルトの名無しさん
2014/12/31(水) 16:14:08.93ID:Xcj97OXDインタープリトしてアプリの内部機能(関数)を呼ぶ仕組みを作りたいのですが、
そういうことを支援するライブラリってないですか?
0857デフォルトの名無しさん
2015/01/01(木) 00:45:25.99ID:9UEsBz6Apersistent で新規に作ったものなマイグレートできたのですが...
0858デフォルトの名無しさん
2015/01/01(木) 07:17:30.03ID:dTLG2CI10859デフォルトの名無しさん
2015/01/01(木) 11:15:21.99ID:dOFDAbHH0860デフォルトの名無しさん
2015/01/01(木) 11:43:45.40ID:slaO93jU0861デフォルトの名無しさん
2015/01/01(木) 12:56:46.42ID:MuKGxtH/ま,それでもいいのでは.
0862デフォルトの名無しさん
2015/01/01(木) 13:00:08.82ID:MuKGxtH/作ろうかと思ってしまうのは私だけなのかな.
0863デフォルトの名無しさん
2015/01/01(木) 13:49:49.40ID:9nX5wxEB0864デフォルトの名無しさん
2015/01/01(木) 14:07:26.86ID:wXHHaUzE「普及」という観点になると他言語との比較になるので
(Haskellがクソでも他のやり方がもっとクソなら消極的には普及しない理由にならない)
比較優位・劣位が示せないと使ってる人間が大した問題に取り組んでないんじゃねーのという話になる
0865デフォルトの名無しさん
2015/01/01(木) 14:18:00.13ID:kfvwaXN/0866デフォルトの名無しさん
2015/01/01(木) 14:32:11.80ID:9UEsBz6A任意の列をシーケンシャルな整数値型に設定する方法は無いでしょうか。
プライマリキーを明示しなければ、自動的にIdを格納する列が作られ、
それがシーケンシャルになります。
当然、sql の CREATE SEQUENCE 文も発行されます。
これをプログラムの方で制御したいです。
0867デフォルトの名無しさん
2015/01/01(木) 15:07:36.82ID:d7zle5+fコスパが良い90点とコスパが悪い100点を客観的に比較する方法を
真面目に考える人間がいない
客観性に興味がない人間か、客観的?だが不誠実な人間しかいない
0868デフォルトの名無しさん
2015/01/01(木) 15:55:20.42ID:NnfRb1B/それなら少し前に俺も同じ問題にぶち当たったけど、素直にやるのは無理という結論に至った。
自分でシーケンシャルになる事を保証する採番システムを作るか、persistent-mysql等のpersistentとDBの間に入るライブラリを改造するしかない
0869デフォルトの名無しさん
2015/01/01(木) 16:46:31.64ID:9UEsBz6Aなるほど。
今のところ、ふと疑問に思っていろいろ模作していただけなので、
とりあえず諦めることにします。
そのうちまたアップデートされるでしょう。
去年の夏に 2.0 になって大幅に改善されましたし。
ありがとうございました。
0870デフォルトの名無しさん
2015/01/01(木) 20:43:38.34ID:LWrX8qsSweb上にある入門サイトでさらっとやった後すごいH本を読めばいいのかな
0871デフォルトの名無しさん
2015/01/01(木) 23:04:10.82ID:KAFT5WeC0872デフォルトの名無しさん
2015/01/02(金) 00:12:52.66ID:E64/hkZF多分ほとんど二度手間になると思う
入門的な知識ならすごいH本一冊で十分
0873デフォルトの名無しさん
2015/01/02(金) 01:40:45.48ID:4OESuPGN0874デフォルトの名無しさん
2015/01/02(金) 07:28:07.89ID:0y0bMK9q0875デフォルトの名無しさん
2015/01/02(金) 10:17:25.79ID:P90P93Dj0876デフォルトの名無しさん
2015/01/02(金) 10:57:57.77ID:Y1NWcE5T0877デフォルトの名無しさん
2015/01/02(金) 11:49:20.34ID:qMjEYwOF実際にレンダリングされる全体の文字幅を知る方法は無いでしょうか?
(コンソールや端末エミュのフォントが等幅であるという前提です)
例
"aあ" --> 3
"nasu" --> 4
0878デフォルトの名無しさん
2015/01/02(金) 11:55:12.13ID:Gv4nBwoE0879デフォルトの名無しさん
2015/01/02(金) 13:01:18.02ID:K/U8TI6cそれを容認すると設計する人は実装の勉強もしなければならない
設計者とプログラマーの身分が同じになる
0880デフォルトの名無しさん
2015/01/02(金) 13:03:58.29ID:qMjEYwOF私もコンソールや端末エミュ、使用フォントによって変わってくると思います。
そのような環境情報を踏まえて、実際に何文字分で出力されるかを知る方法が知りたいです。
いろんな国のアルファベットが混在したUTF-8エンコード文字列を右寄せで標準させたいです。
0881デフォルトの名無しさん
2015/01/02(金) 13:04:59.99ID:qMjEYwOF標準させたい ---> 表示ささたい
0882デフォルトの名無しさん
2015/01/02(金) 13:38:31.79ID:Gv4nBwoEcursesで右寄せはダメなの?
0883デフォルトの名無しさん
2015/01/02(金) 13:54:58.10ID:WWxidtQAUnicodeなら規格がある。
ただし全角と半角の2種類だけじゃないし、ギリシャ文字のように文脈依存とされているものもある。
0884デフォルトの名無しさん
2015/01/02(金) 14:31:04.40ID:qMjEYwOFcurses(hscurses)は複数の言語に対応しており、
正しく右寄せできるてしょうか?
と言うのも、ただ右寄せ(可能なら中央寄せも)表示するだけに、
CUIライブラリの基礎から使い方を覚えるのは少々気合いとまとまった時間が必要です。
できることなら、取りかかる前に、本当にできそうか見当をつけておきたいです。
>>883
UTF-8 限定で構いません。
種類があるといことは、理論上は、文字列が与えられたら、
どの位置にあるどの文字がどの種類なのかマッピングできるということですよね。
(一回のパースで可能か知りませんが)
そのようなマッピングを行うライブラリはないものでしょうか。
もちろん、HaskellではなくC言語製の外部ライブラリで構いません。
0885デフォルトの名無しさん
2015/01/02(金) 15:36:46.14ID:WWxidtQAそんなライブラリがあるかどうかは知らないが、もし自分でやるなら文字ごとのテーブルを持って
ここに書いてあるような方法で求めることになるだろう。
http://ja.wikipedia.org/wiki/東アジアの文字幅
ただし既存のコンソールを使う場合、それがこの仕様に従っているとは限らないがな。
0886デフォルトの名無しさん
2015/01/02(金) 16:15:20.26ID:P90P93Djhttp://hackage.haskell.org/package/unicode-properties-3.2.0.0/docs/Data-Char-Properties-Misc.html
Hackage でそれっぽいの見たけど、
isIdeographic が近いけどひらがなとかは False って言われそうだし、
他にそれらしいのは無さそう。
他のライブラリはあるかもしれないが。
0887デフォルトの名無しさん
2015/01/02(金) 16:18:16.17ID:qMjEYwOFUTF-8対応を謳っているコンソールや端末エミュでも、
実際はそういう幅の情報を正しく扱っているとは限らない
ということですね。
国際化対応の右寄せ、中央寄は GUI の方がむしろ楽そうですね。
CUI で取り組むのは諦めることにします。
みなさん、ありがとうございました。
0888デフォルトの名無しさん
2015/01/02(金) 16:33:28.18ID:qMjEYwOFisIdeographic 'ぬ' = False
isIdeographic '月' = True
isIdeographic '十' = True
でした。
ただ、文字の意味による分類が分かったところで、文字幅は推測できな誘うてすね。
0889デフォルトの名無しさん
2015/01/02(金) 16:51:12.79ID:/upm+g4tH本とプログラミングhaskellで迷ってる
内容被ってて大きな差はない?
0890デフォルトの名無しさん
2015/01/02(金) 17:44:09.19ID:9VoF1EwGH本の方がえっち
プロハスは文学みたい
0891デフォルトの名無しさん
2015/01/02(金) 18:03:41.10ID:0y0bMK9qまあ慣れの問題だろうけど、プログラムコードに斜字体とか、->を→で表記してたりとか色々頭の中で変換しなきゃならない点が気になる
この本は買う前に一度中をパラパラっと立ち読みして確認するのを推奨したい
「すごいH本」もいいけど「Real World Haskell」も懇切丁寧な解説だし、検討対象に含めるべきではないでしょか
0892デフォルトの名無しさん
2015/01/02(金) 19:13:58.12ID:h0TOXPGSすごいH本はそのまま打ち込めるからわかりやすいかも
0893デフォルトの名無しさん
2015/01/02(金) 19:31:03.40ID:gE/lARkH0894デフォルトの名無しさん
2015/01/02(金) 23:42:05.61ID:9S1+snqgカレイドスター?
0895デフォルトの名無しさん
2015/01/03(土) 00:31:08.05ID:W/QuRkocPersistent のテンプレートでテーブルを作ると、命名規則に困るよね。
share [ゴニョゴニョ] [persistLowerCase |
Record
name String
とかやると、テーブル名がそのまま Record で作られる。
単数形で気持ち悪い。
かといって、
Records
name String
とすると、今度は Haskell ソース内で1行のデータを扱うのに複数形になる。
これもやっぱり気持ち悪い。
0896デフォルトの名無しさん
2015/01/03(土) 00:38:25.72ID:xmK4LLNx分かりやすいサイト
てありますか?
0897デフォルトの名無しさん
2015/01/03(土) 00:47:20.83ID:XTjqDow20898デフォルトの名無しさん
2015/01/03(土) 01:00:40.17ID:plSESCEKRecord sql=records
name String
0899デフォルトの名無しさん
2015/01/03(土) 02:01:15.24ID:6Fxgjg/00900デフォルトの名無しさん
2015/01/03(土) 03:34:04.01ID:xmK4LLNx教えていただけますか?
0901デフォルトの名無しさん
2015/01/03(土) 09:23:35.80ID:W/QuRkocすげー、できた、ありがと
ちゃんと http://www.yesodweb.com/book/persistent に書いてあった。
他の Entity sintax の記事へのリンクも。
完全に見逃してたよ。
0902デフォルトの名無しさん
2015/01/03(土) 11:32:29.88ID:W/QuRkoc合成処理を Haskell でプログラムするか、
rawQuery で SQL を直接書くかするしかないかな?
たとえば、テーブルAの列aがテーブルBのプライマリキーを外部キーとして参照してて、
基本テーブルAの一覧を表示したいんだけど、テーブルAの列aの所だけは
テーブルBのある列の値に置き換えて表示したい。
今までは両方のテーブルを selectList で取って、テーブルB は Data.Map に入れておき、
テーブルAの一覧を表示するときにその Map を参照してたんだけど、
もっといい方法があるのかなと思って。
0903デフォルトの名無しさん
2015/01/03(土) 13:07:02.82ID:W/QuRkocbelongsTo系関数でできたわ。
やっとこの関数の意味が分かった。
0904デフォルトの名無しさん
2015/01/03(土) 13:37:54.59ID:2T/NAfAresqueletoってライブラリも見てみると良いと思う
0905デフォルトの名無しさん
2015/01/03(土) 14:13:42.80ID:W/QuRkoc感動した。
正直言って belongsTo 系関数は使いにくいと思ってたところなんだ。
selectSource を起点とした conduit の中では使えんし、
selectList でとったリストの要素に施すにしてもゴチャゴチャするし。
esqueleto 凄すぎ。
こっちも、ちょっとゴチャゴチャするけど、そんなデメリットなんか吹っ飛ぶわ。
ありがと。
0906デフォルトの名無しさん
2015/01/03(土) 21:23:43.84ID:gBJh/h4vHTML 5エンジンの自作は、ライセンス的にOKですよね?
javascriptエンジンの自作はライセンス的に駄目ですよね。
0907デフォルトの名無しさん
2015/01/03(土) 21:27:35.91ID:XTjqDow20908デフォルトの名無しさん
2015/01/03(土) 21:32:36.94ID:gBJh/h4v公開したいです。
0909デフォルトの名無しさん
2015/01/03(土) 21:45:09.08ID:+skQnDmf再帰呼び出しで無限ループにしてみましたが、関数を抜ける時に、
今まで呼び出した回数分遡っていたので、
いつかスタックオーバーフローになるのではないかと思ってます。
0910デフォルトの名無しさん
2015/01/03(土) 21:49:03.01ID:W/QuRkocJavaScriptエンジンって、オープンソースでいくつかあると思うが
ああいうのとは違うの?
0911デフォルトの名無しさん
2015/01/03(土) 21:55:27.04ID:XTjqDow2GLUTは mainLoopで再帰無限ループしてるけど、今のところオーバーフローでエラーした経験はない
0912デフォルトの名無しさん
2015/01/03(土) 22:21:20.47ID:INvsCKDt末尾再帰になるように書けばいいよ
0913デフォルトの名無しさん
2015/01/03(土) 22:25:08.41ID:gBJh/h4vそういうのです。しかし、ひょっとして、メーカー非公認なのかな(モグリ)
なのかなと思いまして。
0914909
2015/01/03(土) 22:30:54.80ID:+skQnDmf末尾再帰で検索したらサンプルが見つかりました。書き方が違うのですね。
試してみます。ありがとうございました!
0915デフォルトの名無しさん
2015/01/04(日) 03:31:52.05ID:wAnmZa29プログラミング言語に著作権はない(仕様書や処理系にはある)
あったとしても言語利用者がプログラムを公開するのに許諾を得る必要があるかと言うと?
それもあったとしてもJavaScriptを作ってる人達はそんなことを要求する人達じゃない
0916デフォルトの名無しさん
2015/01/04(日) 07:01:59.39ID:A29gOAzW分かりやすいサイト
てありますか?
教えていただけますか?
0917デフォルトの名無しさん
2015/01/04(日) 08:47:57.21ID:XhHDaIDm同じ人だとしたら、もうキミはemacsの設定は諦めたらいいんじゃないかな。その時間でプログラムを書いた方がいいよ。
emacsだけがエディタじゃないしね。
0918デフォルトの名無しさん
2015/01/04(日) 09:58:38.34ID:Y5zWrD8V分
て
教
0919デフォルトの名無しさん
2015/01/04(日) 10:26:44.87ID:1ErtEbM3スクリプト言語自体の話ではないと思うよ。
JITコンパイラとかレンダリングエンジンの類の話でしょ。
こちらは特許をとることもできる。
0920デフォルトの名無しさん
2015/01/04(日) 10:38:44.02ID:JYhmrr12入力モードで Ctl-F を入力すると4つ空白を補完するショートカット的機能は追加したけど。
0921デフォルトの名無しさん
2015/01/04(日) 10:38:59.86ID:1ErtEbM3元の質問をよく読んでみると、その意図が分からなくなったんだが、
ライセンスってどういう意味?
javascriptエンジンなんてもう特許でガチガチに固められてて、
アマチュアが作れる余地ないですよね? どうなんでしょう?
という質問かと勝手に解釈してたんたが。
だから、いやまだ余地あるよ、だってオープンソースのもあるし、と。
もしかして、俺は勘違いしてた?
まぁ何にせよ、スレチも甚だしいから、この辺でレスは止めるが。
0922デフォルトの名無しさん
2015/01/04(日) 10:42:36.23ID:JYhmrr120923デフォルトの名無しさん
2015/01/04(日) 11:00:57.74ID:ApkpjYBhんなことしなくてもタブ設定でどうとでもなるぞ
0924デフォルトの名無しさん
2015/01/04(日) 12:08:11.58ID:1ErtEbM3具体的には、昇順の上位5件の行を取得したく、
テーブルを一度降順に並べて5件取り、その結果のテーブルを昇順に戻したい。
並び替えるだけなら、haskell の方でリストに sort かければいいだけだが、
それは応用が効かないその場しのぎの方法だから、できれば esqueletoでやりたい。
0925デフォルトの名無しさん
2015/01/04(日) 14:50:18.16ID:aCgp4owNon lispのpaul grahamとlet over lambdaのdoug hoyteは
vimじゃないviで書いてるらしい
0926デフォルトの名無しさん
2015/01/04(日) 15:21:12.93ID:TjT1k62E>>925 と知って真似したことがあるけど、直ぐにギブアップしました。w ACL 付随の elisp を使ってます。
>>778 これ良さそうかも。試してみる。
0927デフォルトの名無しさん
2015/01/04(日) 22:26:28.96ID:3J538RJZ0928デフォルトの名無しさん
2015/01/04(日) 22:41:05.52ID:dnput2K70929デフォルトの名無しさん
2015/01/05(月) 12:39:38.40ID:56v1L+Z7とりあえず考えたのは[0..]とzipしてfilterする方法だけど,なんか回りくどいような気もする
目的としては,テキストファイルを一行おきに出力したいんだけど
0930デフォルトの名無しさん
2015/01/05(月) 12:58:02.09ID:wTsbYt9I何をしたくてどううまく行ってないのかを整理してここでなく emacs 界隈に聞きに行くのがお勧めだ
2ch でも stackoverflow でも lingr でもなんでもいいとおもうから
で、「究極の設定にならない」っていううまく行かなさならそれは最初からそれを目指すべきじゃない
使いながら不満を解消していくのが良いよ
レス数が900を超えています。1000を超えると表示できなくなるよ。