haskell-jp / beginners #13

igrep
2020-11-23 19:39:50 +0900
一時的に確認したいだけだったので、 :point_down: のコマンドを（ほぼ元のコードそのままですが）手打ちしました。

> stack haddock
> stack exec -- hoogle generate -v --local=$(stack path --local-doc-root) --local=$(stack path --snapshot-doc-root) --database=$(stack path --local-hoogle-root)/database.hoo
> stack exec -- hoogle --database=$(stack path --local-hoogle-root)/database.hoo "a -> a" # 今回は動作確認がしたかっただけなので、 a -> a という型の関数を探してみるだけ

なお、元のコードでは hoogle server を必ず実行することになっていますが、hoogleの他の機能を使いたい場合も考えるとbashの "[email protected]" などで一般化した方がいいでしょうね。

で、本題に答えると、例えば stack-hoogle とかでいいんじゃないでしょうか。場所は本当に PATH の中の自分が触れる領域であればどこでもよいでしょう。もしなければ、この機会に自前で作ったコマンドを入れておくディレクトリーを一つ作っておいてそこにすればいいんじゃないかと。
tcokygets
2020-11-23 20:17:08 +0900
すみません本題から外れますがこれからオンライン集合論ゼミのため反応が鈍ります。
申し訳ないです。
igrep
2020-11-23 21:17:38 +0900
お気になさらず！私含めみんな気が向いたときに回答しているので！
tcokygets
2020-11-23 21:40:05 +0900
「stack haddock」
と実行した時に以下のエラーメッセージが出ます

MacBook-Air:~ sirkerf$ stack haddock
Error parsing targets: The specified targets matched no packages.
Perhaps you need to run ‘stack init’?
igrep
2020-11-23 21:45:20 +0900
あれ、global projectでは stack haddock は使えなかったっけか...
ええっと、そのエラーメッセージは、「 stack haddock はプロジェクトのディレクトリー（ stack.yaml が入っているディレクトリー）でないと使えません」という旨のメッセージです。
プロジェクトを作ってから使う... でもいいんですが、本当に必要かどうかちょっと自分も確信が持てなくなってきたのですっ飛ばして stack exec -- hoogle generate ... で始まる方を実行してみてください
tcokygets
2020-11-23 22:02:09 +0900
「stack exec — hoogle generate …」
で始まる方を実行した後に二個目実行してみました。
その後に
「stack hoogle “min”」で実行してみました。

MacBook-Air:~ sirkerf$ stack hoogle “min”
No hoogle version was found, trying to install the latest version
Minimum version is hoogle-5.0. Found acceptable hoogle-5.0.17.15 in your index, requiring its installation.
Distribution.Compat.Prelude.Internal min :: Ord a => a -> a -> a
Prelude min :: Ord a => a -> a -> a
Data.Ord min :: Ord a => a -> a -> a
GHC.Classes min :: Ord a => a -> a -> a
Data.Semigroup newtype Min a
Data.Semigroup Min :: a -> Min a
BasicTypes minPrecedence :: Int
CmmExpr minusRegSet :: Ord r => RegSet r -> RegSet r -> RegSet r
CmmProcPoint minimalProcPointSet :: Platform -> ProcPointSet -> CmmGraph -> UniqSM ProcPointSet
DynFlags mIN_CHARLIKE :: DynFlags -> Int
-- plus more results not shown, pass --count=20 to see more
tcokygets
2020-11-23 22:02:36 +0900
必ず初めに
No hoogle version was found, trying to install the latest version
Minimum version is hoogle-5.0. Found acceptable hoogle-5.0.17.15 in your index, requiring its installation.
が表示されるようです。
tcokygets
2020-11-23 22:05:43 +0900
ともあれ、hoogleの機能は利用できるようになったのでありがとうございます。
残った問題についてもできれば解決したいですが、また機会がありましたらお願いします。ありがとうございました。
連日ありがとうございます、また機会がありましたらお願いします。
tcokygets
2020-11-24 00:24:14 +0900
Haskellのコーディングでの質問です。

multiply :: Int -> Int -> Int
multiply a b = a * b

main = do
return $ multiply a b

をしようとしたのですがうまくいきません。
エラーコードは

MacBook-Air:haskell_sutdy sirkerf$ runghc multiple.hs 

*multiple.hs*:eight:*23: error: Variable not in scope: a :: Int*
 *|*
*8 |*   return $ multiply *a* b
 *|            ^*

*multiple.hs*:eight:*25: error: Variable not in scope: b :: Int*
 *|*
*8 |*   return $ multiply a *b*
 *|             ^*

となります。
Variable not in scopeのエラーを調べてみても「型が合ってない」としか言われないのですが、そもそもaとbはIntのはずですからこのエラーはおかしいように感じるのです。
どなたか、このコードが通るように改変していただけませんでしょうか？
tcokygets
2020-11-24 00:26:14 +0900
ちなみに最後を「return $ multiply 2 3」と具体的なIntのものにすると通ります。
tcokygets
2020-11-24 00:31:31 +0900
推測するにaとbが具体的な型を持っていないと見られているのが問題だと思っています。
kyaddress
2020-11-24 00:48:47 +0900
aとbが定義されていないというエラーです。
a :: Int
a = 2
b :: Int
b = 3
kyaddress
2020-11-24 00:49:19 +0900
などと定義を追加すれば動きます
tcokygets
2020-11-24 00:59:17 +0900
動きました。ありがとうございます。
ところが件のコードは
「module Multiply.Bug.Fix where

