- 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/
- 32 名前：デフォルトの名無しさん mailto:sage [2017/01/21(土) 00:19:25.12 ID:0azuxgYp.net]
- 麻雀AIを作るばよい
- 33 名前：デフォルトの名無しさん mailto:sage [2017/01/21(土) 01:18:36.08 ID:vr64D6+/.net]
- Real World Haskell って不人気なの？
- 34 名前：デフォルトの名無しさん [2017/01/21(土) 06:37:05.65 ID:9Cnx0LpZ.net]
- Real World Haskell ってやつで勉強してみるは！
- 35 名前：デフォルトの名無しさん mailto:sage [2017/01/21(土) 08:24:01.76 ID:bTMqa3aS.net]
- >>31
じゃあ部屋の写真や動画から、その部屋の3Dモデルを生成するアプリは？
模様替えとか、新しい友人に紹介する時とかに便利。
- 36 名前：デフォルトの名無しさん mailto:sage [2017/01/21(土) 10:48:25.57 ID:bTMqa3aS.net]
- 質問
stack でドキュメントも同時に生成するようにビルドすると(haddock: true)、
依存してるstackageのパッケージのドキュメントは生成されるけど、
stack.yamlのextra-depsの項に追加したパッケージの物は生成されなかった。
後者のドキュメントも生成して、
~/.stack/snapshots/<arch>/<lts version>/<ghc version>/doc/
に追加したいのだが、何か方法はないだろうか？
- 37 名前：デフォルトの名無しさん mailto:sage [2017/01/21(土) 11:52:22.55 ID:Rj5My/0A.net]
- >>36
haddock-deps: true
でいけると思う
- 38 名前：デフォルトの名無しさん mailto:sage [2017/01/21(土) 13:02:10.06 ID:bTMqa3aS.net]
- >>37
ありがと、できた。
少し前に stack build --help でオプション一覧を見たはずなんだが、
ボケてたのか、すっかり見逃してたみたい。
- 39 名前：デフォルトの名無しさん mailto:sage [2017/01/21(土) 13:29:53.85 ID:bTMqa3aS.net]
- >>37
できたと思ったら勘違いだった。
プロジェクト内の .stack-work にはドキュメントが作られるが、
~/.stack/snaoshots 内のドキュメントには融合されない。
- 40 名前：デフォルトの名無しさん mailto:sage [2017/01/21(土) 23:24:33.24 ID:pbRX6RFT.net]
- >>27
プロジェクトオイラーあたりに取り組んでみるとか
アルゴリズム系で骨のある課題がお望みなら「珠玉のアルゴリズムデザイン」をどうぞ
- 41 名前：デフォルトの名無しさん mailto:sage [2017/01/21(土) 23:51:49.78 ID:Rj5My/0A.net]
- >>39
うーん、調べてみたけどわからなかった。
stack build --exec CMD でビルド後にドキュメントをコピーするか
stack build --haddock-arguments ARGS でstackからhaddockに渡るパスを上書きするとか
そういうのは思いついたけど、どっちにしても厳しいハックになると思う。
- 42 名前：デフォルトの名無しさん mailto:sage [2017/01/22(日) 02:31:21.87 ID:/vT6BoNb.net]
- なんでStringってshowするときに” “ が付くの？
ダブルクォートが付かない汎用的なshowは無いの？
- 43 名前：デフォルトの名無しさん [2017/01/22(日) 06:46:55.70 ID:0MfM9wAO.net]
- show使わなきゃいいだけじゃね
- 44 名前：デフォルトの名無しさん mailto:sage [2017/01/22(日) 09:49:36.00 ID:DE1XkK5k.net]
- >>41
調べてくれて、ありがとう。
こっちでもって調べてみたけど、そもそも同じ悩みを持ってる人が見当たらない。
とりあえず今回は諦めて保留にするよ。
- 45 名前：デフォルトの名無しさん mailto:sage [2017/01/22(日) 11:16:36.00 ID:8a05MHn2.net]
- 実用上全く考えたこともなかったけど
show "ABC"
って
"\"ABC\""
って出力されるんだなｗｗｗｗウケる
show $ show "ABC"
"\"\"ABC\"\""
ｗｗｗｗｗｗｗｗｗｗｗ
- 46 名前：デフォルトの名無しさん mailto:sage [2017/01/22(日) 12:04:32.12 ID:+cEF+CqT.net]
- >>42
show 2 と show "2" が区別できないと困るじゃん
- 47 名前：デフォルトの名無しさん mailto:sage [2017/01/22(日) 13:42:11.92 ID:KAhPA/LR.net]
- >>42
どうしても欲しいなら作ればいい。
{-# LANGUAGE FlexibleInstances #-}
instance {-# OVERLAPPING #-} Show [Char] where show = id
- 48 名前：デフォルトの名無しさん [2017/01/22(日) 13:55:33.85 ID:1WETee73.net]
- id = read . show にするためだゾ
- 49 名前：デフォルトの名無しさん [2017/01/22(日) 14:50:30.18 ID:ppe8FoC9.net]
- >>19
強いHaskeller先輩「(・・・これC++で提出した方が早いな)」
- 50 名前：デフォルトの名無しさん mailto:sage [2017/01/22(日) 18:20:13.46 ID:TMVq9uWR.net]
- スペースリークの問題があってまともなコードには使えないというイメージを持ってるんだが
最近はその辺どうなってるのか知ってる？
自分はホームページ出力とかのメモリリークが問題にならないコードにhaskell使ってる
でもスペースリーク解決したらもっと色んなソフト開発に使ってみたい
- 51 名前：デフォルトの名無しさん [2017/01/22(日) 19:13:53.53 ID:0MfM9wAO.net]
- >>49
haskell-masterことtanakhさん！
- 52 名前：デフォルトの名無しさん mailto:sage [2017/01/22(日) 20:48:57.10 ID:2pJ85nMW.net]
- tanakhさんは最近はHaskellどころか競プロにRustで提出しだしてるよ…
tanakhさんはHaskellを見捨てたんだ…
- 53 名前：デフォルトの名無しさん [2017/01/22(日) 21:14:58.84 ID:0MfM9wAO.net]
- そもそもhaskell-masterと名乗って参加してたのがhaskell使えないTopCoderだったしなtanakhさん
- 54 名前：デフォルトの名無しさん mailto:sage [2017/01/22(日) 21:43:58.70 ID:LUcM/+lo.net]
- >>50
他の言語なら、いらなくなった変数にnullを代入することがスペースリークの解決策
nullを代入することには問題があるというイメージだったが
むしろ解決策じゃね？というイメージに最近変わった
その変化に貢献したのがHaskellだった
- 55 名前：デフォルトの名無しさん mailto:sage [2017/01/22(日) 22:35:32.21 ID:KAhPA/LR.net]
- >>50
あなたは何を以てスペースリークが解決されたと見なしてるの？
スペースリークを気にする必要がなくなった＝解決なの？
もしそうなら、そんな未来は来ないと思う。
遅延評価を採用している以上、スペースリークは絶対に気にしなければならない。
あるヒープ領域がスペースリークなのかどうか、ランタイムシステムには判断できないんだから。
スペースリークなのかどうかがもっと調べやすくなる未来は来ると思うけどね。
- 56 名前：デフォルトの名無しさん mailto:sage [2017/01/22(日) 23:37:17.44 ID:LUcM/+lo.net]
- これに関しては遅延評価でも並列処理でも同じこと
処理が終わったらメモリ解放されるが途中で止まったら解放されない問題
- 57 名前：デフォルトの名無しさん mailto:sage [2017/01/23(月) 08:47:48.02 ID:z+XsKe69.net]
- 昨日の50だけど具体的には
n=1000とか先頭で決め打ちしといてコード書くのは大丈夫でも
上限を与えられるようにするとリークするので大きなnを与えられなかったり
配列の読み書きのコードを逐一doブロックに書くのはokだったけど
<<=を使って書いたらスペースリークしたこともあるし
いちいちこれはリークするのかとか考えながらコードはかけないなと思った
haskellでproject euler 200問弱といたけどその間に思ったことだよ
えっこれがリーク？みたいなのがある
>>55
明確なスペースリーク対策のガイドラインができたらかなぁ
>>54
俺はあれはクソコードが、と思ってた
javaならweakreferenceを使うという手があって
だから最近のapiは進歩しててandroidならsetBackgroundDrawableが非推奨になって
setBackgroundをつかえみたいになってるnull代入しなくてよくなってるような
- 58 名前：デフォルトの名無しさん mailto:sage [2017/01/23(月) 10:43:46.71 ID:txYt6xvX.net]
- >>57
project euler の何番がスペースリークのせいで解きにくかったか思い出せる？
こっちでも検証してみたい。
思い出せないのなら、1番から順にやってみるけど。
- 59 名前：デフォルトの名無しさん mailto:sage [2017/01/23(月) 11:25:17.95 ID:z+XsKe69.net]
- >>58
さすがにそこまでは覚えてないけど後半はコードにスペースリークがあると
すぐセグメンテーションフォルトする
序盤の問題は時間もスペースも気にせず簡単に解ける問題が多いので
その目的なら100番ぐらいから始めた方がいいよ
1番からだとさくさく進んで楽しいけどね
- 60 名前：デフォルトの名無しさん mailto:sage [2017/01/23(月) 12:27:38.51 ID:txYt6xvX.net]
- >>59
分かった。
100番以降で、かつサイズが決め打ちできないものをやってみる。
- 61 名前：デフォルトの名無しさん mailto:sage [2017/01/23(月) 21:52:59.71 ID:Wt4rS9Jl.net]
- Project Eulerでの答えを求めるのには十分でも
HackerRankのProject Euler+の同じ問題でTLEしたりしたことある
- 62 名前：デフォルトの名無しさん mailto:sage [2017/01/23(月) 22:38:43.36 ID:ibzQibs1.net]
- say :: Show s => s -> IO ()
say s = “Say, ++ show s ++ “!!”
print 1234
=> Say, 1234!!
print “Haskell”
=> Say, “Haskell”!!
ああああああああ!!!(ﾌﾞﾘﾌﾞﾘﾌﾞﾘﾌﾞﾘｭﾘｭﾘｭﾘｭ!!!ﾌﾞｯﾁﾁﾌﾞﾌﾞﾌﾞﾁﾁﾁﾌﾞﾘﾘﾘﾌﾞﾌﾞﾌﾞｩｩｩｩｯｯｯ!!!)
- 63 名前：デフォルトの名無しさん mailto:sage [2017/01/24(火) 00:13:24.79 ID:MMtIoejY.net]
- Showがどういう意図のものか理解してないで使ってるって話？
melpon.org/wandbox/permlink/qMLLG4dQGoOHcKXe
- 64 名前：デフォルトの名無しさん mailto:sage [2017/01/24(火) 11:43:31.36 ID:OsDnSY6Y.net]
- showをユーザー定義する権利を与える代わりに「正しい」定義を決める義務がなくなる
というwinwinの関係
- 65 名前：デフォルトの名無しさん mailto:sage [2017/01/24(火) 11:53:28.57 ID:GCEfrzc1.net]
- 法則を満たしてるか静的にチェックする機構をコンパイラに実装することは理論上
①不可能
②可能（だが現実には困難）
③可能（で鋭意開発中）
④
- 66 名前：デフォルトの名無しさん mailto:sage [2017/01/24(火) 12:06:44.09 ID:OsDnSY6Y.net]
- 法則ではなくユーザーの自由意志です
- 67 名前：デフォルトの名無しさん mailto:sage [2017/01/25(水) 07:07:08.08 ID:sKR8yojt.net]
- instance Show [Char] と書く方法の他に
instance Show Char の中で showList を定義するという方法もある
- 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の二冊か
|
 |
