questions (Last updated at 2021-10-22 16:41:32 +0900)
#1
少なくともHackageのソースを見る限り <https://hackage.haskell.org/package/bytestring-0.10.8.2/docs/src/Data.ByteString.html#local-6989586621679051445> 、findEOFというローカ...
#2
再帰/余再帰という言葉は「数学的帰納法」と関連が深くて、帰納/余帰納とも呼ばれます。
数学的帰納法で任意の自然数nについて性質p(n)が成り立つことの証明をすることを思い出してみます。
(i) Base case: p(0) が成り立つことを示す。
(ii) Hypothesis: ある自然数kにつ...
#3
再現手順も概ねはっきりしているようですし。まぁ何か間違ったら誰か優しく教えてくれますよ。
私も購読してみますね。
#4
型に言及するには，制約が `Monoid` しかないので，情報が足りないのではないでしょうか？
#5
それはコンパイルエラーになるということでしょうか？それとも，例外が出るということでしょうか？テンプレートが思った通りに表示できないということでしょうか？
#6
tar.gzを書くと、extra-depsの設定がないとか言われちゃいますね。
#7
<@U8DDVPNGZ> has joined the channel
#8
:+1:
#9
「ラムダ抽象の高階単一化の決定不能性」について調べてみます。なにかお勧めの文献ありますか？
#10
`stack clean` では不足ってことですよね。。。
#11
わーん。
#12
ExplicitForAll の方が ScopedTypeVariables よりも導入が後だった気がする。
#13
rational には、確かに「理にかなった」という意味もありますが、数学では比で表せるという意味です。
#14
Topic Request で OK です
#15
何故正規表現を使いたく無いかよく分かって無いですが，ワイドルカードや許容文字が複数ある場合などは， `regex-applicative-text` や `regex-tdfa` などをよく使います
#16
<@U9NUV224E> has joined the channel
#17
そのドキュメントを読む限りでは、*.hi とバイナリがあれば、いけそうな感じはするんですよね。
#18
<@UA2J5BXMM> has joined the channel
#19
ありがとうございます。
私の質問が言葉足らずでしたが、
パーサーを使う程でもない、10数行程度の入門レベルのコンソールアプリのサンプルを作る際に、
毎回(pack . show)と(read . unpack)で行数がやや膨らむので悩んだところでした。
特に定番的なものがなければ、入門レベルならむ...
#20
<@UAJV7LY8M> has joined the channel
#21
はい、なので実際のコードでは `Word64` にしています。
実際のところは正確にわからないので本当は `Integer` のほうがいいのかもしれませんが。
#22
ghc-paths-0.1.0.9: using precompiled package
ghc-pkg.EXE: cannot find package ghc-paths-0.1.0.9
#23
“A monad is a monoid in the category of endofunctors.” Is there something similar for comonad? Hmm, say, comonoid? What does it looks like if there is...
#24
たとえば、19ページ。関数適用は、tail call (すなわち jump)とありますね。
#25
行けました！
```
deriving instance ToFormKey a => ToFormKey (Identity a)
```
追加したら動くました。ありがとうございます！
#26
<https://github.com/alanz/vscode-hie-server/blob/master/package.json#L100>
<https://github.com/alanz/vscode-hie-server/blob/master/src/extension.ts#L1...
#27
うーん、なんででしょう...
#29
Semigroup の <> って、なんで右結合なんですかね。
Alternative の <|> は、左結合なのに。
a <> (b <> c) = (a <> b) <> c を達成するには、左が勝つようにしなければならず、...
#30
そうです。ただ、「最初の発行年」の部分を「ウェブサイトは毎年新たに発行されうるものだから～」と解釈して都度更新する習慣もないわけではないので、そういう慣習にしたがった人が見れば「あれ？」と思うであろうと言うことで「体裁の問題」と言いました。
<https://liginc.co.jp/designe...
#31
例えば、"Applicative f => (a -> f b) -> s -> f t"で検索したらlensパッケージのTraversalがヒットして欲しい、みたいな具合です
#32
うまくいったようです。ありがとうございます！ :clap:
#33
了解です。ちょっと調べてみます。ありがとうございます！
#34
<@UF6SQE4HM> has joined the channel
#35
でもTemplate Haskellだとコンパイル時になってしまうから、実行時はさすがにないはず...
#36
そうなんですよー。でもやろうとするといくつかの関数でリストを期待してるのに実際はTextだよってエラーが出るんです
#37
こんにちは。HRRの導入を検討しておりまして、質問があります。
HRR、動的に決まるテーブル名に対応していますか？
時系列データを日付ごとのテーブルに格納する要件がありまして、テーブル自体は実行時に作成されます。
これらのテーブルですが、テーブル名に日付が含まれる以外、カラムや各種制約はすべて一致...
#38
モジュールは定義してないので読まれないのはいいんですけど、まあたぶんdoubleMeも読まれてませんよね？、ここで<https://haskell-jp.slack.com/archives/C5666B6BB/p1548172078203000?thread_ts=1548136855.19050...
#39
<@UFP82PUF3> has joined the channel
#40
ああ、でもやっぱ Glasgow ノリなんですかね、単語のチョイスが
#41
OOP 脳に洗脳されていると、二項演算子の左と右が同じ型でないといけないっていうこと自体がびっくりだろうからそれを言おうとしてるのかなあ、と。
#42
ざっと見、ネストが深くなった最初の行の空白を二重にパースしようとしている感じがします（whenJust mNumofSpaces のところで一回、その行自体を含めて続きを many1 $ do でパースしつづけるので、その行は blockParser (Just $ numOfSpaces + s)...
#43
お疲れ様です。
<https://qiita.com/mod_poppo/items/03fc14f693b601e0a00f>
なぜIORefだと遅いのでしょうか。
自分でベンチマークとるのが一番かもしれませんが。
あと既出だったらすみません。
:man-bowing:
#44
実のところ、 ghc に関しては ghci を起動しちゃえばわかるじゃん、という回秘策を使っていたので、真面目に調べていなかったのです… 今回 haddock のバージョンを知りたくなってハマった、というのが正直なところです :sweat_smile:
#45
お二方とも、ありがとうございます！！修正してみます！
#46
Hutton本2に「newtypeで宣言するデータ型も再帰的にできる」って書いてあるんですが、これは誤りですよね？ 再帰的にできるのは、data だけですよね？
#47
デフォルトなのは外部のCライブラリに依存しないでビルドできるからだと思います。
僕もtls回りが遅くて以前見てみたことがあります。詳細は忘れましたが依存ライブラリ（Haskellコード）を少し弄ったら速度が結構改善しました。全体的にあまり速度を気にして書いているコードではない印象でした。
#48
プロファイルは `cabal.project.local` という名前のファイルに `profiling: True`と書いて `cabal new-build`でコンパイルすると良い感じにやってくれます。これだと各モジュールの公開される関数にSCCをつけてくれます。より細かいのを見る場合は `{-...
#49
あとLLVMも
<https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/Backends/LLVM/Installing>
これみるとGHC 8.4系だとLLVM5.0なんですね.
最初LLVM7.0が入ったときにビルド時にwarnnin...
#50
ああ失礼。私も今Settingsに到達しました.
#51
もし本当に「リストの長さが違っていて長い方のリストの後ろの方に Nothing がある場合も Nothing」にしたいなら、先にそれぞれ sequence してから liftA2 zip して fmap fromList すればよさそうですね
#52
<@UGTGBD50B> has joined the channel
#53
```
Map.insert k v <$> buildMap (ks, vs)
```
これはbuildMapが全部返ってきてからMaybeでパターンマッチする形になるから、確かにスタック積み上がりそう。こういう所はHaskellでも末尾再帰気にしないといけないんですね
#54
<@UH195J82Y> has joined the channel
#55
<@UHFBET1LM> has joined the channel
#56
`Control.Bifunctor` ってあったっけと思ったら、 category-extras にあったんですね。今は obsolete なパッケージですが
#57
`TermSucc TermZero` などが書ける
#58
```
type PersonParams (f :: * -> *) (g :: * -> *) =
Field Identity :*
'[ "name" >: f Text
, "age" >: g Int
]
```
↓
```
type Pers...
#59
alexで文字列リテラルを正規表現で定義する方法を知ってる方いたら教えてください。
```
$strlit = "\""([^\n\"\\]*(\\[.\n])*)*"\""
```
みたいに書くとparse errorと言われます(この正規表現自体はググって出てきたやつなので実際は何でも構わないで...
#60
こんにちは。型クラスについて質問です。
Int64をラップしたMyNumberという型をつくりました。
この型について、以下のような操作を定義したいのですが、どうもうまくいきません。そもそもこのようなことが可能なのか、可能であればどうしたらよいのか、ぜひ教えてください。
やりたいこと：
- 許可：...
#61
まったくの思いつきで恐縮ですが、
`forkIO`で別スレッドで処理される中で、コネクションの`close`が意図するタイミングで呼ばれていない可能性はありませんか？
#62
うーん、それで `No module named 'GHC.Arr' is imported.` というエラーはさすがに不自然ですね。。。
#63
適宜その場所で log 出力したい派だったので
全部 Either にして最後に error ログだったら ExceptT でも良いと思います
#64
こんにちは。いつもお世話になります。
関数の定義で型変数を使った場合、実際にどの型が使われたかを、その関数内部で取得することはできますか？ ログ出力を目的としていて、`typeOf`を使えばよいのですが、それだと冗長になるケースがありまして、お尋ねしています。
以下のケースで`f`の中で`typ...
#65
`--write-ghc-environment-files=always`でいけました。ありがとうございました。
#66
型の上で計算するだけで終わりにしていいのならそのように大概のことはできるんですが，今やろうとしているのは証明であり，値レベルで云々する(≒singletonsとかでゴニョゴニョする)必要があります．たとえば，
```
sNatToNat' :: Sing n -> Sing (ConvertN...
#67
一応補足ですが，現在の GHC では full laziness が入るタイミングが調整されていて，
```
factMemo :: Int -> Integer
factMemo = (map fact' [0..] !!)
where
fact' 0 = 1
fact'...
#68
<@U4LGTMTMK>
あ！！spacesがspaceになっているのが原因でした..
ありがとうございます
前々からspacesはやたら出てくるなぁと感じていたので教えていただいたものを使うとだいぶスッキリ書けました
#69
あともう一つのアプローチとして、Alexが返す例外をパーサーコンビネーターなどでパースしてしまう、というやや遠回しな手もあるかと思います :sweat:
#70
確かに、言われてみればなんの区切りもなく匿名関数が始まっているようで、普通の式とどうやって見分けるんだろうという感じがしますね...
#71
出先でしたのでご返信遅れてしまいすいません。
動作確認できました！
お手伝いいただいたみなさまありがとうございました！！
これからの拡張はどこを参考にしたらよいでしょうか…?
#72
添付の例で期待した結果が得られません
ターミナルで実行すると `["` とだけ表示され、あとは `Ctrl+C` するしかない状態になります
最終行の `(c:r)` の部分が犯人らしいことは分かっているのですが
どういうわけなのでしょうか
#73
<@UPELDRYJJ> has joined the channel
#74
学習用途でしたら，ぜひ再帰版もがんばってみてください．（私なら，リストのリストを処理する再帰関数Aから，リストを処理する再帰関数Bを呼ぶ，みたいな方針にすると思います）
#75
一例を挙げます。
環境: stack を使っています。それによって GHC 8.6.5, cabal 2.4.0.1 が使われています。 cabal-install はちょっとわかりません。
cabal ファイル: <https://github.com/Hexirp/hexirp-hakyll/b...
#76
ありがとうございます。みてみます。
#77
<@U56N1M3BN> has joined the channel
#78
前悩んだ時は `LANG=C` で言語指定したらビルドできました
#79
そうですね。正確には、 `[e| |]` のなかで束縛されてない変数が自動で `unboundVarE $ mkName "e"` されるところが、です。
#80
実装を見ると、入力値を全て記憶していますね。これはfumievalさんに上で説明頂いた対角化のようです <https://www.stackage.org/haddock/lts-15.1/machines-0.7/src/Data.Machine.Mealy.html#driveMealy>
#81
いえ 何もしてないのにいつのまにかこうなってしまったので……それにいくら再インストールしても同じ問題が発生しちゃうんですよ もう手詰まりで
#82
あ、なるほど、representational 以外の role 持つやつだと表示されるんですね。ありがとうございます、解決しました
#83
<@U012A4ALLSC> has joined the channel
#84
詳しい事情はhaskell-cafeあたりで何度か触れられていると思います（自分もぶっちゃけよく調べてない...
<https://takenobu-hs.github.io/haskell-wiki-search/?siteview=full> からチェックを入れて検索してみてください。
#85
(GHCはcabalではないので、 `cabal.project` や `vector.cabal` を読まないのは当たり前っちゃあ当たり前で、問題はprecompiled packageがGHCからvisibleでないことだけなのですが)
#86
メンテが止まってるのはやっぱ避けた方がいいと思いますよ。
別に学習用途で使う分には全く問題ないと思いますが、真面目に長期間運用するアプリケーションに採用するのは避けた方がいいと思います。
#87
返信遅くなりましたがうまく行きました！！！
ありがとうございます！！
Lensはoverやsetやviewと使うものだという固定概念がありました…今度からもっと型を注意してみるようにしてみます
```Prelude Control.Lens> _2 (\a -> print ("PRI...
#88
aDestでMDをMの前に持ってきたらどうでしょうか
#89
Haskell の `head` / `tail` は単連結リストの言葉ですね。Haskell のリストはそのまま単連結リストなので、単連結リストの先頭を示す `head` とそれ以降を示す `tail` という言葉を関数名にそのまま流用したものです。
確かにコマンドの `head` / `tai...
#90
<@U01B0F7BE2E> has joined the channel
#91
あるいは、
```instance MonadFail m => AWST' env m where
fail = ...```
というインスタンスなら汎用性があるのでそれをPRしてあげるか。
#92
そのやり方をしたら今度は `reply b msg` の部分で型推論できなくてエラーになっちゃいましたorz
どうすれば・・・
#93
なるほど〜
整理して考えるとたしかに！
`name` は `env` に依存してないってだけなのに、それだけで、`AnyBot`の定義のせいで異質なメソッドになっちゃってる感じですね༼;´༎ຶ ༎ຶ༽
(ちなみにpackってなんですか？:exploding_head:)
#94
昔の GHC だと、UNPACK で Strict な小さな値は、ポインターではなく即値が格納されるようになります。
しかし、現在の GHC は UNPACK は必要なく、Strict で小さければ、既値が格納されます。
#95
取り急ぎ。package.yamlは使わなくともstackは使えます。
#96
<@U01R1UNMVT5> has joined the channel
#97
前に質問させて頂いたように、このようなデータ構造を定義してしているのですが、
流石にフィールド名が長い(MWBTreeぐらいには省略しても良いかもしれない)ので、
makeFieldsでlensを適用したいのですが、
lensを使わなくても素直にアクセス出来るようにしたいので、
フィールド名をアンダ...
#98
<@U028RHBT7TN> has joined the channel