multiply :: Int -> Int -> Int
multiply a b = do
return $ a * b」

この誤りを正せ
と言う問題だったのでさっきのコードになったのですが、具体的な値を入れると怒られてしまいました。
tcokygets
2020-11-24 01:48:30 +0900
「module Multiply.Bug.Fix where
multiply :: Int -> Int -> Int
multiply a b = a * b」

で通りました。ありがとうございました。
igrep
2020-11-24 08:31:50 +0900
No hoogle version was found, trying to install the latest version
Minimum version is hoogle-5.0. Found acceptable hoogle-5.0.17.15 in your index, requiring its installation.
についてはよくわかりません。インストール自体は済んでいるでしょうし、stackのバグではないでしょうか。
yasufrom24
2020-11-24 22:43:53 +0900
@yasufrom24 has joined the channel
han
2020-11-27 13:54:03 +0900
@han has joined the channel
sky.is.gray
2020-11-28 20:00:19 +0900
はじめまして、どうぞよろしくお願いいたします。

ある型について、とりうる値をすべてリストで列挙する方法はありますか？

data DrinkMenu = Oolong | OrangeJuice | Cocktail deriving Show

のようなデータ型があるとして、
構文としては正しくないのですが、理想としては下記のようなことができればいいなと思っています
> show $ enumrate DrinkMenu 
[Oolong, OrangeJuice, Cocktail]

似たようなことができる方法をご存じでしたら、教えていただきたいです
kyaddress
2020-11-28 20:05:51 +0900
deriving Enum で自動的にEnumクラスのメソッドが得られます http://walk.northcol.org/haskell/type-classes/
kyaddress
2020-11-28 20:08:20 +0900
data Day = Sun | Mon | Tue | Wed | Thu | Fri | Sat
deriving (Enum, Show)
main = print [Mon .. Fri] -- 出力: [Mon, Tue, Wed, Thu, Fri]
kyaddress
2020-11-28 20:16:18 +0900
また、deriving Boundedにすると最初と最後が得られます

data Day = Sun | Mon | Tue | Wed | Thu | Fri | Sat
deriving (Enum, Bounded, Show)
main = do print $ (minBound :: Day) -- 出力: Sun
print $ (maxBound :: Day) -- 出力: Sat
sky.is.gray
2020-11-28 20:38:53 +0900
ありがとうございます！やりたいことができました。
（なんとか型を値として渡す方法を考えなければ..と思っていたので、目からウロコでした）
yudai.tnb
2020-11-28 23:08:19 +0900
@yudai.tnb has joined the channel
sh9temp
2020-11-29 00:08:09 +0900
@sh9temp has joined the channel
tcokygets
2020-11-30 13:16:52 +0900
かなり基本的な質問なのですが答えてくださる方を募集します。
数学では「随伴関手の合成はモナドを成す」という事実があるのですが、これはHaskellでも同様でしょうか？
つまりFunctorからMonadを作ることって出来るのでしょうか？
FunctorはFunctor則を
MonadはMonad則をそれぞれ満たさなければならないので、Haskellでだとなんだか整合性が取れないのではないかと推測しています。
それから追加質問で恐縮なのですが、
「Haskellにおける随伴関手の例」って何かありますでしょうか？
tcokygets
2020-11-30 13:18:42 +0900
更に追加で質問しますが、数学では「モナドTからT代数を構成できる」という事実がありますが、これはHaskellでも同様ですか？
hexirp
2020-11-30 17:47:44 +0900
Haskell の Functor と Monad は、圏論の関手とモナドを使いやすいように特別な場合に限定したものであり、また Haskell が厳密には純粋ではないこともあり、同じ概念として捉えることは出来ません。
随伴関手としての条件を満たす二つの Functor があれば、そこから Monad を作ることが出来ます。そのようなペアとしては (->) r と (,) r があり、そこから State Monad を作ることが出来ます。
tcokygets
2020-11-30 19:43:02 +0900
ありがとうございます。同じ概念として捉えることはできないんですね。
Monadを作ることができるFunctorの具体例まで教えていただきありがとうございます。


ところでですが、HaskellのFunctorやMonadは数学で定式化するとしたらどのような概念になるのでしょうか？追加の質問で申し訳ないです。
hexirp
2020-11-30 20:04:31 +0900
次のように作られる圏を Hask 圏と呼びます。

• 対象: Haskell の型 (Int, Maybe Bool, [String], ...)
• A から B への射:
A -> B という型を持つ関数

Functor は Hask 圏から Hask 圏への関手です。 Monad は Hask 圏の上のモナドです。
ただし、この Hask 圏は、現実の Haskell では圏にならないので、理想化した Haskell の中で考える必要があります。そのあたりの事情を無視しても Functor と Monad が便利なのには変わらないので、問題とされることは少ないようです。
slackbot
2020-12-01 12:00:02 +0900
Reminder:
beginnersチャンネルは、新しい人がスムーズにHaskellに慣れるための質問を歓迎するチャンネルです。
Haskell-Beginners ML や IRCの#haskell-beginners や RedditのMonthly Hask Anythingのような位置づけを意図しています。

beginnersチャンネルでの回答側は、以下の左側のような応答を厳禁とする運用です。
• それはくだらない質問だ → くだらない質問など無い
• その質問は以前にもあった → 質問者はそんなこと知らない
• Google検索せよ → 検索できないから質問している
beginnersチャンネルでは、例えば以下のレベルの質問から歓迎します。
• : とは何のことですか。
• タプルとは何ですか。
tcokygets
2020-12-02 19:20:32 +0900
Hask圏を考えるのですね。ありがとうございます。

問題とされることも少ないとのことで、その辺りの事情も知れて良かったです。ありがとうございました。
1to100pen
2020-12-04 12:11:54 +0900
Haskell における随伴は myuon_myonさんのという記事が参考になると思います。
また、数学的な話題用の部屋 math もどうぞ。
hatsugai
2020-12-07 10:39:39 +0900
@hatsugai has joined the channel
yusuke.nakayama1218
2020-12-08 15:00:39 +0900
@yusuke.nakayama1218 has joined the channel
tcokygets
2020-12-09 09:20:00 +0900
ありがとうございます。返事遅れてすみません。
kzk0693
2020-12-10 23:33:30 +0900
@kzk0693 has joined the channel
9647142
2020-12-14 16:39:02 +0900
久しぶりにhaskell触ってみようとしてつい~/.stackを消してインストールし直したらstack setupでコケてしまいました
9647142
2020-12-14 17:12:49 +0900
意味のなさそうなところが長すぎて見づらいので最後の方だけ。あと~/.stackをゴミ箱から回復してもダメでした
igrep
2020-12-14 17:33:38 +0900
ぱっと検索して見つかった、怪しいのはこれですかねぇ https://github.com/commercialhaskell/stack/issues/4884
9647142
2020-12-14 17:35:49 +0900
ウチのarchlinux /home がntfsだしそれっぽさはありますね
9647142
2020-12-14 17:38:52 +0900
make install のほうで出るエラーは stack setup のときは出ないエラー(`make install` を直接走らせると`/usr/local` にファイルを作ろうとして権限がないと怒られるが`stack setup`だと`~/.stack`内にファイルをおくので大丈夫)
9647142
2020-12-14 20:59:28 +0900
2020-12-14 16:34:52.615504: [error] '/builds/ghc/ghc/inplace/bin/ghc-stage1' does not refer to an executable and
2020-12-14 16:34:52.615564: [error] the program is not on the system path.

は普通に未解決です
9647142
2020-12-14 23:48:46 +0900
ext4にフォーマットしたスパースファイルを ~/.stack にマウントするという若干の力技で解決しました
benzene.chlorobenzene
2020-12-16 16:29:40 +0900
https://qiita.com/lotz/items/1cf6f620c9fd02f82070 に書いてあるような方法でherokuにデプロイすること自体は成功したのですが、毎回毎回依存ライブラリを全部コンパイルしてるせいでデプロイに20分ぐらいかかるのが気にくわないです。これを回避する方法ってありますか？
ncaq
2020-12-16 17:11:35 +0900
cabalファイルをデプロイするたびに変更している感じでしょうか
1. BuildKitのcache mountを利用する
2. 重い依存ライブラリだけcabalをコピーする前にビルドしてキャッシュが効くようにする
などの回避策があると思います
takenobu.hs
2020-12-16 21:21:35 +0900
意図を外しているかもしれませんが、以下は私が行っている方法です。
まず、依存ライブラリ群のみをビルド/インストールしたDockerイメージを作って、それをDockerHubにpushしておきます。
そして、Heroku用のDockerfileの先頭Fromで、上記 Dockerイメージをベースに指定すれば、ライブラリ群がインストール済みの状態から、自分のコードのビルドを始められます。 どうでしょう？:slightly_smiling_face:
michaeleverydaysunday
2020-12-29 14:27:38 +0900
@michaeleverydaysunday has joined the channel
slackbot
2021-01-01 12:00:27 +0900
Reminder:
beginnersチャンネルは、新しい人がスムーズにHaskellに慣れるための質問を歓迎するチャンネルです。
Haskell-Beginners ML や IRCの#haskell-beginners や RedditのMonthly Hask Anythingのような位置づけを意図しています。

beginnersチャンネルでの回答側は、以下の左側のような応答を厳禁とする運用です。
• それはくだらない質問だ → くだらない質問など無い
• その質問は以前にもあった → 質問者はそんなこと知らない
• Google検索せよ → 検索できないから質問している
beginnersチャンネルでは、例えば以下のレベルの質問から歓迎します。
• : とは何のことですか。
• タプルとは何ですか。
nearestministop
2021-01-02 23:09:02 +0900
@nearestministop has joined the channel