関数型プログラミング言語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/ 68 名前：デフォルトの名無しさん mailto:sage [2017/01/26(木) 08:50:54.03 ID:lcTQYluv.net] 最近Haskellの勉強を始めたのですが、 ["aa", "bb", f ["cc", "dd"] ] = ["aa", "bb", "cc", "dd"] となるような関数fはどのように書けるでしょうか もしくはそのような既存の関数はありますか 69 名前：デフォルトの名無しさん mailto:sage [2017/01/26(木) 11:12:47.33 ID:CzfVK0w5.net] >>68 型が合わないのでかけないと思う 70 名前：デフォルトの名無しさん mailto:sage [2017/01/26(木) 13:24:39.66 ID:lcTQYluv.net] >>69 やはり書けませんか… ありがとうございます 71 名前：デフォルトの名無しさん [2017/01/26(木) 16:38:08.74 ID:2yUJ7U50.net] 普通に++での結合じゃアカンのか？ 72 名前：デフォルトの名無しさん mailto:sage [2017/01/26(木) 16:46:28.90 ID:+E0dl1ly.net] たぶんその前の時点でアプローチがHaskellのやり方じゃないんだろう 73 名前：デフォルトの名無しさん mailto:sage [2017/01/26(木) 17:04:34.61 ID:CzfVK0w5.net] スタック型言語なら直接68のやり方は可能だと思う 74 名前：デフォルトの名無しさん [2017/01/26(木) 17:09:08.58 ID:gPJK2FxR.net] アンパックしたいのか 75 名前：デフォルトの名無しさん mailto:sage [2017/01/26(木) 17:18:35.09 ID:MclODevV.net] どういう文脈でそれをしたくなったのか説明してくれれば うまい代替案が出てくるかもよ 76 名前：デフォルトの名無しさん mailto:sage [2017/01/26(木) 17:36:01.96 ID:9y5sHdOj.net] 文脈は知らないが応用問題を作ればなんとなくわかる length ["aa", "bb", f xs] の値がコンパイル時に定数になることを証明せよ または定数にならないような関数fを書け 77 名前：デフォルトの名無しさん mailto:sage [2017/01/26(木) 20:00:55.44 ID:XEk5YWy9.net] >>76 応用つか全然違う問題じゃないか 78 名前：デフォルトの名無しさん mailto:sage [2017/01/26(木) 21:43:31.09 ID:q6lSzUEJ.net] 68です 単なる興味本位で出来ないものかと頭を捻らせていたもので 79 名前：デフォルトの名無しさん mailto:sage [2017/01/27(金) 06:04:37.64 ID:gELNspyu.net] うーん そもそも、それ許すとバグの温床になるからこその型だしねぇ。。。 80 名前：デフォルトの名無しさん mailto:sage [2017/01/27(金) 07:51:28.34 ID:6/LCWfy+.net] Cのプリプロセッサというのを使うというのはどうだろう 81 名前：デフォルトの名無しさん mailto:sage [2017/01/27(金) 08:14:39.10 ID:Gw4smznt.net] ["a","b"] ++ (id ["c","d"]) あかんの？ 82 名前：デフォルトの名無しさん mailto:sage [2017/01/27(金) 08:53:18.21 ID:3bNTd4fp.net] それを許すと何も面白くない駄作の温床になるからね 83 名前：デフォルトの名無しさん mailto:sage [2017/01/28(土) 01:14:43.56 ID:fSWa9KDr.net] Template Haskellの話題ではないのか 84 名前：デフォルトの名無しさん [2017/01/28(土) 03:42:22.11 ID:IY+AilYG.net] haskellだと簡潔に書けるので -shared で .dll(in windows), .so(in linux) を作って使っているのですが、 import Data.Text (or Data.List.Split.Internals)等で関数を書くと .hsのコンパイルはいけるんですが -shared の時に 85 名前：デフォルトの名無しさん [2017/01/28(土) 03:43:06.88 ID:IY+AilYG.net] 定義されていない参照です, とエラーが出ます。 取り敢えず自分で関数書いてるので問題は無いのですが、haskellの勉強も兼ねて解消したいです。 どなたか教えて頂けないでしょうか 86 名前：デフォルトの名無しさん mailto:sage [2017/01/28(土) 05:34:16.63 ID:vo7t9bEK.net] FTPだっけ。あれどうなったか知ってる人いる？ length (4,2) == 1 になっちゃうやつ。 87 名前：デフォルトの名無しさん mailto:sage [2017/01/28(土) 09:59:41.44 ID:9bw7znio.net] path パッケージの Path.parseRelDir 関数で、引数に "." や "../" が指定できないのは何故？ "." や "../" って相対パスちゃうの？ 88 名前：デフォルトの名無しさん mailto:sage [2017/01/28(土) 10:15:30.83 ID:fSWa9KDr.net] > "." や "../" って相対パスちゃうの？ カレントディレクトリからの相対パスだが そのpathパッケージとやらはカレントディレクトリを認識してるのか？ 89 名前：デフォルトの名無しさん mailto:sage [2017/01/28(土) 16:29:13.45 ID:1e+Xw+ps.net] 重城良国 Haskell 教養としての関数型プログラミング Richard Bird 他1名 Haskellによる関数プログラミングの思考法 Haskell本が今度二冊も出るみたいですね 90 名前：デフォルトの名無しさん mailto:sage [2017/01/28(土) 20:17:03.76 ID:9bw7znio.net] >>88 「カレントディレクトリを認識する」ってのがどういう意味なのか分からんのだが。 たとえば filepath パッケージに System.FilePath があるけど、 こっちのはカレントディレクトリを認識してるって言えるの？ 91 名前：デフォルトの名無しさん mailto:sage [2017/01/29(日) 00:01:01.66 ID:fPEtEvtP.net] >>87 なんかissueで普通ノーマライズするから不要で、そういうルールだとか言ってるが その割に/をハードコードしてたり 言ってる意味不明だから使わない方がいいぞこれ 92 名前：デフォルトの名無しさん mailto:sage [2017/01/29(日) 08:43:35.35 ID:INpmjvgO.net] >>91 path パッケージのラッパーになってる path-io パッケージは良さそうなんだが、 path の方がそんなんでは、どうもな・・・ アドバイスありがと、止めておくよ。 93 名前：デフォルトの名無しさん mailto:sage [2017/01/29(日) 08:52:55.32 ID:W0xWcefq.net] foldrと同じ働きの関数foldr'は foldr' :: (a -> b -> b) -> b -> [a] -> b foldr' f v [] = v foldr' f v (x:xs) = f x (myFoldr f v xs) で定義できますが、:tで調べるとPreludeのfoldrの型は foldr :: Foldable t => (a -> b -> b) -> b -> t a -> b になってます。 foldr'の型宣言を同様に修正するとエラーが出ます。 エラーが出なくするために二行目の空リスト[]を どう修正したら良いのか分からんとです。 94 名前：デフォルトの名無しさん mailto:sage [2017/01/29(日) 08:55:53.89 ID:W0xWcefq.net] 訂正 上の myFoldr は foldr' の間違いです。 95 名前：デフォルトの名無しさん mailto:sage [2017/01/29(日) 09:16:54.72 ID:OhLobWwB.net] これ見るのはダメなん？ https://hackage.haskell.org/package/base-4.6.0.1/docs/src/Data-Foldable.html#foldr 96 名前：デフォルトの名無しさん mailto:sage [2017/01/29(日) 13:55:23.65 ID:/KLkodo+.net] Foldableは単にfoldr出来ますよーってだけの型クラスだから リストなどのインスタンスを持ってこないと具体的には定義できない (==) :: Eq a => a -> a -> Bool だけでは定義しようがないのと同じ 97 名前：デフォルトの名無しさん mailto:sage [2017/01/29(日) 15:59:36.88 ID:ExFk7aPU.net] FTPはとっくに取り入れられてた。base 4.8.0から。気付かんかったわ 98 名前：デフォルトの名無しさん mailto:sage [2017/02/01(水) 13:32:39.96 ID:53XrODAY.net] stackアップデートできねえぞ atomでエラーでたぞ ghciってなんでデフォルト一行なの 勉強用なの？ふつうつかわないの？ atomとそのコマンド、パッケージ選び Gitって初心者なのに入れるの？ ないとターミナルいれられないんだが ああめんどい コマンドプロンプト見にくい フォントきもい ターミナル必要なのか ビルゲイツしね ターミナルってのないとエディタからコンパイルできないの？ コンパイルなし実行できないの？ ライブラリとはなにか、どこにあるのか アトムから読めんのか ライブラリよんで勉強するもんなのか Windowsのディレクトリなにこれ ユーザー名フォルダの場所とか意味不明 パスってなに、パスの通し方 こんなんググらせんなよ よくこんなの考えやがったな やること多すぎ 時間かかりすぎ おぼえたくない 時間のムダ 技術じゃなくて雑学だな 自動化しとけまとめとけクソクソうんこ それでもプログラマか 啓蒙する気ゼロだなほんと 99 名前：デフォルトの名無しさん mailto:sage [2017/02/01(水) 13:51:05.42 ID:53XrODAY.net] オブジェクトファイルとインターフェースファイルのこともちゃんとまえもって教えないとダメでしょ qiitaとか入門云々とかはてなブログとかほんと死ねばいいのよ なんでもかんでも初心者にググらせてんじゃないよ！ 100 名前：デフォルトの名無しさん mailto:sage [2017/02/01(水) 16:06:50.00 ID:Iw+tyvVU.net] コンパイラは難しい 昔の古いインタプリタは簡単だった 確率は1/2じゃなくて実際は9割以上が難解な方を選ぶんだろう 101 名前：デフォルトの名無しさん mailto:sage [2017/02/01(水) 17:56:57.37 ID:UXwydrfk.net] またワードサラダボットが稼働を始めたか 102 名前：デフォルトの名無しさん mailto:sage [2017/02/01(水) 18:22:05.14 ID:C6fGSB5S.net] 初心者じゃなくなってもなんでもかんでもググってる俺 カン拡張って何？ふむふむわからん 103 名前：デフォルトの名無しさん mailto:sage [2017/02/01(水) 18:27:07.04 ID:v0ndbkEe.net] Kan拡張？ 聞いた瞬間分かるわ圏論由来ってwww 圏論の本読め 104 名前：デフォルトの名無しさん mailto:sage [2017/02/01(水) 19:57:57.60 ID:M7LFtYkC.net] リンシャンカイホウ？ 105 名前：デフォルトの名無しさん mailto:sage [2017/02/01(水) 20:05:04.51 ID:Iw+tyvVU.net] 紙の本がなくなったら本を読むのもインストールで挫折する時代が来るかも 106 名前：デフォルトの名無しさん mailto:sage [2017/02/04(土) 23:20:45.84 ID:9/lBQk1n.net] 俺の部屋にはインストールで挫折した本が積み重なっている 107 名前：デフォルトの名無しさん mailto:sage [2017/02/05(日) 14:17:32.23 ID:TDpThq2o.net] ネタバレはズルという思想があるよね タダで教えてもらえるネタバレを全部理解してから本を買うという発想ができない 108 名前：デフォルトの名無しさん mailto:sage [2017/02/05(日) 22:41:58.34 ID:TdsB4n5F.net] FIT（Framework for Integrated Test） fit.c2.com/ これの Haskell 実装にチャレンジしてる人いる？ そんな人のブログやHP知らない？ 試しに GitHub を探してみたけど、見当たらない感じ。 109 名前：デフォルトの名無しさん mailto:sage [2017/02/05(日) 22:42:57.06 ID:Whb3/S6q.net] 俺も龍を捨てて玉を詰むという勇気が出ない 110 名前：デフォルトの名無しさん mailto:sage [2017/02/06(月) 12:52:47.67 ID:Ld2MqDtI.net] Haskell obj 111 名前：ectiveってどうなったの？ やっぱダメだった？ [] [ここ壊れてます] 112 名前：デフォルトの名無しさん mailto:sage [2017/02/06(月) 14:32:11.26 ID:CcXtgB5F.net] >>110 これか? https://hackage.haskell.org/package/objective Haskell objectiveでググると最初に出てくる 113 名前：デフォルトの名無しさん mailto:sage [2017/02/06(月) 14:44:23.19 ID:Ld2MqDtI.net] 使いやすさ的にどうだったのかなって。 作ったの日本人っぽいけど 114 名前：デフォルトの名無しさん mailto:sage [2017/02/06(月) 15:50:30.09 ID:CcXtgB5F.net] >>111 Haskellでの合成可能なオブジェクトの構成とその応用 https://fumieval.github.io/papers/ja/2015-Haskell-objects.pdf >この章では、本稿で提案するオブジェクトの定義やその性質について説明する。なお、これから >示すオブジェクトや関連する構造は、公開している objective パッケージ 1 に格納されている。 > 1 hackage.haskell.org/package/objective 115 名前：デフォルトの名無しさん mailto:sage [2017/02/08(水) 01:03:40.92 ID:E7OnquDd.net] functor分からんとHaskellは使えないの？ 116 名前：デフォルトの名無しさん mailto:sage [2017/02/08(水) 03:27:27.73 ID:lPz/aekC.net] 凄いHを一通りやって、今はReal world haskellやってる途中 設計関連がまだよく分かってないな モナド変換子とか非同期関連もよく分かってないや 関数型の勉強で始めたけど中々難しい 言語としては今の所簡潔で好きではある、ってか他言語の括弧がキモく見えてきた 117 名前：デフォルトの名無しさん mailto:sage [2017/02/08(水) 09:54:44.42 ID:8j/X+nWQ.net] オフサイドルールには賛否両論ある 118 名前：デフォルトの名無しさん mailto:sage [2017/02/09(木) 04:29:48.20 ID:SonJzAjc.net] >>114 んな事ない。 と言うか、昔はファンクタ自体無かった。 モナドあるならファンクタも入れろや的な。 モナドも、使うぶんにはいつの間にか使ってる感じ。 モナドとは何か？とか考えると難しいけど、まあモナドもファンクタも型の一種。 そう言う特性の関数や演算子を使うための。 言わば、処理の流れにも型があるとでも思ってくれ。 119 名前：デフォルトの名無しさん mailto:sage [2017/02/09(木) 08:20:37.05 ID:CYxwUQWJ.net] >>114 実際的に重要なのはFunctorというよりも(そのインターフェースの)fmapの理解かな 多分よく出会うのはListのmapだけど、まずはこいつを使いこなせるようになれば Haskellらしい、関数型らしい書き方ができるようになってくると思う 120 名前：デフォルトの名無しさん [2017/02/09(木) 08:31:16.17 ID:/fB7Lbok.net] fmapとmapの名付けは解せない 121 名前：デフォルトの名無しさん mailto:sage [2017/02/09(木) 08:58:32.86 ID:UTxumv29.net] モナド則は 型と関数と関数合成が満たすべきルール。 ただし自作モナドがモナド則を満たすことを保証する機構はない。 122 名前：デフォルトの名無しさん mailto:sage [2017/02/10(金) 15:45:40.33 ID:5JASqTbe.net] fromIntegralに短縮名つけるのが癖の人っている？ fI = fromIntegral 的な 123 名前：デフォルトの名無しさん mailto:sage [2017/02/10(金) 18:50:22.57 ID:xMx0FpSS.net] 長くなるならletで別行で定義する 124 名前：デフォルトの名無しさん mailto:sage [2017/02/11(土) 23:22:07.65 ID:8gjNJV43.net] メッセージングシステムを主なアーキテクチャとしているアプリケーションにおいて、 そのメッセージの種類を増やすことでアプリケーションの機能を拡張する際に、 コンパイルすべきモジュールの数を最小限に抑える方法を探しています。 メッセージングシステムというと大げさかもしれませんが、 たとえば Win32API のウィンドウメッセージのようなものを想像してください。 モジュールAとモジュールM、およびモジュールTがあるとします。 モジュールTの中ではMsg型が定義されいます。 data Msg = MsgX String Int | MsgY [Double] また、モジュールTはモジュールAとモジュールMの両方からインポートされています。 モジュールMの関数はモジュールAの関数を呼び、モジュールAの関数は型Msgの値を返します。 モジュールMの関数はMsgXが帰ってきた場合と、MsgYが帰ってきた場合とでその後の処理を変えています。 ここで、このアプリケーション機能を拡張しようと、Msg型にデータコンストラクタMsgZを追加しました。 そして、MsgZを返す関数を持つモジュールBを新たに作りました（もちろんモジュールTをインポートしています）。 ただし、既存のモジュールAは何も変更していません。 しかしそれでも、これをビルドする際にはモジュールAの再コンパイルが必要です。 インポートしている、つまり依存しているモジュールTが更新されたからです。 このような単純なメッセージングシステムの作りだと、どうしてもアプリケーションを拡張する際にモジュールTの更新が伴い、 それによって、変更していない多くのモジュールの再コンパイルが必要になります。 かといって極端な話、メッセージや付随するデータを ByteString 型にシリアライズすれば再コンパイルの問題は解決しますが、 今度は型の不一致や未定義メッセージなどのバグがコンパイル時に発見できなくなり、それもマズいです。 厳格な型システムの恩恵にあずかりながら、かつ不要な再コンパイルを抑えるようなメッセージングシステムの構築方法はないでしょうか。 125 名前：デフォルトの名無しさん mailto:sage [2017/02/12(日) 13:50:57.94 ID:EOfitV0o.net] javaですら良く分からんやつに haskellのモナドなど分かるはずも無く 126 名前：デフォルトの名無しさん mailto:sage [2017/02/12(日) 15:45:54.11 ID:+1FsHT8L.net] ポインタ理解するときもモナド理解するときも小1で自転車補助輪外す時もみんな同じ� 127 名前：ｴ覚だった気がする 学習は滴定曲線のように、『気づいたら知って』いた [] [ここ壊れてます] 128 名前：デフォルトの名無しさん mailto:sage [2017/02/12(日) 16:10:07.24 ID:QGOwrBDz.net] たいていの概念は名前も説明も勿体つけてるが実はたいしたことはない さらに最悪なのは長々と理屈ついている割に扱いは他の概念と変わらないやつだ そういうのを世間では屁理屈という 129 名前：デフォルトの名無しさん mailto:sage [2017/02/12(日) 17:52:39.61 ID:C9OkM4dT.net] 西尾維新批判はやめろ 130 名前：デフォルトの名無しさん mailto:sage [2017/02/12(日) 21:33:24.01 ID:hoDvKKnX.net] アベノミクスとか新常態とかもそうだよね 131 名前：デフォルトの名無しさん mailto:sage [2017/02/12(日) 22:25:13.91 ID:cs8Gyxec.net] haskellの本が出るみたいだから買ってみよう 132 名前：デフォルトの名無しさん mailto:sage [2017/02/12(日) 23:59:55.00 ID:t7tEKqZ9.net] >>89の二冊か 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] どうしても難解になりがちはワンライナーやコードゴルフで遊ぶのは人の自由だと思うけど遊び以外で使うのはたしかにどうかと思う

---

---

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

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