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

1 名前：デフォルトの名無しさん mailto:sage [2017/01/15(日) 23:43:54.28 ID:Vh4eztBk.net] 関数型プログラミング言語 Haskell について語るスレです。 haskell.org (公式サイト) www.haskell.org/ 前スレ 関数型プログラミング言語Haskell Part28 echo.2ch.net/test/read.cgi/tech/1428597032/ 133 名前：デフォルトの名無しさん [2017/02/14(火) 00:10:05.79 ID:haBe4Sdm.net] お前らってこういうのチェックしてたりするの？ Haskell News haskellnews.org/grouped 134 名前：デフォルトの名無しさん mailto:sage [2017/02/14(火) 07:07:04.56 ID:0/yLOI7Z.net] そもそもfoldはループより速い？ 135 名前：デフォルトの名無しさん mailto:sage [2017/02/14(火) 10:36:57.61 ID:CVjuh2pk.net] >>132 Haskellにはループ構文はありません。 一体何と比較した話でしょうか？ 136 名前：デフォルトの名無しさん mailto:sage [2017/02/14(火) 16:50:38.39 ID:m6BuE6wx.net] >>133 C 137 名前：デフォルトの名無しさん mailto:sage [2017/02/14(火) 21:33:40.60 ID:jOgsWiWm.net] >>134 Haskellの中で複数のアルゴリズムの比較はできますが、 C言語のforループとの速度の比較はできません。 138 名前：デフォルトの名無しさん mailto:sage [2017/02/14(火) 23:12:33.60 ID:Bh34MboJ.net] バイナリを吐かせて逆汗すれば比較できるんでないの？ つっても多くの関数呼び出しはインライン展開されるんだろうが 139 名前：デフォルトの名無しさん mailto:sage [2017/02/15(水) 05:29:57.20 ID:De10g5Ib.net] >>132 データ構造やコンパイラによる。 Haskellは基本リストなのでアドレスが連続してるとは限らない。 Cだと同じ処理を配列に施す様なループはSIMD命令に変換される。 Haskellはそう言う命令に変換する為のデータ構造使う。 (データの連続性を保証するためにもデータ構造が別なのだと思う) IntelC++コンパイラとかだと最新のSIMD命令に対応してる。 gcc程度まではHaskellでも書き方次第では追い付けるだろうけど、CPUメーカー謹製の最新CPU対応コンパイラにまでは勝てない。 入門書レベルではHaskellはCに勝てないけど、いかなる並列・並行処理も否定してない。 140 名前：デフォルトの名無しさん mailto:sage [2017/02/15(水) 06:42:21.88 ID:+7DpWr8H.net] そもそもHaskellのfoldとCのforループとでは、 速度を比較するための条件をそろえる事ができません。 たとえばプロセスを立ち上げてから処理し終えるまでの時間、 このレベルであればHaskellとCの比較に意味はあります。 実行環境という条件を同一にできるからです。 (ちなみに、この場合はCの方をHaskellより速くすることができます) 一方HaskellのfoldとCのforというレベルでは、まず計算するために入力するデータが違います。 foldの入力データ型はリスト(Foldableのインスタンス)ですが、同じものをCで再現できますか？ 入力データをそろえなければ「関数程度のレベルの比較」に意味はありません。 141 名前：デフォルトの名無しさん mailto:sage [2017/02/15(水) 07:03:08.40 ID:mu4JLPUi.net] 扱うモナドがファンクタのとき return . f =<< m は f <$> m とシンプルに置き換え可能なのですね 142 名前：デフォルトの名無しさん mailto:sage [2017/02/15(水) 10:15:38.52 ID:JnBGC/9x.net] 何年か様子見してたけどやっぱり流行らんな 難しいから底辺には普及しないはわかるが だったら上位の連中は食いつくかと言えばそんなことはなかった 143 名前：デフォルトの名無しさん mailto:sage [2017/02/15(水) 11:05:35.10 ID:3lGP54OB.net] 難いのに普及したC 144 名前：デフォルトの名無しさん mailto:sage [2017/02/15(水) 11:41:14.45 ID:1S7+uRG8.net] C以前の言語がひどすぎたんだ 145 名前：デフォルトの名無しさん mailto:sage [2017/02/15(水) 13:18:52.67 ID:jktpXUxB.net] えっ、Modula-2とかCより読み易くて 低レベルのシステム記述も出来たのに 全然普及せんかったでw 政治的理由と思うが突然Turbo Modula-2 の販売が中止になってTurbo-C出たけどね。 146 名前：デフォルトの名無しさん mailto:sage [2017/02/15(水) 17:36:32.27 ID:kkhdLQ6B.net] 出た！ 陰謀論！ 147 名前：デフォルトの名無しさん mailto:sage [2017/02/16(木) 00:44:11.97 ID:PsfAYoHu.net] 流行り廃りに合理的な理由なんてない。 148 名前：デフォルトの名無しさん mailto:sage [2017/02/16(木) 04:02:18.89 ID:zxmzXW5F.net] 普及言語からHaskellに乗り換えに難しく感じる部分 ・do記法は関数で構成されるという関数型プログラミングの理解のための学習の邪魔をする(混乱させる) ・型を気にせず書けるスクリプト言語からだと強力すぎる型推論のおかげで型があるという感覚になじめず型に関するエラーでイラ立つ ・C言語系からだとreturnがreturn構文じゃない、if-elseが式である ・イミュータブルしかない、再代入が出来ない、（ように感じ）思うようにコード書けず辛い ・Haskellについて語る書の書き方や視点が数学寄りのものが多く理解が難しい(奴らが言うようなこまけえ数学っぽいこと気にせんでもコードは書けるっちゅうに純粋さにこだわりすぎ) 149 名前：デフォルトの名無しさん mailto:sage [2017/02/16(木) 15:22:31.85 ID:VWTLMYuE.net] そもそもハスケルの強みって何？ 計算時間ではビジュアルスタジオに遠く及ばないだろ？ 描画とか数学的処理も他の高級言語使った方がよくね？ 150 名前：デフォルトの名無しさん mailto:sage [2017/02/16(木) 16:47:16.10 ID:fRybmYDX.net] 仕様記述言語の強み 自分が強くなるために右往左往するよりも 強くなりたいならああしろこうしろと指図して右往左往させる側 151 名前：デフォルトの名無しさん [2017/02/16(木) 18:17:34.39 ID:VWTLMYuE.net] 右往左往の意味がよく分からんが、自分が考えて手を動かす量が減るということかな？ 152 名前：デフォルトの名無しさん mailto:sage [2017/02/16(木) 19:16:01.32 ID:9Ohg+UxU.net] Haskellでゲーム作りたいです！ 153 名前：デフォルトの名無しさん mailto:sage [2017/02/16(木) 20:28:16.21 ID:qwVWj3LU.net] 言語仕様はともかく実行環境がおそ松すぎる 154 名前：デフォルトの名無しさん mailto:sage [2017/02/16(木) 21:04:48.77 ID:lgZA8NJM.net] >>151 どのような意味で言っているのかよく分かりません。 もう少し詳しく説明していただけないでしょうか。 155 名前：デフォルトの名無しさん mailto:sage [2017/02/17(金) 08:05:51.13 ID:nCBINic8.net] >>151 腐女子なの？ 156 名前：デフォルトの名無しさん mailto:sage [2017/02/17(金) 08:37:50.87 ID:iKIs1hpk.net] 遅いと言われようと、フィボナッチ数列をzipWithで1行で書ける言語というところに魅力を感じている (そんなに何度もフィボナッチ数列を書く機会があるわけではないが表現力の一例として) 157 名前：デフォルトの名無しさん mailto:sage [2017/02/17(金) 10:28:30.13 ID:nCBINic8.net] 1行フィボナッチって結構あるんだな全然知らなかった https://wiki.haskell.org/The_Fibonacci_sequence 158 名前：デフォルトの名無しさん mailto:sage [2017/02/17(金) 13:55:10.09 ID:gJ+iD/w/.net] パスカルの三角形を出したいんだけど、 ++使ってるのが気に食わないのだがうまく消せなかった import Data.List (unfoldr) pastri :: [[Int]] pastri = unfoldr (\l -> Just (l, body l)) [1]     where       body xs = 1 : zipWith (+) xs (tail xs) ++ [1] main = mapM_ print $ take 15 pastri 159 名前：デフォルトの名無しさん mailto:sage [2017/02/17(金) 19:08:56.34 ID:ishbEDrB.net] 型に関数型のデータを持たせることはできますか？ GHC.TypeLitsで自然数型のデータをもたせることは出来ましたがどうやら関数型は無いようです ニュアンスとしては以下のような事をやりたいです newtypeでaを定義し直しMonoidのインスタンスにすれば同じ処理は出来ますが 冗長性を省いてシンプルに記述したいです newtype Hoge (f :: a->a->a) (a :: *) = Hoge a deriving Show instance (Num a) => Monoid (Hoge f a) where mempty = Hoge 0 (Hoge x) `mappend` (Hoge y) = Hoge (f x y) 160 名前：デフォルトの名無しさん mailto:sage [2017/02/17(金) 20:56:35.22 ID:BpdtDTW+.net] data Hoge a = Hoge (a -> a -> a) a これだとHoge f 0とHoge g 0の型は同じになってしまう 引数fをgに変えると戻り値の型が変わるような関数Hogeは動的言語なら作れるかも 161 名前：デフォルトの名無しさん mailto:sage [2017/02/17(金) 21:34:57.67 ID:WL7YVLDK.net] >>156 長さが異なるリスト同士の zipWith で、短い方の末尾をデフォルト値で補って長さを揃える、 そんな関数 zipWith' を作ってはどうでしょうか。 zipWith' :: (a -> a -> a) -> a -> [a] -> [a] -> [a] zipWith' _ _ [] [] = [] zipWith' f d [] (y:ys) = f d y : zipWith' f d [] ys zipWith' f d (x:xs) [] = f x d : zipWith' f d xs [] zipWith' f d (x:xs) (y:ys) = f x y : zipWith' f d xs ys これを使えば、例えば [1, 3, 3, 1] から [1, 4, 6, 4, 1] は次のようにして作れます。 let xs = [1, 3, 3, 1] zipWith' (+) 0 xs (0 : xs) この関数は一方だけでも無限リストだと止まらないので注意が必要ですが、 ときどき役に立つので私は自分のツールボックスに入れています。 162 名前：デフォルトの名無しさん mailto:sage [2017/02/17(金) 22:22:44.78 ID:nCBINic8.net] パスカルの三角形はロゼッタコードにあるのが限界でしょ Pascal's triangle - Rosetta Code https://rosettacode.org/wiki/Pascal%27s_triangle#Haskell 163 名前：デフォルトの名無しさん mailto:sage [2017/02/18(土) 01:35:58.15 ID:4ADoOqjk.net] >>156 以前にこんなのを書いたことがある pascal :: (Integral a) => [[a]] pascal = map (1:) $ (:) (repeat 0) $ zipWith (zipWith (+)) pascal $ map tail pascal -- pascal => [ [1,0,0,..], [1,1,0,0,..], [1,2,1,0,0,..], [1,3,3,1,0,0,..], .. ] 2重リストなんで見た目複雑だけど発想としては fib = 0:1: zipWith (+) fib (tail fib) とほぼ同じ 164 名前：デフォルトの名無しさん mailto:sage [2017/02/18(土) 12:34:28.15 ID:OQ3VgdS2.net] ++をネタにする作者の気持ちをスルーしてパスカルの三角形を熱く語る 理系の鑑 165 名前：デフォルトの名無しさん mailto:sage [2017/02/19(日) 07:14:56.06 ID:rxEXn9HF.net] pascal = map (takeWhile (/= 0)) $ iterate (\xs -> 1 : zipWith (+) xs (tail xs)) (1 : repeat 0) melpon.org/wandbox/permlink/HLKtAXzGodOF3ZGP 166 名前：デフォルトの名無しさん mailto:sage [2017/02/19(日) 10:09:57.42 ID:obWbRffz.net] ところで・・・ コメントを読まなくても、どのように計算しているのかがぱっと見て分かる、 それが関数型が持つ高い宣言性の良いところ。 また、そのようにプログラムしても、もともとGHCが持つ優秀な最適化能力や、 プログラムの見た目を壊すことなく最適化を促すことができる仕組みのおかげで、 結果的にかなり効率の良い処理がなされる実行ファイルが出力される。 （実用的なアプリケーションで十分に耐えられる） にも関わらず、そのメリットをあえて潰すようなプログラムをする人が稀にいるが、 純粋関数型のHaskellを使っておきながら、他に優先すべき事項があるのだろうか。 まぁ、縛りパズルをして遊んでいるのなら分かるが。 167 名前：デフォルトの名無しさん mailto:sage [2017/02/19(日) 11:37:29.74 ID:TYcfVj75.net] 今ここで言う必要のないものを必要と思い込むことも縛りのパターンの一つ 168 名前：デフォルトの名無しさん mailto:sage [2017/02/19(日) 18:51:42.32 ID:rxEXn9HF.net] どうしても難解になりがちはワンライナーやコードゴルフで遊ぶのは人の自由だと思うけど遊び以外で使うのはたしかにどうかと思う 169 名前：デフォルトの名無しさん mailto:sage [2017/02/19(日) 19:20:27.12 ID:Mzz/1Hry.net] ポイントフリー教も1変数のパイプみたいなやつならまだ分かるのだが (中間変数が無くなるから効率が上がるという話もある、 そのくらいGHCが最適化してくれてもよさそうなのに) 2変数以上になると完全に暗号めいてて困る 170 名前：デフォルトの名無しさん mailto:sage [2017/02/19(日) 20:52:17.90 ID:TYcfVj75.net] xss = (1 : repeat 0) : [ zipWith (+) (0 : xs) xs | xs <- xss ] pascal = [ takeWhile (/=0) xs | xs <- xss ] これは2変数というか2重ループ それと再帰のために自分自身に名前をつけた時点でポイントフリーは諦めている筈 171 名前：デフォルトの名無しさん mailto:sage [2017/02/19(日) 23:43:55.15 ID:rxEXn9HF.net] ポイントフリーって何？こういうこと？ pascal = map (takeWhile (/= 0)) $ iterate ((1 :) . map sum . transpose . take 2 . tails) (1 : repeat 0) melpon.org/wandbox/permlink/bYSi5tfNVy5zfzPg 172 名前：デフォルトの名無しさん mailto:sage [2017/02/20(月) 00:18:45.73 ID:mtupkOQi.net] 変数名かんがえたくないときポイフリできたらしちゃうことある 173 名前：デフォルトの名無しさん [2017/02/20(月) 00:20:11.39 ID:bFWxmJHr.net] ArrowLoopの解釈はこれで合ってるの？ tamae.2ch.net/test/read.cgi/dame/1439747269/241-242n 174 名前：デフォルトの名無しさん mailto:sage [2017/02/20(月) 20:56:54.49 ID:uIdMc98M.net] ArrowLoopがどういうインターフェイスなのかいまいちよく分からないけど その定義でどう動くかはfによるとしか・・・ 175 名前：デフォルトの名無しさん mailto:sage [2017/02/20(月) 22:57:03.60 ID:tib6qfwe.net] 結局ハードウェアの動きとあまりに乖離しすぎてるってのが 普及しない理由じゃないかと。 176 名前：デフォルトの名無しさん mailto:sage [2017/02/21(火) 04:45:41.06 ID:bkUsfADx.net] 量子コンピュータが普及する時は言語どうなるんかな CPUに合わせた新しい言語になるのか、今の言語をベースにコンパイラに任せるのか 原理とか全く知らなくて言ってるけど 177 名前：デフォルトの名無しさん mailto:sage [2017/02/21(火) 11:55:34.70 ID:hz5m2IGZ.net] メモリとCPUが分離しすぎているおかげでメモリ上のデータ構造に変化がない OOPははそこを変えようとしたのか 分離するのやめれば破壊的イノベーションが起きるのではと 178 名前：デフォルトの名無しさん mailto:sage [2017/02/21(火) 19:46:11.18 ID:CLRDv6M0.net] ほんとぉ？ 179 名前：デフォルトの名無しさん mailto:sage [2017/02/21(火) 22:11:08.30 ID:3rYbm5Zu.net] golangはOOPとは違うような 180 名前：デフォルトの名無しさん mailto:sage [2017/02/22(水) 01:32:49.98 ID:doFig/5A.net] tanakh神って色々とやられておられるのですね hackage.haskell.org/user/HideyukiTanaka 181 名前：デフォルトの名無しさん mailto:sage [2017/02/22(水) 11:25:20.39 ID:C8G0Nbdq.net] ContrainedなFunctorを実装していて直面した問題です 問題の本質を以下の単純化したコードで例示します 最後２つのインスタンス宣言の間で"Duplicate instance declarations" エラーが発生してしまいます これは型aがOldAとUsefulFoo両方のクラスのインスタンスである場合どちらのnewHogeを実行すればいいのか区別がつかないからですが 実用上このケースは無意味で意図してコードを書かなければ起こり得ません OldAとUsefulFooの両方のインスタンスになるような型が存在しないことをghcに伝えられればエラーにしなくても良いと思うのですがそのようなテクニックや言語拡張はあるのでしょうか {-# LANGUAGE FlexibleInstances, UndecidableInstances #-} class OldA a where hoge :: a -> a class NewA a where newHoge :: a -> a class UsefulFoo a where us :: a -> a ef :: a -> a ul :: a -> a instance OldA a => NewA a where newHoge = hoge instance UsefulFoo a => NewA a where newHoge = us . ef . ul 182 名前：デフォルトの名無しさん [2017/02/23(木) 00:49:33.52 ID:9wlFqT9C.net] 諦メロン 183 名前：デフォルトの名無しさん mailto:sage [2017/02/23(木) 06:24:32.19 ID:1D9YdnQF.net] >>178 最近はRustに御執心の様子 184 名前：デフォルトの名無しさん mailto:sage [2017/02/24(金) 02:19:21.58 ID:bZ+UJBqj.net] >>179 OldAとUsefulFooとNewAの設計方針が間違っていたのでは？ 185 名前：デフォルトの名無しさん mailto:sage [2017/02/24(金) 11:52:40.03 ID:e/BP7pNw.net] 最新のGHCは簡単な余再帰が末尾再帰に変換されて最適化かかるの？ 186 名前：デフォルトの名無しさん mailto:sage [2017/02/25(土) 01:04:24.08 ID:wcM+rtIC.net] >>182 melpon.org/wandbox/permlink/2dkmGhuBxpuIXnLU ↓ melpon.org/wandbox/permlink/zMLvKlMSoP1i5EFb 187 名前：デフォルトの名無しさん mailto:sage [2017/02/25(土) 06:14:09.47 ID:rUogqkUr.net] これがアスペか 188 名前：デフォルトの名無しさん mailto:sage [2017/02/25(土) 06:24:01.20 ID:E4CT8R9/.net] fib_mem :: Int -> Integer fib_mem = (map fib [0..] !!) 　where 　　fib 0 = 1 　　fib 1 = 1 　　fib n = fib_mem (n-2) + fib_mem (n-1) https://www.packtpub.com/mapt/book/Application%20Development/9781786464217/1/ch01lvl1sec09/Memoization+and+CAFs フィボナッチは前スレのこれが美しすぎた。 これを見た後では zipWithのフィボナッチとか完全に霞んで見える。 189 名前：デフォルトの名無しさん mailto:sage [2017/02/25(土) 11:33:38.62 ID:J8MTJSeU.net] 数式に近いから美しいって言ってるのかもしれないけど それは fib_mem :: Int -> Integer fib_mem x = _fibs !! x _fibs = map _fib [0..] _fib 0 = 1 _fib 1 = 1 _fib n = fib_mem (n-2) + fib_mem (n-1) みたいに一時データがユニークになるって話だから メモ化されるって言ってもO(n^2)だけどな 190 名前：デフォルトの名無しさん mailto:sage [2017/02/25(土) 12:20:37.16 ID:5RveVCtH.net] こんな所で感動しちゃってどうするの そういうのは万策尽きて神頼みするような時だけいい 数学に感情は不要 191 名前：デフォルトの名無しさん mailto:sage [2017/02/25(土) 18:51:36.03 ID:A0aZ5Z9S.net] 初歩的なメモ化で感動できた頃の心の輝きは大切にしていきたい 192 名前：デフォルトの名無しさん mailto:sage [2017/02/25(土) 18:58:12.64 ID:A0aZ5Z9S.net] メモ化してトップダウンするより足していってボトムアップの要領の良さが勝つ回 193 名前：デフォルトの名無しさん mailto:sage [2017/02/26(日) 22:44:13.60 ID:+sRU0DuI.net] stack new して作ったプロジェクトでライブラリを作りました。 （cabal ファイルに executable の代わりに library の項目を書いた） stack build して正しくビルドされたことを確認してから stack install しました。 この後、別の stack new したプロジェクトで、先程 stack install したライブラリを使用するには、 どうすればよいのでしょうか。 194 名前：デフォルトの名無しさん mailto:sage [2017/02/27(月) 10:48:09.56 ID:TbO8J9W/.net] stack.yamlのpackagesから設定できるよ、stack installはしなくて良い https://docs.haskellstack.org/en/stable/yaml_configuration/ 195 名前：デフォルトの名無しさん mailto:sage [2017/02/27(月) 22:42:50.07 ID:6zX/SjR0.net] >>192 出来ました。 ありがとうございました。 196 名前：デフォルトの名無しさん mailto:sage [2017/03/01(水) 13:33:54.14 ID:5kGyNHm4.net] 諸君、議論したまえ 197 名前：デフォルトの名無しさん [2017/03/02(木) 08:35:24.25 ID:jHvj97KG.net] tamae.2ch.net/test/read.cgi/prog/1475046306/812n Haskellerが現れた 198 名前：デフォルトの名無しさん mailto:sage [2017/03/06(月) 19:44:44.66 ID:BYkqMHF2.net] 新しく出たHaskell本の感想ｸﾚｸﾚ 199 名前：デフォルトの名無しさん mailto:sage [2017/03/06(月) 20:21:59.21 ID:j+wBUtqM.net] 前書きだけ立ち読みしたけど あれ関数プログラミング入門を書き直したものなんだな 200 名前：デフォルトの名無しさん mailto:sage [2017/03/06(月) 20:28:33.59 ID:MHxEW6Wj.net] 古い方持ってたら不要なのね 201 名前：デフォルトの名無しさん mailto:sage [2017/03/06(月) 23:01:20.41 ID:WL27y1mu.net] マジかよ危うく買うところだった 202 名前：デフォルトの名無しさん mailto:sage [2017/03/07(火) 00:14:37.81 ID:+xePePxn.net] かなり書き直してるよ 203 名前：デフォルトの名無しさん mailto:sage [2017/03/07(火) 10:44:02.94 ID:mr++RUpk.net] Bird氏の本の第三版か。 あの人、Functional Programmingの大御所なんだね。 すごいHやGraham氏、その他日本人著者の書いたのをいろいろ読んだけど、 コアな部分を理解するならBird氏の本だと思った。 翻訳第二版のファンシーな表紙をやめて、 原著の表紙の虎を持ってきたのは何かあったのだろうか？ww 204 名前：デフォルトの名無しさん mailto:sage [2017/03/07(火) 13:07:01.84 ID:H+HmLSCA.net] >>201 コアと言うのは、例えばどんな部分？ 205 名前：デフォルトの名無しさん mailto:sage [2017/03/07(火) 13:38:15.87 ID:fYd9KAIw.net] と思ったらそもそも関数プログラミング入門買ってなかったのでこれを機会に買おう 206 名前：デフォルトの名無しさん mailto:sage [2017/03/07(火) 17:44:15.63 ID:rdG5C9r5.net] kinkyな表紙にしてくれ 207 名前：デフォルトの名無しさん mailto:sage [2017/03/07(火) 17:49:10.46 ID:mr++RUpk.net] >202 最初から正格、非正格を念頭に置いた上で議論が進んでいく。その時点で既に毛色が違う。 豆知識として、リスト内包表記とdo構文の<-の関係も載ってた。 証明問題が多く、数学がわかんないときつい感じ。 208 名前：デフォルトの名無しさん mailto:sage [2017/03/07(火) 20:23:58.44 ID:36OrCepo.net] >>205 あぁなるほど、そう言うのを一般に「コア」って言うのか ありがと 209 名前：デフォルトの名無しさん mailto:sage [2017/03/08(水) 06:06:40.10 ID:XWjfITmE.net] https://stackoverflow.blog/2017/02/07/what-programming-languages-weekends/ 210 名前：デフォルトの名無しさん mailto:sage [2017/03/08(水) 06:44:38.74 ID:KZ+JXzQR.net] 今更すぎる 和訳で知ったのに原文貼って物知り顔するな 211 名前：デフォルトの名無しさん mailto:sage [2017/03/08(水) 12:31:57.39 ID:RBmx3E25.net] >>207 週末に人気のあるプログラミング言語（StackOverflow調べ） https://developers.srad.jp/story/17/02/09/0354232/ 週末にいちばん多く使われるプログラミング言語は？ postd.cc/what-programming-languages-weekends/ 212 名前：デフォルトの名無しさん [2017/03/11(土) 21:23:14.84 ID:uo9d8gfu.net] Haskellにも依存型があと数年以内に組み込まれるらしいですが、使用目的は専ら型安全性を得るためなのでしょうか？ 213 名前：デフォルトの名無しさん mailto:sage [2017/03/11(土) 23:30:29.33 ID:UHyrmxcZ.net] 定理証明支援系はいつですか？ 214 名前：resumi [2017/03/12(日) 01:08:56.73 ID:f0Kjw9v5.net] これ普通にショックだね。。 本当なの？？ https://goo.gl/RB0asw 215 名前：デフォルトの名無しさん mailto:sage [2017/03/12(日) 01:54:17.97 ID:kqHBJY7y.net] 見てないけどグロ 216 名前：デフォルトの名無しさん mailto:sage [2017/03/12(日) 22:59:29.77 ID:fpOKmvSG.net] 最新のGHCだと余再帰が可能な限り自動で末尾再帰に変換されて最適化がかかるって聞いたんですけど本当すか？ 217 名前：デフォルトの名無しさん mailto:sage [2017/03/13(月) 08:05:36.75 ID:0mFH2buk.net] tanakhに訊け 218 名前：デフォルトの名無しさん mailto:sage [2017/03/13(月) 10:55:02.44 ID:dlgNAjv1.net] tanakhとかうざ 219 名前：デフォルトの名無しさん mailto:sage [2017/03/14(火) 22:01:52.58 ID:EYcQAf3p.net] Data.Setをモナドにしたい場合はどうしてますか？ GADTsを使ったものと https://wiki.cse.unsw.edu.au/cs4181/13s2/Schedule?action=AttachFile&do=get&target=thum460.pdf type familyを使ったものと https://hackage.haskell.org/package/constrained-categories-0.3.0.1/docs/Control-Monad-Constrained.html#g:1 もしくはそれ以外にも方法はあるのでしょうか 220 名前：デフォルトの名無しさん mailto:sage [2017/03/16(木) 21:36:03.95 ID:4z74DpyU.net] 使う型がInt32なら32を、Int64なら64をコンパイル時に決定してソースコードに埋め込むメタプログラミングな関数を書くにはどうしますか？ 221 名前：デフォルトの名無しさん mailto:sage [2017/03/16(木) 22:28:40.43 ID:4z74DpyU.net] Int に 対する read が遅くて困っています。 80万個のInt型をreadするのに、10^9付近の整数ばかりの場合と、1とか10とか小さな整数ばかりの場合とで 2 倍も処理時間が違ってきます。（2秒が4秒です！） もっと速く読み込む方法はありませんか？ （但し標準入力からとします） 222 名前：デフォルトの名無しさん [2017/03/16(木) 23:18:00.86 ID:xmljzEMX.net] readInt 223 名前：デフォルトの名無しさん [2017/03/16(木) 23:20:30.52 ID:xmljzEMX.net] ByteStringのreadInt 224 名前：デフォルトの名無しさん [2017/03/16(木) 23:21:15.32 ID:xmljzEMX.net] readIntegerだった うろ覚えだったすまん 225 名前：デフォルトの名無しさん mailto:sage [2017/03/17(金) 00:45:32.34 ID:gNJfFjGV.net] melpon.org/wandbox/permlink/Uii2xmdQFxxnwLS4 226 名前：デフォルトの名無しさん mailto:sage [2017/03/17(金) 00:46:54.92 ID:gNJfFjGV.net] これは全然メタじゃない 227 名前：デフォルトの名無しさん mailto:sage [2017/03/18(土) 18:18:35.73 ID:bH58Sv6/.net] >>221 ありがとうございます。10倍速く動くようになりました 228 名前：デフォルトの名無しさん mailto:sage [2017/03/18(土) 19:37:41.00 ID:bH58Sv6/.net] ひょっとして、foldl か foldl' かよりも、そこに渡す二項関数の方を正格にするか遅延のまま かが速度に関わっているのでしょうか？ ※二項関数は(+)やmaxのように単純であるとする 229 名前：デフォルトの名無しさん mailto:sage [2017/03/19(日) 04:00:42.66 ID:o/zGHEH2.net] ん、何言ってんだ。二項関数の問題じゃなくて二項関数に渡す『二つの引数が今すぐどちらも値まで評価されるかどうか』が問題なのか。 される場合、foldl'の方がサンクなしの省メモリ（定数空間？）で処理が進むのか。 foldl'で正格に評価するといってもWHNFで止まるんですもんね サンクが要らないからその部分（サンクの作成と破棄）のオーバーヘッドがなくなってちょっとだけ速くなるのか。でもあくまで foldl' の利点は省メモリの方か 230 名前：デフォルトの名無しさん mailto:sage [2017/03/19(日) 10:06:06.54 ID:awlj00/Y.net] https://github.com/google/codeworld code.world/ これに関する質問ってこのスレでいいの？ 231 名前：デフォルトの名無しさん mailto:sage [2017/03/19(日) 10:30:10.95 ID:fNC16+Hl.net] 速度の比較をしたいならまずプロファイルを取りなさい 232 名前：デフォルトの名無しさん mailto:sage [2017/03/19(日) 14:43:43.30 ID:qjqnp6Y8.net] V8エンジンで無茶苦茶速くなったことだし、もうTypeScriptでいいやと思うようになった。 233 名前：デフォルトの名無しさん [2017/03/20(月) 20:37:53.08 ID:H6ds3WUf.net] 教えてください 何らかの型の巨大データがメモリ内にあったとして、データが用済みになった時に手動で解放する方法がHaskellにありますか？ そもそもそういう発想が間違いかも？

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef