関数型プログラミング言語 Haskell について語るスレです。
haskell.org (公式サイト)
http://www.haskell.org/
前スレ
関数型プログラミング言語Haskell Part28
http://echo.2ch.net/test/read.cgi/tech/1428597032/
関数型プログラミング言語Haskell Part30 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
2017/01/15(日) 23:43:54.28ID:Vh4eztBk
336デフォルトの名無しさん
2017/04/29(土) 10:38:06.28ID:y9k82SwL GUI使わないプログラム普段おまえら使うのか
いったい何をやっているんだ
科学計算は日常系でないからなしな
いったい何をやっているんだ
科学計算は日常系でないからなしな
337デフォルトの名無しさん
2017/04/29(土) 11:24:38.37ID:ml8UsgdM プログラムの世界でGUI依存なんて基本的に羞恥なんだが素人かな
338デフォルトの名無しさん
2017/04/29(土) 11:26:25.86ID:nyANDfpK おいらはプログラマーの道をすっぱり諦めたから、当時一番気に入ったHaskellの残留思念だけで書きこんでる。
写真がプログラミング以上に楽しいから、Jpeg弄れるライブラリあったら触ってもいいかな。
HaskellでGUIと言えば、MSがHaskell+WXでGUIのサンプルをpdf(英語)で公開してから、海外のHaskellerは軒並みWX使ってるっぽい。
おいらの時はRWHにgtk2hsが載ってたからそれにしたけど、MSのpdf読む限りWXのがコード短い。。。
RWH恨むぞ。。。
写真がプログラミング以上に楽しいから、Jpeg弄れるライブラリあったら触ってもいいかな。
HaskellでGUIと言えば、MSがHaskell+WXでGUIのサンプルをpdf(英語)で公開してから、海外のHaskellerは軒並みWX使ってるっぽい。
おいらの時はRWHにgtk2hsが載ってたからそれにしたけど、MSのpdf読む限りWXのがコード短い。。。
RWH恨むぞ。。。
339デフォルトの名無しさん
2017/04/29(土) 11:26:31.41ID:fkqPQF0T 素人に売りつけるソフトにGUIは不可欠
340デフォルトの名無しさん
2017/04/29(土) 13:06:45.39ID:dPKXkep6 アーキテクチャの話も一切出てこない
俺達は汎用プログラミング言語でいったい何をしているのか
俺達は汎用プログラミング言語でいったい何をしているのか
341デフォルトの名無しさん
2017/04/29(土) 15:22:04.96ID:nyANDfpK デザパタみたいなの?
パターンって程実践で使われてないだろ。
んー。。。
使ってた感触だと、割と行き当たりばったりからの仕様変更でも何とかなるのが関数型言語の強み?と思わなくも無い。
ちょっとの変更にも関数経由するから、自然と既存の関数使い回せないか考えるし、関数型言語もそう言う風に進化して行ってるように感じる。
某スレで話題になったキャットドアクラスも、変な縛りがなければ究極的には機能の組み合わせでドアが開くかどうかの問題なのだから、タプルにBoolを並べれば良い。
ただ、同じBool値ばかりだと違う機能を付いてる(付いてない)と表現しやすいので、適当な型を作ってコンパイラが順番間違えたらエラー出すようにする。
cd = (False,型Aの値)
値が欲しかったら
getA t = snd t
または引数の時点で直接欲しい値にアクセス。
getA (_,x) = x
仕様の拡張に関してはタプルを入れ子にする事とする。
継承というよりは委譲に近い。
理屈では(以前の機能,拡張機能)の形でいくらでも入れ子に出来る。
cdEx = (cd,型Cの値,型Dの値)
cdFX = (cdEx,型Eの値)
基本機能だけなら基本のタプル取り出して使う。
getA $ fst cdEx
拡張機能だけまたは、拡張機能と基本機能の組み合わせは引数の時点で(以下略)
getC (_,x,_) = x
getAD ((_,x),_,y) = x + y
ただ、関数型言語は元々多くの状態を管理するのに向かない。
例の通り、構造が複雑になると扱い難い。
HTMLなりXMLなりXAMLなりに状態管理は任せた方がいい。
んじゃ、おいら夜勤明けなんで寝るわ。
お休みzzz...
パターンって程実践で使われてないだろ。
んー。。。
使ってた感触だと、割と行き当たりばったりからの仕様変更でも何とかなるのが関数型言語の強み?と思わなくも無い。
ちょっとの変更にも関数経由するから、自然と既存の関数使い回せないか考えるし、関数型言語もそう言う風に進化して行ってるように感じる。
某スレで話題になったキャットドアクラスも、変な縛りがなければ究極的には機能の組み合わせでドアが開くかどうかの問題なのだから、タプルにBoolを並べれば良い。
ただ、同じBool値ばかりだと違う機能を付いてる(付いてない)と表現しやすいので、適当な型を作ってコンパイラが順番間違えたらエラー出すようにする。
cd = (False,型Aの値)
値が欲しかったら
getA t = snd t
または引数の時点で直接欲しい値にアクセス。
getA (_,x) = x
仕様の拡張に関してはタプルを入れ子にする事とする。
継承というよりは委譲に近い。
理屈では(以前の機能,拡張機能)の形でいくらでも入れ子に出来る。
cdEx = (cd,型Cの値,型Dの値)
cdFX = (cdEx,型Eの値)
基本機能だけなら基本のタプル取り出して使う。
getA $ fst cdEx
拡張機能だけまたは、拡張機能と基本機能の組み合わせは引数の時点で(以下略)
getC (_,x,_) = x
getAD ((_,x),_,y) = x + y
ただ、関数型言語は元々多くの状態を管理するのに向かない。
例の通り、構造が複雑になると扱い難い。
HTMLなりXMLなりXAMLなりに状態管理は任せた方がいい。
んじゃ、おいら夜勤明けなんで寝るわ。
お休みzzz...
342デフォルトの名無しさん
2017/04/29(土) 15:49:01.36ID:23KWF3U2 科学計算が日常じゃないってマジ?
343デフォルトの名無しさん
2017/04/29(土) 16:12:38.77ID:dPKXkep6 しかし多くの状態を楽に管理できなきゃ、
ゲームも商支援系ソフトもクリエイター系ソフトも何もまともに作れん
作れたとしても、後のメンテが辛くなるコードが出来上がる
向いているのは自身で状態を維持変化しなくてもいいような、
フィルターとしてモデリングできるものしかなくなる
たとえば linux の簡単なコマンドや web アプリ、FX自動取引システムくらいか
処理速度の問題は実用的にはほとんど気にならないレベルだと思うし、
メモリリークの問題はそれがHaskellだから諦めて、せいぜい気をつけろと言える
が、状態管理のしにくさは、これが解決すれば
爆発的にユーザーが増えそうなだけに、何か発明がほしいな
ゲームも商支援系ソフトもクリエイター系ソフトも何もまともに作れん
作れたとしても、後のメンテが辛くなるコードが出来上がる
向いているのは自身で状態を維持変化しなくてもいいような、
フィルターとしてモデリングできるものしかなくなる
たとえば linux の簡単なコマンドや web アプリ、FX自動取引システムくらいか
処理速度の問題は実用的にはほとんど気にならないレベルだと思うし、
メモリリークの問題はそれがHaskellだから諦めて、せいぜい気をつけろと言える
が、状態管理のしにくさは、これが解決すれば
爆発的にユーザーが増えそうなだけに、何か発明がほしいな
344デフォルトの名無しさん
2017/04/29(土) 20:54:16.08ID:5gNjoiIm 抽象的な状態遷移はできるでしょ
ただ具体的な現実の状態を忠実に再現しろと言われるとよくわからない
忠実さを競う意味がわからない
ただ具体的な現実の状態を忠実に再現しろと言われるとよくわからない
忠実さを競う意味がわからない
345デフォルトの名無しさん
2017/04/29(土) 22:50:14.03ID:nyANDfpK おはー。
そこよな。
IORefとかで状態管理出来るけど、それだとデフォルト引数とかある普通の言語の方が楽。
どっちかと言えばWebプログラミングみたいにHTMLやDBに状態持ってもらって、ここの項目をこう加工したいって時だけHaskell的なのが良いと思う。
奇しくもMVCとかMVVMのモデル。
キャットドア問題みたいなのは問題自体の使いどころが判らん。
おいらは問題を解決したいのであってクラスを作りたいんじゃ無い。
オブジェクト指向でなぜ作るのかって本のジャンケンを一対一から多人数に拡張みたいなのが問題として本質を突いてると思う。
本当の仕様変更って、一旦根本から考え直さないといけない事があって、解決したいのはそこだからね。
オブジェクト指向だと、結局一旦全部壊してクラスで表現して解決。
関数型言語だと一旦バラしてリストとか加えて使い回せるのは使い回す。
そこよな。
IORefとかで状態管理出来るけど、それだとデフォルト引数とかある普通の言語の方が楽。
どっちかと言えばWebプログラミングみたいにHTMLやDBに状態持ってもらって、ここの項目をこう加工したいって時だけHaskell的なのが良いと思う。
奇しくもMVCとかMVVMのモデル。
キャットドア問題みたいなのは問題自体の使いどころが判らん。
おいらは問題を解決したいのであってクラスを作りたいんじゃ無い。
オブジェクト指向でなぜ作るのかって本のジャンケンを一対一から多人数に拡張みたいなのが問題として本質を突いてると思う。
本当の仕様変更って、一旦根本から考え直さないといけない事があって、解決したいのはそこだからね。
オブジェクト指向だと、結局一旦全部壊してクラスで表現して解決。
関数型言語だと一旦バラしてリストとか加えて使い回せるのは使い回す。
346デフォルトの名無しさん
2017/04/30(日) 00:00:51.50ID:qmSAdND7 関数型を選択することで、あるレベル以上の密結合を完全に禁止できる??
347デフォルトの名無しさん
2017/04/30(日) 00:09:16.78ID:mJmGYhZX348デフォルトの名無しさん
2017/04/30(日) 00:24:21.53ID:SbBDypWI そんな大規模なの作った事ないけど、少なくともクラスみたいにデータと手続きが密接に関係してるものよりは使い回しが効くよ。
ただ、それは関数型言語だからって訳じゃないと思う。
Cがグローバル変数の問題解決して、ジェネリック(テンプレート)導入すればそれで済む。
Goが一番それに近いのかな?(でもジェネリック無いんだよな。。。)
関数型言語はグローバル変数が読み込み専用で、問題になり難いから解決し易かっただけ。
私は文法の美しさでHaskellに惚れてるだけで、Haskellが絶対の解では無いと思ってる。
手続き型にはデフォルト引数とか、メッセージ引数と言う、引数の数や順番を減らしたり入れ替えても問題無い仕組みがある。
それぞれのメリット/デメリットをうまく組み合わせれば良い。
ただ、それは関数型言語だからって訳じゃないと思う。
Cがグローバル変数の問題解決して、ジェネリック(テンプレート)導入すればそれで済む。
Goが一番それに近いのかな?(でもジェネリック無いんだよな。。。)
関数型言語はグローバル変数が読み込み専用で、問題になり難いから解決し易かっただけ。
私は文法の美しさでHaskellに惚れてるだけで、Haskellが絶対の解では無いと思ってる。
手続き型にはデフォルト引数とか、メッセージ引数と言う、引数の数や順番を減らしたり入れ替えても問題無い仕組みがある。
それぞれのメリット/デメリットをうまく組み合わせれば良い。
349デフォルトの名無しさん
2017/05/01(月) 08:17:07.40ID:L9owkeUM 正の整数が1万個格納されたリストAの中に偶数が2個以上あるか調べたいです
手続き型だとcount=0みたいな変数を用意してループを回してcountが2になったらループを打ち切るという形になると思うのですが、
haskellだとどう書けばいいでしょうか?
filterしてから数を数えることも考えたのですがそれだと2つ見つかってからも処理が続くので少し非効率的な気がしてます
初歩的な質問で申し訳ありませんがご教授いただければ幸いです
手続き型だとcount=0みたいな変数を用意してループを回してcountが2になったらループを打ち切るという形になると思うのですが、
haskellだとどう書けばいいでしょうか?
filterしてから数を数えることも考えたのですがそれだと2つ見つかってからも処理が続くので少し非効率的な気がしてます
初歩的な質問で申し訳ありませんがご教授いただければ幸いです
350デフォルトの名無しさん
2017/05/01(月) 09:22:52.54ID:muUl2D49351デフォルトの名無しさん
2017/05/01(月) 09:38:09.96ID:TrluKRLJ その手続き型でのカウンタ変数を蓄積引数にするだけ
solve = solve' 0
where
solve' 2 _ = True
solve' _ [] = False
solve' n (x:xs) = solve' (if even x then (n+1) else n) xs
main = print $ solve [1,3..1000001]
solve = solve' 0
where
solve' 2 _ = True
solve' _ [] = False
solve' n (x:xs) = solve' (if even x then (n+1) else n) xs
main = print $ solve [1,3..1000001]
352デフォルトの名無しさん
2017/05/01(月) 11:06:48.65ID:d2LalM1x353デフォルトの名無しさん
2017/05/01(月) 11:18:51.46ID:XSKy6kSK 遅延評価が必ずループを打ち切る保証はない
length (repeat ()) >= length [] --> ⊥
longer (repeat ()) [] --> True
longer [] _ = False
longer (_:a) (_:b) = longer a b
longer _ _ = True
length (repeat ()) >= length [] --> ⊥
longer (repeat ()) [] --> True
longer [] _ = False
longer (_:a) (_:b) = longer a b
longer _ _ = True
354デフォルトの名無しさん
2017/05/01(月) 11:46:14.32ID:y6q+iQAV 遅延評価だからtake 2で必ず評価止まるわ
355デフォルトの名無しさん
2017/05/01(月) 11:52:30.52ID:IaTjJD59 入力が無限でその中にevenがなけりゃtakeでも止まんないっしょ
356デフォルトの名無しさん
2017/05/01(月) 12:35:32.98ID:CeQn+bFS さすがにその指摘は意味ないと思うけど
357デフォルトの名無しさん
2017/05/01(月) 13:23:37.16ID:XSKy6kSK でも人間にとって無意味な手をコツコツ打って勝つ戦略って最近の人工知能がやりそうだ
358デフォルトの名無しさん
2017/05/01(月) 14:06:36.95ID:muUl2D49 >>355
そんな例だと遅延評価関係なく解決不可能だろう
そんな例だと遅延評価関係なく解決不可能だろう
359デフォルトの名無しさん
2017/05/01(月) 15:43:00.00ID:YV6k5aHw むしろ止まらないのが正常な振る舞いだと思うの
360デフォルトの名無しさん
2017/05/01(月) 17:46:12.38ID:QnncI6PA361デフォルトの名無しさん
2017/05/01(月) 23:03:54.91ID:PiVFXFTP 1まんこ
362デフォルトの名無しさん
2017/05/02(火) 01:06:52.67ID:98ZJhHZq 型でガッチガチに固めてコンパイルエラーで危険なコード通すの阻止してくる関数型言語の姿勢ってフールプルーフ?
363デフォルトの名無しさん
2017/05/02(火) 07:41:56.01ID:kHyZ6XSn >>360
草ァ!
草ァ!
364デフォルトの名無しさん
2017/05/02(火) 10:12:37.54ID:HGZvLmNR >>360
ゾイ!!!!!!!!!
ゾイ!!!!!!!!!
365デフォルトの名無しさん
2017/05/03(水) 16:56:36.78ID:8xTy/mbt ハスケルの発音はどこにイントネーションを置けばいいですか?
366デフォルトの名無しさん
2017/05/03(水) 17:08:16.15ID:j+V3ZaYg はぁすくぅ
367デフォルトの名無しさん
2017/05/03(水) 17:25:56.12ID:YQuBqP26 ハースニールと呼んであげて
368デフォルトの名無しさん
2017/05/03(水) 17:34:41.80ID:3CkyOJSn >>366
「haskell pronounce」でググれば簡単に
https://wiki.haskell.org/Pronunciation
に行き着く。
そうすれば、
https://mail.haskell.org/pipermail/haskell-cafe/2008-January/038756.html
に案内され、疑問が解消されるはずだ。
「haskell pronounce」でググれば簡単に
https://wiki.haskell.org/Pronunciation
に行き着く。
そうすれば、
https://mail.haskell.org/pipermail/haskell-cafe/2008-January/038756.html
に案内され、疑問が解消されるはずだ。
369デフォルトの名無しさん
2017/05/03(水) 19:23:38.05ID:evrxvkuv はあすこぅ
370デフォルトの名無しさん
2017/05/03(水) 23:04:12.27ID:1Ttf2z2u Cabal ケバール
371デフォルトの名無しさん
2017/05/03(水) 23:21:41.48ID:mJ/QVcTI ghcよりcabalより先にstackを入れる。
372デフォルトの名無しさん
2017/05/04(木) 00:29:46.99ID:M/Hnicnq YouTubeをhaskellで検索かけりゃいくらでも聞けるだろ
373デフォルトの名無しさん
2017/05/04(木) 03:31:51.49ID:gAUNCpWB haskellでキーボードから入力した値をそのまま出力する場合、必ず
n <- getLine
putStrLn n
のように一旦変数に束縛する必要がありますか?
一行では書けないのでしょうか
n <- getLine
putStrLn n
のように一旦変数に束縛する必要がありますか?
一行では書けないのでしょうか
374デフォルトの名無しさん
2017/05/04(木) 03:52:33.18ID:0GlJDnqX main = getLine >>= putStrLn
375デフォルトの名無しさん
2017/05/04(木) 03:55:26.58ID:gAUNCpWB >>374
ありがとうございます
ありがとうございます
376デフォルトの名無しさん
2017/05/04(木) 04:12:42.09ID:0GlJDnqX ちなみに
main = do
____n <- getLine
____puStrLn n
と
main = getLine >>= \n -> putStrLn n
と
main = getLine >>= putStrLn
は、等価。
do形式はモナド形式を手続き型っぽく見せる糖衣構文に過ぎない。
最後のはモナド形式とカリー化を利用した部分的用で見た目の変数を無くしただけ。
モナド形式だとプログラム全体が一つの式だと言うのが良く分かる。
main = do
____n <- getLine
____puStrLn n
と
main = getLine >>= \n -> putStrLn n
と
main = getLine >>= putStrLn
は、等価。
do形式はモナド形式を手続き型っぽく見せる糖衣構文に過ぎない。
最後のはモナド形式とカリー化を利用した部分的用で見た目の変数を無くしただけ。
モナド形式だとプログラム全体が一つの式だと言うのが良く分かる。
377デフォルトの名無しさん
2017/05/04(木) 05:28:10.40ID:DGL+h71J ___n は誤解を招く
_korehaTsukaimasen
_korehaTsukaimasen
378デフォルトの名無しさん
2017/05/04(木) 06:57:02.33ID:M/Hnicnq getLine >>= putStrLn じゃなくて interact はダメなん?
379デフォルトの名無しさん
2017/05/04(木) 12:19:44.49ID:xtfIuMNG そもそも、getLineは1行しか読まないしな
380デフォルトの名無しさん
2017/05/04(木) 14:29:46.30ID:gUFA1lSr381デフォルトの名無しさん
2017/05/04(木) 16:34:00.03ID:UGR/WMPx 束縛ってコード(人間の視認性)レベルの話で、コンパイラが吐くバイナリではキャンセルされてるんじゃないの?
バインドで(ポイントフリーみたいに)やったのと変わらないようになってんじゃないの
バインドで(ポイントフリーみたいに)やったのと変わらないようになってんじゃないの
382デフォルトの名無しさん
2017/05/05(金) 21:55:20.21ID:9ig94Wv/ Haskell 教養としての関数型プログラミング 単行本 ? 2017/4/15
重城良国 (著)
https://www.amazon.co.jp/dp/4798048062/
824ページって超大作だな
Haskell本の決定版か?
重城良国 (著)
https://www.amazon.co.jp/dp/4798048062/
824ページって超大作だな
Haskell本の決定版か?
383デフォルトの名無しさん
2017/05/05(金) 21:56:45.82ID:9ig94Wv/ Haskellによる関数プログラミングの思考法 単行本 ? 2017/2/28
Richard Bird (著), 山下伸夫 (翻訳)
https://www.amazon.co.jp/dp/4048930532/
こっちはどうなのだろう?
感想求む
Richard Bird (著), 山下伸夫 (翻訳)
https://www.amazon.co.jp/dp/4048930532/
こっちはどうなのだろう?
感想求む
384デフォルトの名無しさん
2017/05/05(金) 23:25:45.93ID:e6epJNrq385デフォルトの名無しさん
2017/05/05(金) 23:34:27.84ID:RNJ7gaAH すごい本やない。
すごい「H」本や。
すごい「H」本や。
386デフォルトの名無しさん
2017/05/05(金) 23:53:12.22ID:fZIf3DTG 初めてのCっぽくて好き
387デフォルトの名無しさん
2017/05/06(土) 00:17:40.31ID:gZLP5YIG getLineでコンソールから手動入力する時、バックスペースとかで修正出来ないのってhaskeline使う以外に何か方法無いのかな?
388デフォルトの名無しさん
2017/05/06(土) 00:28:11.74ID:MHgXx5Es rlwrapとか?
389デフォルトの名無しさん
2017/05/06(土) 02:13:17.67ID:gZLP5YIG うーん、そういうのじゃないな
390デフォルトの名無しさん
2017/05/06(土) 18:51:05.79ID:smzwp1ku Comonadでオブジェクト指向を実現できるって聞いたけどほんと?
391デフォルトの名無しさん
2017/05/06(土) 23:14:55.28ID:6S4yhtdG スレ違いかもしれませんが、2つのリストに一致する項目だけ抜き出したリストを作るみたいな問題があったとき、
集合論だと集合Aと集合Bの積集合A∩Bを求めるような解き方をすると思うのですが、Haskellのようにラムダ計算が
基になっている関数型言語だとそもそもの考え方や物の見方が違ったりするのでしょうか?
Haskellを学び始めたはいいんですが、結局他言語のパラダイムを無理やりHaskellに適用させているだけのような気がして不安です
集合論だと集合Aと集合Bの積集合A∩Bを求めるような解き方をすると思うのですが、Haskellのようにラムダ計算が
基になっている関数型言語だとそもそもの考え方や物の見方が違ったりするのでしょうか?
Haskellを学び始めたはいいんですが、結局他言語のパラダイムを無理やりHaskellに適用させているだけのような気がして不安です
392デフォルトの名無しさん
2017/05/07(日) 01:09:26.23ID:875uFfQS >>391
質問に答えるだけの知識を持ち合わせていないので一応コードだけ
intersect :: Eq a => [a] -> [a] -> [a]
intersect xs = filter (`elem` xs)
リスト内包表現でも書けるけど関数型っぽいのはこういう書き方なのかも
質問に答えるだけの知識を持ち合わせていないので一応コードだけ
intersect :: Eq a => [a] -> [a] -> [a]
intersect xs = filter (`elem` xs)
リスト内包表現でも書けるけど関数型っぽいのはこういう書き方なのかも
393デフォルトの名無しさん
2017/05/07(日) 01:46:15.37ID:s5HwRSgU394デフォルトの名無しさん
2017/05/07(日) 02:07:21.95ID:J1yK9zIW395デフォルトの名無しさん
2017/05/07(日) 13:16:11.57ID:J1yK9zIW396デフォルトの名無しさん
2017/05/07(日) 16:32:45.84ID:YN83nmbH リスト内包表記はconcatMapを使うからネストできる
[f x y | x <- xs, y <- ys, p x y]
== concatMap (\x -> concatMap (\y -> if p x y then [f x y] else []) ys) xs
パフォーマンスは実際にghcがどういうコードを吐くかだけど
そのままconcatMapでもmapやfilterと同じような最適化が行われるし
必要なければリストの結合も行われない
[f x y | x <- xs, y <- ys, p x y]
== concatMap (\x -> concatMap (\y -> if p x y then [f x y] else []) ys) xs
パフォーマンスは実際にghcがどういうコードを吐くかだけど
そのままconcatMapでもmapやfilterと同じような最適化が行われるし
必要なければリストの結合も行われない
397デフォルトの名無しさん
2017/05/07(日) 16:37:16.65ID:f0nSghKy リスト内包のほうがパフォーマンスでるらしいけどHaskellのパフォーマンスチューンングは難しいから当分気にしないほうがいい
待ってる間に線形型で楽々チューニングできるようになるかもしれないし
待ってる間に線形型で楽々チューニングできるようになるかもしれないし
398デフォルトの名無しさん
2017/05/07(日) 16:58:43.74ID:3IJNEy2Z399デフォルトの名無しさん
2017/05/07(日) 17:18:00.54ID:m17h7+4k 内包表記と再帰を組み合わせることも可能。
夢が広がりング。
夢が広がりング。
400デフォルトの名無しさん
2017/05/07(日) 22:35:33.72ID:t8zqh9+K Web系でもいいのですが、フリーウェア(できればオープンソース)のアプリケーションで、
Haskellで作られたものって何かありますか?
Haskellプログラマだけでなく、一般の人も使っているもので。
もしくは、みなさんならHaskellでどんなアプリケーションを作ってみたいですか?
Haskellで作られたものって何かありますか?
Haskellプログラマだけでなく、一般の人も使っているもので。
もしくは、みなさんならHaskellでどんなアプリケーションを作ってみたいですか?
401デフォルトの名無しさん
2017/05/07(日) 22:48:03.22ID:ESaiO+gS Pandocあたりは比較的広く使われている印象
402デフォルトの名無しさん
2017/05/07(日) 23:26:23.39ID:xgXJ2OQ8 あとはShellCheckだな。bash初心者はとにかくこれ使えって話題のシェルスクリプト更正ツールだ。
403デフォルトの名無しさん
2017/05/08(月) 00:31:05.17ID:XyXCIute オーケーグーグル
Haskellで日本語文字列(Shift-JISやEUC-JP)のファイルを正しく処理する方法
Haskellで日本語文字列(Shift-JISやEUC-JP)のファイルを正しく処理する方法
404デフォルトの名無しさん
2017/05/08(月) 17:26:21.06ID:kaDHepSW みんな夢がないね。
ぼくなんてHaskellプログラム一つでお城のような家が建てれたよ。
ぼくなんてHaskellプログラム一つでお城のような家が建てれたよ。
405デフォルトの名無しさん
2017/05/08(月) 22:42:37.72ID:0FON9WNL406デフォルトの名無しさん
2017/05/08(月) 22:56:09.94ID:9wTmIyqX GitHubとかでHaskellで検索かけりゃ何か出てくるんじゃねーの?
407デフォルトの名無しさん
2017/05/08(月) 23:03:23.31ID:a/GZsbco 論理に基づく人工知能を作るならHaskellがぴったりじゃないかと思うんだけど、プログラミングの技能も論理学の知識もないから作れない
細々と勉強はしてるけど
細々と勉強はしてるけど
408デフォルトの名無しさん
2017/05/08(月) 23:31:16.69ID:Vtk8jBj4 自動イタ電器とか作れや
409デフォルトの名無しさん
2017/05/08(月) 23:32:41.17ID:9whwcEDU 達人プログラマーになりたい欲求はあるけど何かを作りたいっていう欲求は薄いわ
410デフォルトの名無しさん
2017/05/08(月) 23:43:37.38ID:iNFmh6sq やはりゲームだな。あとはGUIアプリ。なにかのエディタのようなものがいいな。
Haskellで複雑な状態を扱うのは困難、と言ってる人らに反論したい。
実際のところはどうなのか想像する前に、まずはそういう状況に直面する必要がある。
Haskellで複雑な状態を扱うのは困難、と言ってる人らに反論したい。
実際のところはどうなのか想像する前に、まずはそういう状況に直面する必要がある。
411デフォルトの名無しさん
2017/05/08(月) 23:49:55.75ID:iNFmh6sq EmacsのプラグインもHaskellで書きたい。正格データと遅延データを色分けして表示できたら嬉しそうだ。
GHC API を使えばできるかもしれない。
なんにしてもHaskellでやりたい。俺はもうLispは嫌だ…
GHC API を使えばできるかもしれない。
なんにしてもHaskellでやりたい。俺はもうLispは嫌だ…
412デフォルトの名無しさん
2017/05/08(月) 23:59:34.03ID:0FON9WNL >>409
どういうことですか?
私が知っている達人プログラマ、要するにハッカーですが、
彼らはみな何かを作ってました(ます)。
なので、作ることに関心が無い達人プログラマというのが想像しにくいのですが。
あ、競技プログラミングのトッププレーヤーとかですか?
どういうことですか?
私が知っている達人プログラマ、要するにハッカーですが、
彼らはみな何かを作ってました(ます)。
なので、作ることに関心が無い達人プログラマというのが想像しにくいのですが。
あ、競技プログラミングのトッププレーヤーとかですか?
413デフォルトの名無しさん
2017/05/09(火) 00:07:55.03ID:CfiI0NLl414デフォルトの名無しさん
2017/05/09(火) 00:12:52.22ID:PrpfKmLN 作る以外に改造とかに気合入れる人とかもいるんじゃね?
415デフォルトの名無しさん
2017/05/09(火) 00:50:22.97ID:j9MX7/aM >>413
今は外部言語でかけるしくみがあるから、エディタそのものを置き換えなくてもいいんだ。
それが現実的だと思う。Emacsのような巨大なものは厳しい。見上げるだけで首が疲れるよ。先人は偉大だね。
今は外部言語でかけるしくみがあるから、エディタそのものを置き換えなくてもいいんだ。
それが現実的だと思う。Emacsのような巨大なものは厳しい。見上げるだけで首が疲れるよ。先人は偉大だね。
416デフォルトの名無しさん
2017/05/09(火) 10:12:37.98ID:jmx2rYXI >>400
写真が趣味だから、Jpegのカラー画像をモノクロやセピアに変換するツール作りたくてHackage漁ったら使い易そうなのがCライブラリ使ってるんで、そう言うの入れやすいLinux導入。
暇があったらチマチマ作りたいけど、暇がない。。。
写真が趣味だから、Jpegのカラー画像をモノクロやセピアに変換するツール作りたくてHackage漁ったら使い易そうなのがCライブラリ使ってるんで、そう言うの入れやすいLinux導入。
暇があったらチマチマ作りたいけど、暇がない。。。
417デフォルトの名無しさん
2017/05/09(火) 11:12:04.61ID:TCAyfaNB itchynyタソがcamを作った時、一部の画像ファイルが(ライブラリのせいで)読めないのに腹を立てて
だったらhaskellで書いてやると一念発起したのがcamh。いまでも活躍してます。
lesspipeに組み込むとか。ちなこれはimlib2を使ってるので大抵の画像は読める。
だったらhaskellで書いてやると一念発起したのがcamh。いまでも活躍してます。
lesspipeに組み込むとか。ちなこれはimlib2を使ってるので大抵の画像は読める。
418デフォルトの名無しさん
2017/05/09(火) 22:12:03.59ID:PrpfKmLN haskellを業務でつかうような仕事に転職すればOK
419デフォルトの名無しさん
2017/05/09(火) 22:21:49.15ID:kDNeTnk7 仕事では使わんが、概念というかエッセンスはめっちゃ役に立ってるな
興味本位で触っといて良かったとマジ思う
興味本位で触っといて良かったとマジ思う
420デフォルトの名無しさん
2017/05/09(火) 22:47:25.87ID:1T1N541v >>419
その手の話ここで時々聞くけど、Haskellの何が何にどう役だったのか、
具体的な話を聞いたことが一度もない。
$$$な状況でHaskell未経験のヤツは***だったけど、経験者の俺は###できた、とか。
そういう事を具体的に語ったブログとか無いんかな?
英語でも構わないんだけど。
その手の話ここで時々聞くけど、Haskellの何が何にどう役だったのか、
具体的な話を聞いたことが一度もない。
$$$な状況でHaskell未経験のヤツは***だったけど、経験者の俺は###できた、とか。
そういう事を具体的に語ったブログとか無いんかな?
英語でも構わないんだけど。
421デフォルトの名無しさん
2017/05/09(火) 23:13:21.51ID:0m9lmeXL 比較するなら同一のものに対して、Haskell でのアプローチと
その他のアプローチをする必要があるので、
そんな贅沢な時間の使い方するやつはユーザ数が多くないと現れないんじゃないかな?
その他のアプローチをする必要があるので、
そんな贅沢な時間の使い方するやつはユーザ数が多くないと現れないんじゃないかな?
422デフォルトの名無しさん
2017/05/09(火) 23:21:27.66ID:PrpfKmLN tanakhにhaskellやっててよかった話を要求するか
423デフォルトの名無しさん
2017/05/09(火) 23:24:21.68ID:xmCSMJsq C++やC99以降みたいな「どこでも変数宣言」を嫌うようになった
宣言した位置と使う位置が離れるのは書き方が悪いからだ、というかなんか
宣言した位置と使う位置が離れるのは書き方が悪いからだ、というかなんか
424デフォルトの名無しさん
2017/05/10(水) 00:12:52.35ID:HNykyFkL 高階関数を多用する様になったとか、関数の純粋さを気にして関数分割する様になったとか
設計やコードが以前より分かりやすくなってテストもしやすくなったと思う
カリー化や部分適用がもっと簡単に出来たらってモヤモヤする事も多いけど
設計やコードが以前より分かりやすくなってテストもしやすくなったと思う
カリー化や部分適用がもっと簡単に出来たらってモヤモヤする事も多いけど
425デフォルトの名無しさん
2017/05/10(水) 02:17:13.25ID:k+Fw34TB 別に関数型プログラミングって今まで出来なかったことが出来るようになる手法じゃないしな
コードを直感的に書けるようにすることでプログラムの全体的な質を高める手助けをしてくれるような感じ
メリットを語れと言われたら一晩中でも絡めちゃ語れる
コードを直感的に書けるようにすることでプログラムの全体的な質を高める手助けをしてくれるような感じ
メリットを語れと言われたら一晩中でも絡めちゃ語れる
426デフォルトの名無しさん
2017/05/10(水) 07:52:30.59ID:JBi0Fo4L 関数型とは月極、定礎に匹敵する巨大グループだがそれが存在する証拠はない
統計学的には母集団が実在する証拠を出す義務はない
統計学的には母集団が実在する証拠を出す義務はない
427デフォルトの名無しさん
2017/05/10(水) 18:59:47.60ID:oW0tCmUv 私は、Windowsで大きなランタイムとか必要なく
実行形式のバイナリを作れるのが助かってる。
小さいバッチプログラムとか。
実行形式のバイナリを作れるのが助かってる。
小さいバッチプログラムとか。
428デフォルトの名無しさん
2017/05/11(木) 05:52:26.63ID:0s1wVfC9 ghcmod-vimってstack環境で動かないのな
429デフォルトの名無しさん
2017/05/12(金) 14:16:42.66ID:jiodGJOF haskelは使わないけど関数型の勉強はすごいためになる
ライブラリが提供する地雷メソッド見抜けるようになった
ライブラリが提供する地雷メソッド見抜けるようになった
430デフォルトの名無しさん
2017/05/12(金) 20:57:00.05ID:nS2W/WX/ 意識的にオブジェクトをモノイドにしたりするようになった
431デフォルトの名無しさん
2017/05/12(金) 21:47:41.07ID:YH3Rdz9Y 皆の言う関数型の経験が生きた事をアドバイスしてるオブジェクト指向の本が出ないのは何故か
432デフォルトの名無しさん
2017/05/12(金) 22:37:15.98ID:ZlSd19FP 本を書くのが楽な作業だとでも思ってるの?
433デフォルトの名無しさん
2017/05/12(金) 22:41:48.24ID:QfK6Pl49 その内容で一冊書きたいならそれをテーマにした小説にしてページを埋めないとだな
いいものはみんな本になるはずという前提がそもそも間違ってる
いいものはみんな本になるはずという前提がそもそも間違ってる
434デフォルトの名無しさん
2017/05/12(金) 22:48:49.78ID:YH3Rdz9Y >>432
楽かどうかの話じゃなくて、皆の言ってる事はここ数年の関数型の特長じゃないじゃん
ずいぶん昔から変わらない関数型の特長でしょ
関数型のいいところを手続き型(オブジェクト指向)にも取り入れようとし出したのもかなり昔の話だし
なのに、ここ数日このスレで挙げられた事が本になっていないのが不思議なんだよ
和書はともかく洋書でも無いじゃん
楽かどうかの話じゃなくて、皆の言ってる事はここ数年の関数型の特長じゃないじゃん
ずいぶん昔から変わらない関数型の特長でしょ
関数型のいいところを手続き型(オブジェクト指向)にも取り入れようとし出したのもかなり昔の話だし
なのに、ここ数日このスレで挙げられた事が本になっていないのが不思議なんだよ
和書はともかく洋書でも無いじゃん
435デフォルトの名無しさん
2017/05/13(土) 00:09:37.73ID:7Z9U0QOC ハスケル環境整えやすいのって
436デフォルトの名無しさん
2017/05/13(土) 00:10:00.54ID:7Z9U0QOC Windows debian?
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【無言】中国怒らせた高市首相→1週間だんまり、国民に実害も説明なし 中国問題を避けてスルー… ★9 [BFU★]
- 【🍝】「偽カルボナーラ」にイタリア激怒、パンチェッタの使用は「犯罪」と非難 [Ailuropoda melanoleuca★]
- 【速報】 植田日銀総裁 「円安進行が物価高を起こしている」 [お断り★]
- 中国で喧伝される「日本苦境論」、中国ネットは懐疑的「日本人は実際は喜んでいるのでは?」「日中共に『こっちが勝った』って言ってる」 [1ゲットロボ★]
- 日本行き航空券キャンセル54万件以上 中国国営メディア報道「キャンセルの寒波」 [♪♪♪★]
- 【テレビ】2027年春のNHK朝ドラ タイトルは『巡(まわ)るスワン』 ヒロインは森田望智 脚本はバカリズム [冬月記者★]
- 【高市悲報】ドイツ銀「早苗ショック、あるかも」 [115996789]
- 🏡パンかお米どっち派?🍞🍞😅🍚🍚🏡
- 【高市悲報】ドル円、毎日1円ずつ上昇⤴🔥🔥 [573041775]
- 高市経済ブレーン「経済理論では積極財政で円高になる筈。市場が信用するまで為替介入で抑えるべき」 [237216734]
- 片山財務相「原因はわからないが一方的に急激に円安になって憂慮してる」高市 [931948549]
- 愛国者「我が国の海産物は世界の市場で引く手あまた」総輸出額24%減のグラフを示しながらピシャリ [834922174]
