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

1 名前：デフォルトの名無しさん [2020/02/10(月) 18:17:36 ID:L6eYQqyh.net] 関数型プログラミング言語 Haskell について語るスレです。 Haskell Language(公式サイト) https://www.haskell.org/ 日本Haskellユーザーグループ - Haskell-jp https://haskell.jp/ 前スレ 関数型プログラミング言語Haskell Part32 https://mevius.5ch.net/test/read.cgi/tech/1548720347/ 304 名前：デフォルトの名無しさん mailto:sage [2020/04/29(水) 15:47:47 ID:ob+X7Nc0.net] 的はずれなのでやめて 305 名前：デフォルトの名無しさん mailto:sage [2020/04/29(水) 15:50:08 ID:l6fPvkOQ.net] -lgmpができないならlibgmp-devをインストールすればいい 306 名前：デフォルトの名無しさん mailto:sage [2020/04/30(木) 17:28:15 .net] >>299-300 んにゃぴ・・・んまぁ、そう、よくわかんなかったです >>301 それでようやく原因が判りました Stack no longer supports Cabal versions below 1.19.2, but version 1.18.1.5 was found. This invocation will most likely fail. To fix this, either use an older version of Stack or a newer resolver Acceptable resolvers: lts-3.0/nightly-2015-05-05 or later stack will use a sandboxed GHC it installed For more information on paths, see 'stack path' and 'stack exec env' To use this GHC and packages outside of a project, consider using: stack ghc, stack ghci, stack runghc, or stack exec 7.8.4 のCabal は 1.18.1.5 であるんですが、最新版 stack は 1.19.2 以降のCabal しか対応しない というわけで諦めました。いうほど 7.8.4 使いたいかって気分になってきて、エラー出たらその都度古いコードに書き直せばいいじゃんってなったんで このイシューは閉じます。ありがとうございました。 307 名前：デフォルトの名無しさん mailto:sage [2020/04/30(木) 17:28:45 .net] >>301じゃなくて>>302だった 308 名前：デフォルトの名無しさん mailto:sage [2020/05/02(土) 07:49:02.53 ID:+q7QtdZF.net] cabalってカバルじゃなくカボールなんだな 309 名前：デフォルトの名無しさん mailto:sage [2020/05/02(土) 09:29:59.76 ID:S0jsNVj+.net] haskellのライブラリ管理ツールはずっとクソ。 pythonのも大概だけど、haskellはそれを遥かに凌ぐレベルでくそ。 310 名前：デフォルトの名無しさん mailto:sage [2020/05/02(土) 12:12:56 ID:2Bfib/9h.net] そろそろocamlの時代じゃねーか？ 311 名前：デフォルトの名無しさん mailto:sage [2020/05/02(土) 12:50:23.34 ID:F6qz2woZ.net] ライブラリ管理ツールって何をするためのモノなんだ？ ユーザーから何を期待されてるんだ？ 312 名前：デフォルトの名無しさん mailto:sage [2020/05/02(土) 13:54:24.62 ID:QDKxMZyf.net] シェルスクリプトで管理ではなく そろそろxmlとかyamlとかの時代を期待されてる説 313 名前：デフォルトの名無しさん mailto:sage [2020/05/04(月) 03:20:08.08 ID:tNWuxt0H.net] 待ち遠しい「Algorithm Design　with�Haskell」 https://www.cambridge.org/core/books/algorithm-design-with-haskell/824BE0319E3762CE8BA5B1D91EEA3F52 314 名前：デフォルトの名無しさん [2020/05/04(月) 16:45:39 ID:R0S0SfqY.net] ocamlはせっかく盛り返してたのに失言でだいなし 315 名前：デフォルトの名無しさん mailto:sage [2020/05/04(月) 23:50:02 ID:Qeb7CV4E.net] どんな失言？ 316 名前：デフォルトの名無しさん mailto:sage [2020/05/05(火) 13:49:22.34 ID:jdwgKTKz.net] haskellにライブラリ管理ツールなんて無いよね？ 317 名前：デフォルトの名無しさん mailto:sage [2020/05/06(水) 22:37:05 ID:wUeYrIi1.net] 釧路湿原 318 名前：デフォルトの名無しさん mailto:sage [2020/05/07(木) 10:57:00 ID:zCrpEpjK.net] 書籍「関数プログラミング 珠玉のアルゴリズムデザイン」で分からない所があります。 2ページ目3行目 xsに含まれない最小の数は、filter (<= n) xs に含まれない最小の数ということになる。 ここで < ではなく、<= なのは何故でしょうか。 < を使って条件を厳しくしても、 xs = [0], n = 1 ===> filter (<n) xs = [0] 　　[0] に含まれない最小数 = 1 xs = [1], n = 1 ===> filter (<n) xs = [] 　　[] に含まれない最小数 = 0 このように問題無いように思えます。 319 名前：デフォルトの名無しさん mailto:sage [2020/05/07(木) 16:47:46 ID:/pjDMUqX.net] 事実を述べているだけに見えるが 何故あの事実ではなくこの事実を切り取ったのかを知りたがるのが面白い 320 名前：デフォルトの名無しさん mailto:sage [2020/05/07(木) 17:22:10 ID:mCGt79kv.net] >>315 その直前に [0..(length xs)] の範囲にある数の少なくとも1つはxsに含まれていない とあるので(鳩の巣原理)、その自然な帰結として length xs より大きい数は、たとえxsに含まれていたとしても探索の対象にする必要はない ということで filter (<= n) xs (where n = length xs) が出てくるのだと思う そこで filter (<n) xs では意味がわからない(自明ではない) 321 名前：デフォルトの名無しさん mailto:sage [2020/05/08(金) 15:02:16 ID:H/a69LIv.net] 仕事でhaskell使ってる人いる？ 322 名前：デフォルトの名無しさん [2020/05/08(金) 17:29:16 ID:3cwUCrUk.net] >>310 表紙すごい買う気失わせる感じだけどほしいな かむｂりぷｂのだーたアルゴリは名著多いし面白いのだといいな(´・ω・｀) 323 名前：デフォルトの名無しさん mailto:sage [2020/05/08(金) 18:31:16 ID:HMlJY84s.net] >>318 使ってないけど、富士通かな？ 川崎の案件で募集してたぞ。 324 名前：デフォルトの名無しさん mailto:sage [2020/05/09(土) 06:20:07 ID:djQF9o2a.net] >>320 金融系？ 325 名前：デフォルトの名無しさん mailto:sage [2020/05/10(日) 01:20:32 ID:nxDhOjOb.net] >>317 理解できました。 ありがとうございました。 326 名前：デフォルトの名無しさん mailto:sage [2020/05/22(金) 10:43:13.79 ID:9QfQmUEB.net] https://wiki.haskell.org/Pronunciation >Below are some notes for beginners on how to pronounce those strange Haskell operators and 'read' Haskell programs. >>318 https://mevius.5ch.net/test/read.cgi/tech/1548720347/925- 327 名前：デフォルトの名無しさん mailto:sage [2020/05/23(土) 00:35:45.46 ID:PUmkxvlF.net] 次のように、一つのモナドを遅延的に無限に評価できる関数 repM は定義できるでしょうか？ repM :: (Monad) => m a -> m [a] xs <- repM (return 1) print $ take 3 xs -- [1, 1, 1] ys <- take 2 <$> repM (return 1) print ys -- [1, 1] 328 名前：デフォルトの名無しさん mailto:sage [2020/05/23(土) 01:33:43 ID:m+h1wlWJ.net] >>324 コレは？ repMsub x = return(repeat x) repM x = x>>=repMsub main = do xs<-repM (return 1) print $ take 3 xs 329 名前：デフォルトの名無しさん mailto:sage [2020/05/23(土) 01:44:01.25 ID:m+h1wlWJ.net] あ、コッチの方がかっこいいのか？ でも可読性を犠牲にしだすとperlみたいになるから良くない？ repM = (>>=(return.repeat)) 330 名前：デフォルトの名無しさん mailto:sage [2020/05/23(土) 01:56:13 ID:PUmkxvlF.net] >>325 >>326 それはひとつのモナドを3回評価しているのではなく、 ひとつのモナドの中の値を3回評価しているのではないでしょうか？ 例えば repM (getLine >>= print) を評価すると、 1回しか getLine >>= print を評価しません。 ちなみに、IOモナドに限れば unsafeInterleaveIO 関数が使えます。 また、リストではなくいわゆるストリームなら出来ました。 ですが今はモナド全般に適用でき、リストのモナドを返す関数を求めています。 331 名前：デフォルトの名無しさん mailto:sage [2020/05/23(土) 02:01:15 ID:PUmkxvlF.net] >>325 すいません。 補足です。 a <- take 3 <$> repM (getLine >>= print) を評価すれば、 3回の副作用 getLine >>= print が実行され、 a は [(), (), ()] を束縛していて欲しいのです。 332 名前：デフォルトの名無しさん mailto:sage [2020/05/23(土) 12:08:02 ID:eKnPDQS2.net] module Main where import Control.Monad.IO.Class (MonadIO, liftIO) import Control.Monad.Trans (lift) import Data.Conduit (ConduitT, runConduit, yield, (.|)) import qualified Data.Conduit.List as CL repIO :: (Monad m, MonadIO m) => IO () -> ConduitT () () m () repIO io = do x <- liftIO io yield x >> repIO io repM :: Monad m => m o -> ConduitT i o m r repM m = do x <- lift m yield x >> repM m main :: IO () main = do x1 <- runConduit $ repIO (getLine >>= print) .| CL.take 3 print x1 -- [(),(),()] x2 <- runConduit $ repM (getLine >>= print) .| CL.take 3 print x2 -- [(),(),()] let x3 = runConduit $ repM [1,2] .| CL.take 3 print x3 -- [[1,1,1],[1,1,2],[1,2,1],[1,2,2],[2,1,1],[2,1,2],[2,2,1],[2,2,2]] let x4 = runConduit $ repM [] .| CL.take 3 print (x4 :: [[Int]]) -- [] let x5 = runConduit $ repM (J 333 名前：ust 1) .| CL.take 3 print x5 -- Just [1,1,1] let x6 = runConduit $ repM Nothing .| CL.take 3 print (x6 :: Maybe [Int]) -- Nothing [] [ここ壊れてます] 334 名前：デフォルトの名無しさん mailto:sage [2020/05/23(土) 13:15:18.54 ID:eKnPDQS2.net] あ、ストリームでできたってこういうことか 335 名前：デフォルトの名無しさん mailto:sage [2020/05/24(日) 19:39:02 ID:A0PpU4F1.net] HaskellのフレームワークってGHC拡張たくさん使われてるから、基本的な文法だけ知ってても、エラーが出たら意味分からなくなるという初心者泣かせな言語だな。地道にコツコツ知らないことを勉強してってるわ。 使いこなしてる人ホンマ羨ましい。 336 名前：デフォルトの名無しさん mailto:sage [2020/05/24(日) 22:41:15 ID:oexHBYog.net] The state of GHC on ARM https://www.haskell.org/ghc/blog/20200515-ghc-on-arm.html 337 名前：デフォルトの名無しさん [2020/05/25(月) 14:19:28 ID:HRWjfAZ+.net] >>331 そういう悪い所を悪いと言えないのが初心者で 初心者の甘い評価がなければ持続不可能なのがGHCじゃないか 338 名前：デフォルトの名無しさん mailto:sage [2020/05/25(月) 19:07:59 ID:b4izxg0D.net] むしろ俺は段階的に学べていいと思ったが 339 名前：デフォルトの名無しさん mailto:sage [2020/05/26(火) 13:27:47.52 ID:w7oGlmub.net] haskellのフレームワークとやらが具体的に何を指しているのか分からん。 YesodやServantなどのWebフレームワークしか思いつかんが。 いずれにしても、そもそも初心者がフレームワークに頼るべきではない。 初心者を抜けて、さぁ本格的なアプリでも作ってみるかとなった時に使えばいい。 初心者は15パズルやTODOツールみたいな簡単なアプリをフルスクラッチで作ってみて、 言語拡張の必要性や、有用なライブラリの使い方を少しずつ学ぶことを奨める。 340 名前：デフォルトの名無しさん mailto:sage [2020/05/27(水) 11:14:49 ID:xJStjlCD.net] そういうのはつまらんのだよ 341 名前：デフォルトの名無しさん mailto:sage [2020/05/27(水) 13:16:13 ID:SIsgBJ88.net] >>336 初心者が面白いと思える学べる題材ってなんかあるかな？ C#だとゲームとかGUIとか簡単なのになぁ Pythonだって色々思い浮かぶのに 342 名前：デフォルトの名無しさん mailto:sage [2020/05/27(水) 17:32:08 ID:Ro2X8Fae.net] プロジェクトオイラーでもやったら 343 名前：デフォルトの名無しさん mailto:sage [2020/05/29(金) 00:14:38.34 ID:Hx2r4buk.net] haskell興味あるのですがhaskellの長所と短所ってなんですかる 344 名前：デフォルトの名無しさん mailto:sage [2020/05/29(金) 00:57:51.48 .net] 若さと情熱に身を任せたいなら C、衰えても続けたいなら Haskell 345 名前：デフォルトの名無しさん mailto:sage [2020/05/29(金) 07:22:48 ID:mJaFRwIH.net] GoとRustが無かった時代には長所がいっぱいあったんだろう もし、その時代のコードを変更することなく今使えるならそれも長所だが 346 名前：デフォルトの名無しさん mailto:sage [2020/05/29(金) 07:54:35.82 ID:7l9AMad4.net] >>339 長所は難しいことをより難しく書けること 短所は簡単なことでも難しく書かざるを得ないこと 本質的に純粋関数だけじゃリリースできないことも大問題ではある 切り分けで対処しても破壊を含むコードは必ず走る 理想が現実に敗北したような体系だから手を出さないほうがいいよ 347 名前：デフォルトの名無しさん mailto:sage [2020/05/29(金) 08:30:23.80 ID:wwuYcwOw.net] >>339 長所は、宣言的に分かりやすく書いたプログラムが意図通りにちゃんと動くことです。 何をするのかと、どのようにするのか、この二者をきっちり分けてプログラムできるのがHaskellの大きな魅力です。 (できると言っても、初心者が簡単にできることではありません。 その方向に正しく精進する必要があります。) 短所は、少し上のレスでも言及されていますが、入門を抜けた後に何に取り組めば良いのか分からなくなることです。 始めから何か目的があってHaskellを学び始めたのでしたら良いのですが、そうでなければ、 魅力的な題材の無さに愕然とし、路頭に迷うことになるでしょう。 実はgithub等を漁れば先輩方の様々はジャンルの非常に参考になるプログラムを数多く拝見でき、 自分も取り組んでみたくなる題材がたくさん見つかるのですが、逆に言えばそうやって努力して探さないと見つかりません。 348 名前：デフォルトの名無しさん mailto:sage [2020/05/29(金) 09:57:17 ID:zRWEM9Qa.net] >>342 後半、そういう批判よくあるけど毎回何言ってんのかよくわからん お前達は何を批判してるの？ 349 名前：デフォルトの名無しさん mailto:sage [2020/05/29(金) 10:24:25.66 ID:mJaFRwIH.net] 過激派と思ってた奴に中道の仕事を奪われる 理論的にありえないと思っていた中道と中道の対立が現実になる 350 名前：デフォルトの名無しさん mailto:sage [2020/05/29(金) 11:22:41 ID:xO3kN7Ry.net] どんなに多くの短所があろうが それらに勝る長所が一つあれば好きになる 人でもプログラミング言語でも 351 名前：デフォルトの名無しさん [2020/05/29(金) 11:35:07 ID:OBuVVMWP.net] >>339 Haskellに対して懐疑的だった初学者がParsec使ってパーサー書いてみた感じだと 長所 バグ皆無のパーサーをBNFを書き写すように簡潔に書ける (自分はCやrubyでは書けなかった) 問題に応じて言語内言語を作れるので、コードの量を極めて少なくできる 短所 yaccやbisonより学ぶのにかなり時間がかかりそう 言語内言語を作れてしまうので、ぱっと見ただけではコードを理解できない (数式を理解するには記号の意味を理解している必要があるのと同じ) yaccやbisonを使った経験は無い だが、Haskellの方が応用が利き問題の解決の仕方が美しいので学びたいとは思わなくなった 解決したい具体的な問題があり、自分が学んできた言語だとコードが大きく複雑になりそうで、新しい概念を学ぶ余裕と覚悟があるなら良いと思う ただ便利そうなのを探してるとか興味があるってだけだと挫折するかも Haskellを参考にしたより新しい言語を学ぶ方がスマートかもしれない 自分みたいにHaskellに懐疑的で徹底的に学んで悪口書いてやろうと思っているならマジお勧めｗｗｗ 352 名前：デフォルトの名無しさん mailto:sage [2020/05/30(土) 19:36:21.64 ID:/U1uledC.net] >>339 長所： 多くのバグをコンパイル時に潰せる 短所： 手続き型プログラミングにおける既知の資産(アルゴリズムなど)が活用しにくい 353 名前：デフォルトの名無しさん mailto:sage [2020/06/01(月) 05:07:50.77 ID:seoK/8uJ.net] Ocamlを使わないといけなくなっていじり始めたけど、あれもこれも出来なくて不便だな やたら冗長になるし… 354 名前：デフォルトの名無しさん [2020/06/01(月) 07:39:57.03 ID:L1Mt0gVE.net] 書くのが不便になる代わりに、ぱっと見ただけで理解できるコードになる という軍師の言葉をぱっと見ただけで信じる者だけがOCamlを使いなさい 355 名前：デフォルトの名無しさん mailto:sage [2020/06/01(月) 08:15:03 ID:dkkr+KCk.net] >>349 できないことの例を教えてください 356 名前：デフォルトの名無しさん mailto:sage [2020/06/02(火) 01:46:24.39 ID:UWOmEsh4.net] >>329 >>330 やはり純粋なリストだけでは望む仕組みは作れないという結論に達しました。 逆に言えば、そういう事が容易にできるのがストリームの利点の一つなのだと理解しました。 ありがとうございました。 357 名前：デフォルトの名無しさん mailto:sage [2020/06/05(金) 23:44:13.56 ID:aqmhehrv.net] memptyってなんでmunitやmidとかじゃないんだろうな？ emptyの心がよーわからん 文字列のように意味的に空なモノイドもあるが、 空じゃない例の方が圧倒的に多く一般的じゃないか？ ま、どうでもいいんだけどな 358 名前：デフォルトの名無しさん mailto:sage [2020/06/06(土) 08:31:53.87 .net] let nop = mempty in ...ってやってる（嘘） 359 名前：デフォルトの名無しさん mailto:sage [2020/06/10(水) 18:32:52.39 ID:vPvQB3B1.net] top level の型の指定についての質問です。 haskellのルールでtop levelでないところでは曖昧な型で型推論してくれて通るけど、top levelでは一意に型が決まらないとダメとかなんとかそういうルールがあって、 それでハマって苦労した記憶があるんですが、今その事ふっと思い出したんですが、詳しい内容が思い出せません。 haskell ambiguous top level とかでグクってもそれらしい話しが出てこないんですけど、なんか思い当たる方おられませんか？ 360 名前：デフォルトの名無しさん mailto:sage [2020/06/11(木) 20:57:26 ID:h7Wncfkb.net] >>355 どういうことか、何か例を挙げることはできますか？ 361 名前：デフォルトの名無しさん mailto:sage [2020/06/11(木) 23:57:59 ID:oU50Re4d.net] >>356 レスありがとうございます。 当時なんかのプログラム組んでてハマったんですが、どんな例だったかは思い出せません。 しかし制限の名前はわかりました。 monomorphic restriction (単相性制限) という奴でした。 ググってみると多相性を無制限に認めてしまうとメモ化の実装が難しくなるようで性能に影響してしまう事を避けるための制限のようです。 こまめに型宣言書くようにするか、性能を犠牲にしてもよいなら制限をなくすオプションとかもghcとかには用意されてるので実害は無いんですけど、昔ハマって原因突き止めるのにエライ苦労したのでなんだったかふっと気になってお聞きしました。 お騒がせしました。 362 名前：デフォルトの名無しさん mailto:sage [2020/06/12(金) 03:07:06 ID:YpUxhodA.net] >>357 いえ、お気になさらず。 こちらも勉強になりました。 363 名前：デフォルトの名無しさん mailto:sage [2020/06/20(土) 10:17:27.94 ID:6v+H5Lhm.net] 今、最新のghcでdependent typesは使えますか？ 364 名前：デフォルトの名無しさん mailto:sage [2020/06/23(火) 00:33:49.50 ID:2ZCsz0wY.net] 次の2つの関数の型の違いを説明していただけないでしょうか。 f :: C a => T a -> b -> b g :: T a -> (C a => b) -> b 関数gのようなconstraintの使い方にはこのような効果や意味がある、 とはっきり説明できず、モヤモヤしています。 また、このようなconstraintの使い方には特別な用語があるのでしょうか。 webで検索して調べてはいますが、適切なキーワードが思いつかず、苦労しています。 365 名前：デフォルトの名無しさん mailto:sage [2020/06/27(土) 16:04:56.51 ID:FJC3hMrg.net] Haskell用語だけでは説明できない気がする C++用語で a -> bのaとbはtemplateを実体化する引数 C a => bはtemplateの宣言であって実体化ではないのでgは意味がわからない 366 名前：デフォルトの名無しさん mailto:sage [2020/06/28(日) 01:53:39.90 .net] Steamで買えるHaskell製ゲームを教えて 367 名前：デフォルトの名無しさん mailto:sage [2020/06/28(日) 10:31:17 ID:hu4PmWPn.net] >>361 レスありがとうございます。 すいません、C++に精通していないため、templateの実体化や宣言の意味がよく分かりません。 件の関数型は次のブログにありました。 Introduction to Singletons (Part 1) https://blog.jle.im/entry/introduction-to-singletons-1.html#going-backwards ここの Going backwards の節です。 (昔、別のWebページでも見て、その時も不思議に思っていたのですが、どこのページだったか忘れてしまいました) そこでは withSingDSI :: SingDS s -> (SingDSI s => r) -> r という型です。 確かに SingDSI s => のconstraintを外すと、この関数を呼び出すところで型エラーとなってコンパイルできません。 代わりに、型シグネチャの先頭に SingDSI s => を書いたとしても、です。 しかし、なぜ型が合わないのか理由が分かりません。 何かしらの意味があるはずなのですが・・・ 368 名前：デフォルトの名無しさん mailto:sage [2020/06/29(月) 23:47:59.12 ID:MeiET0BU.net] >>363 のリンク先の話は中々勉強になるなぁ。 自分でこんなの使いこなせるようになるとは思えないけど。 369 名前：デフォルトの名無しさん mailto:sage [2020/07/02(木) 23:40:38 ID:Rg/xVuvf.net] >>360 Haskell勉強中で答えられるほどの知識無いけど constraintの意味から察するに、右の引数の型が正格評価されていないうちには受け入れないということでは 遅延的に型を選択して返すような関数は作れるけど、それを明示せずに正格評価の関数に渡せてしまうと追跡困難になる 引数の型を決定しておかないと渡せないようになってるんじゃないかな つまり、前者は第一引数の型を指定してて、後者は第二引数の型を指定しているというだけだと思う 知らんけど 370 名前：デフォルトの名無しさん [2020/07/04(土) 23:44:16 ID:LjgILXlp.net] すごいブログを見てしまった後では気が引けるが、前に書いた随伴をhtmlにした [デフォルトの名無しさん](https://pastebin.com/WTvqXjnT) なんか動いているな、程度の確認しかしていないのでバギーだと思う サイズが大きいけどほとんどがcss パット見、jsは、require, jquery, mathjaxぐらい 実行環境はihaskell 371 名前：デフォルトの名無しさん mailto:sage [2020/07/27(月) 22:40:30.17 ID:XpS4ozgV.net] 遅延評価のありがたみよくわからんかったけど なんとなく分かった 使うか使わない情報、ひとまとめに定義したいんだけど 使わないのなら、情報取りに行くだけ無駄 でも、遅延評価なら、無駄と思える情報も定義できる なぜなら、使って初めて情報を取りに行くのだから なるほどね　と思った 372 名前：デフォルトの名無しさん mailto:sage [2020/07/27(月) 22:51:22.29 ID:u9oz0ryS.net] 有名人だらけで楽しみですな。 https://haskell.love/ 373 名前：デフォルトの名無しさん [2020/08/13(木) 17:57:45.06 ID:AeuuY+wz.net] 圏論入門 Haskellで計算する具体例から 雪田修一 (単行本) という本が近々出るので、Haskellの予習のためにHaskellの本を買いました。 プログラミング環境は何をインストールするのがおすすめでしょうか？ OSはWindows 10を使っています。 374 名前：デフォルトの名無しさん [2020/08/13(木) 18:55:01.02 ID:AeuuY+wz.net] Haskell Platformというのがいいみたいですね。 でもダウンロードしようとしたら、まず、Chocolateyとかいうのをインストールしなくちゃいけないんですね。 大丈夫ですか？これ？ 375 名前：デフォルトの名無しさん mailto:sage [2020/08/13(木) 21:17:46.02 .net] Windows Subsystem for Linux 2 (WSL for short)を有効化してWSL用ディストリビューション（Ubuntu 20.04 LTSなど）をWindows ストアからインストールすることで、Windows内で仮想的にリナックスを使ってそこでHaskellを始めるのが良いです 376 名前：デフォルトの名無しさん [2020/08/13(木) 21:24:06.64 ID:AeuuY+wz.net] Windowsと比較してリナックスの利点は何でしょうか？ 大きなアドバンテージはありますか？ 377 名前：デフォルトの名無しさん mailto:sage [2020/08/14(金) 06:03:07.79 ID:OycuixUd.net] >>370 今のHaskell Platformのインストールってそういう感じになってるんだな Chocolatey自体はWindowsでそこそこよく使われているパッケージマネージャなので一応信頼してよい 378 名前：デフォルトの名無しさん [2020/08/14(金) 08:46:51 ID:XgOd4/dA.net] >>371 Windowsにそのままインストールしちゃいました。 Windows PowerShellから起動する以外の使い方はないでしょうか？ GHCiというのもグラフィカルユーザーインターフェースのソフトはないのでしょうか？ 379 名前：デフォルトの名無しさん [2020/08/14(金) 12:57:45.74 ID:XgOd4/dA.net] リストとタプルについてなんですが、Pythonでのリストとタプルとは違いがあるようです： let a = [1,2,3] drop 1 a としてもa == [2,3]とはなりません。 let b = (1,2,3) drop 1 b とするとエラーになります。 Pythonの場合は、a = [1,2,3]に要素を追加できましたが、b = (1,2,3)にはタプルがイミュータブルであるため追加できませんでした。 ですが、b[1:]とすれば、(2,3)というタプルが得られたと思います。 どう考えればいいのでしょうか？ 380 名前：デフォルトの名無しさん mailto:sage [2020/08/14(金) 17:17:33.31 ID:58KQIAkg.net] >>375 副作用のあるコードの書き方を見せるのは簡単だけど、関数型が初めてなら まずはHaskellのチュートリアルを読んで関数型の考え方を出来るようになったほうがいい 381 名前：デフォルトの名無しさん mailto:sage [2020/08/14(金) 17:46:17.87 ID:XgOd4/dA.net] >>376 ありがとうございます。 「すごいHaskellたのしく学ぼう！」という本の第1章を読み終わりました。この本を読んでいこうと思います。 382 名前：デフォルトの名無しさん mailto:sage [2020/08/14(金) 20:54:14.09 .net] なぜエラーになるかといえば、タプルにdropはないからです リストは『全て同じ型』の要素の片方向リストです。要素数は可変です。C++のforward_listをイメージしてください タプルは『それぞれ好きな型の組み合わせ』であり、リストではありません。要素数は固定です 両者は本質的に内部実装が異なります。リストは要素と、次に辿る先の情報を組にしたデータ構造、一方でタプルはその数だけデータを納めるのみのデータ構造です 抽象的には、リストは２要素のタプルであり、一項目に要素、二項目は（再帰的に）リストを保有します。 こうすることで、二項目を見れば（リストなので）『要素と、二項目にまたリスト』が格納されています そのリストの二項目を見れば・・・となって単方向リストが実装できている事が理解できます タプル(,)は二項関数であるとみなせます。コンマの左側と右側に一つずつ何かを取って入れる関数です。 リストでは実際は『:』という二項関数が二項タプルと同じ役目を果たします。つまり 要素 : リスト のように書き (要素, リスト) と抽象的に同じであると気づくことができます。 383 名前：デフォルトの名無しさん [2020/08/14(金) 21:56:07.86 ID:19vTStSCU] 【A型の人ごめん】「まじめ人間」は、自分の人生を生きられず、しかもお金持ちになれない。 https://www.youtube.com/watch?v=ZBSMJHK_b34 【人生観変わる話】「サラリーマン脳」のヤバい特徴5選。 https://www.youtube.com/watch?v=mPCOn0qhW6M 【人生終了】情弱がハマる「貧困スパイラル」のリアル。 https://www.youtube.com/watch?v=T3R71zjbolc バカでもわかる！ネットビジネスの始め方。 https://www.youtube.com/watch?v=LGM9VxlfDeo&t=147s 時給労働から卒業しよう！貧乏人が知らない「お金の稼ぎ方」まとめ。 https://www.youtube.com/watch?v=aibytYID1yY 【人生攻略】経験・実績ゼロのあなたが、最短で何者かになる方法。 https://www.youtube.com/watch?v=258RdS9Brxk 空気を読んで生きてる「まじめ人間」は成功しないよ。 https://www.youtube.com/watch?v=F2dwIOnNdGA&t=51s 【残酷】貧乏人はいつも忙しいのに、お金持ちは暇である理由。 https://www.youtube.com/watch?v=YkRKSgbyyf8 384 名前：デフォルトの名無しさん mailto:sage [2020/08/14(金) 23:21:17.25 ID:OycuixUd.net] >>375 コンパイルエラーの文章を読んでぐぐる癖をつけよう 覚えはじめの頃に出会うエラーは大抵は文法ミスか型エラーだろうから ぐぐれば「何が悪いか」はだいたい解決する 「なぜ悪いか」はすごいHaskellあたりを読み進めていけば習得できるはず 385 名前：デフォルトの名無しさん mailto:sage [2020/08/15(土) 17:24:00.25 ID:uxgG4TyL.net] >>378-380 ありがとうございました。 386 名前：デフォルトの名無しさん [2020/08/16(日) 18:14:55.92 ID:tHIsB9jz.net] Haskellの本を読んでいると静的型付けだとか出てきます。 単にHaskellの仕様を理解するだけでなくもっと深く、どういう考え方でHaskellというプログラミング言語が設計されたのかにも興味があります。 プログラミング言語論みたいな本でおすすめの本はないでしょうか？ 387 名前：デフォルトの名無しさん mailto:sage [2020/08/16(日) 21:18:57.26 ID:EuDMb00g.net] Haskellはある日突然に誕生したわけではなく、 その前身のMirandaとKRCという関数型言語から 多くの特質を受け継いでいます これら言語に関してはW*k*p*d*aで簡潔に解説されてるので、 まずそちらを一読したのちに参考文献に当たるべきでしょう 以下ではW*k*p*d*aで欠けている日本語の文献を紹介します Miranda [1] 第7章 Miranda, p139-163, 　新しいプログラミング・パラダイム, 共立出版, 1989年 　ttps://www.am*z*n.c*.j*/dp/4320024931 　Mirandaに関する包括的な解説 [2] 関数プログラミング, 近代科学社, 1991年 　ttps://www.am*z*n.c*.j*/dp/4764901811 　Mirandaを用いた関数型プログラミングの入門書 　モナドを含む圏論の応用/発展が誕生する以前の時代に書かれた貴重な教科書 KRC [3] 4. 関数型言語 KRC, p36-47, 　新世代プログラミング, 共立出版, 1986年 　ttps://www.am*z*n.c*.j*/dp/4320022599 [4] 6.2 KRC (Kent Recursive Caluculator), p132-142, 　プログラミング言語の新潮流, 共立出版, 1988年 　ttps://www.am*z*n.c*.j*/dp/4320023773 　[3], [4] ともKRCに関する包括的な解説 　KRCはすでにインデントベースの構文/純粋関数型/ パターンマッチ/リスト内包表記 　といった特質を備えた動的型付け関数型言語でした 388 名前：デフォルトの名無しさん mailto:sage [2020/08/16(日) 21:54:00.05 ID:jqjR96Dg.net] >>382 まず、Types and programming languages とSteve Awodey の Category Theory 読んでからや。 Haskell の話するのは。 389 名前：デフォルトの名無しさん mailto:sage [2020/08/16(日) 22:04:09.80 ID:mrCar2cd.net] Haskellは魔窟の巣窟や　近寄るものは内臓から食い散らかされるデー 初心者はPythonが最適やろ〜 390 名前：デフォルトの名無しさん mailto:sage [2020/08/17(月) 17:36:03 ID:CFLjXFs2.net] >>383-384 ありがとうございました。 Types and programming languagesというのが比較的新しい本なので、興味を持ちました。 391 名前：デフォルトの名無しさん mailto:sage [2020/08/17(月) 18:54:59.27 ID:CFLjXFs2.net] クイックソートを行う関数を作ったのですが、エラーが出ます。どこが間違っていますか？ quicksort :: (Ord a) => [a] -> [a] quicksort [] = [] quicksort (x:xs) = (quicksort [t | t <- xs, t <= x]) ++ [x] ++ (quicksort [t | t <- xs, x < t]) 392 名前：デフォルトの名無しさん mailto:sage [2020/08/17(月) 19:01:32.08 ID:QJrG17W6.net] >>387 Haskell初心者に限った事柄ではないけれど、 こうした場で質問する者の心構えとして 出てしまったエラーメッセージをコピペする といった、当たり前の行動は身につけるべきだと思うよ 393 名前：デフォルトの名無しさん mailto:sage [2020/08/17(月) 19:03:19.26 ID:CFLjXFs2.net] >>388 ありがとうございます。 エラーメッセージは以下です。 Prelude> :r [1 of 1] Compiling Main ( baby.hs, interpreted ) baby.hs:153:1: error: parse error (possibly incorrect indentation or mismatched brackets) | 153 | quicksort :: (Ord a) => [a] -> [a] | ^ Failed, no modules loaded. 394 名前：デフォルトの名無しさん mailto:sage [2020/08/17(月) 19:05:47.77 ID:CFLjXFs2.net] インデントも間違っていないと思いますし、カッコも問題ないと思うのですが。 395 名前：デフォルトの名無しさん mailto:sage [2020/08/17(月) 20:38:28.08 ID:0Q701Csj.net] >>390 >>387 をコピペしたら、俺の環境では動いたよ。 取り急ぎ。 396 名前：デフォルトの名無しさん mailto:sage [2020/08/18(火) 02:46:50.61 ID:rj5JRKyz.net] 153行より前の部分がおかしいんでしょ 397 名前：デフォルトの名無しさん mailto:sage [2020/08/18(火) 10:50:34 ID:QANbTDtx.net] >>391-392 ありがとうございました。 >>392 ご指摘どおりでした。ありがとうございました。 398 名前：デフォルトの名無しさん [2020/08/19(水) 15:58:22.36 ID:FHOhxH/M.net] (1)と(2)で同じ関数だそうです。 add :: Int -> Int -> Int は add :: Int -> (Int -> Int) と等価だそうです。 だとするならば、 (1)のほうが理屈の分かる書き方のように感じます。 (2)はadd' :: Int -> Int -> Intであると宣言しておきながら、その中身の表現を見ると、2つのInt型の引数を受け取ってその和を返す関数にしか見えません。 それにもかかわらず、add' 1は1引数の関数で引数に1を足す関数を表しています。非常に違和感を覚えるのですが、(2)は一体どういうことなのでしょうか？ わかりにくいです。 (1) add :: Int -> Int -> Int add n = \x -> x + n (2) add' :: Int -> Int -> Int add' n m = n + m 399 名前：デフォルトの名無しさん [2020/08/19(水) 15:59:38.45 ID:FHOhxH/M.net] 単なる表現方法と割り切ればいいのでしょうか？ 400 名前：デフォルトの名無しさん [2020/08/19(水) 16:07:34.77 ID:FHOhxH/M.net] nに対して、「mにn+mを対応させる関数」を対応させる関数の表記法として、 add' n m = n + m を採用するというのが非常に不自然に思います。 401 名前：デフォルトの名無しさん mailto:sage [2020/08/19(水) 16:24:31.96 ID:amUamLwq.net] 入門書のカリー化の箇所を読めばいいんじゃね haskell内での関数は一変数関数として扱えて、 add' n m = (add' n) m というだけ 402 名前：デフォルトの名無しさん [2020/08/19(水) 16:31:52.13 ID:FHOhxH/M.net] >>397 ありがとうございます。 (1)の表記法だけ許してほしいと思うんです。(2)だけみたらまるで2変数関数のように見えますから。 403 名前：デフォルトの名無しさん mailto:sage [2020/08/19(水) 20:35:34.21 ID:1ghAy1sC.net] （今は結合性と優先順位は無視していいので） n + m は (+) n m と同じ意味になる。 つまり(2)は add = (+) に変数を明示して右辺の演算子を中置記法に戻しただけ むしろ変数増やしたのが見にくい原因 404 名前：デフォルトの名無しさん mailto:sage [2020/08/20(木) 07:58:20.18 ID:mQjEXV61.net] >>394 (1) の展開は中途半端で、ちゃんと書くならこう (0) add :: Int -> Int -> Int add = \n -> \m -> n + m これを(1)や(2) のように書いてもよいというのはHaskellの決め事 慣れないうちは常にこう書いていてもよいが 書くのも読むのも段々面倒になってくると思う 慣れればあまり意識せずに読み替えられるので ついでに言うと 真の2変数関数が必要ならタプルを用いてこう書く add'' :: (Int, Int) -> Int add'' (n, m) = n + m これらは確かに厳密には区別しなくてはいけないが、 ゆるく同一視しておくほうが便利なことも多いので Haskellでは(2)のような書き方が許されている、と自分は理解している

---

---

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

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