Slack log of haskell-jp

少なくともHackageのソースを見る限り <https://hackage.haskell.org/package/bytestring-0.10.8.2/docs/src/Data.ByteString.html#local-6989586621679051445> 、findEOFというローカ...

再帰/余再帰という言葉は「数学的帰納法」と関連が深くて、帰納/余帰納とも呼ばれます。 数学的帰納法で任意の自然数nについて性質p(n)が成り立つことの証明をすることを思い出してみます。 (i) Base case: p(0) が成り立つことを示す。 (ii) Hypothesis: ある自然数kにつ...

再現手順も概ねはっきりしているようですし。まぁ何か間違ったら誰か優しく教えてくれますよ。 私も購読してみますね。

型に言及するには，制約が `Monoid` しかないので，情報が足りないのではないでしょうか？

それはコンパイルエラーになるということでしょうか？それとも，例外が出るということでしょうか？テンプレートが思った通りに表示できないということでしょうか？

tar.gzを書くと、extra-depsの設定がないとか言われちゃいますね。

<@U8DDVPNGZ> has joined the channel

:+1:

「ラムダ抽象の高階単一化の決定不能性」について調べてみます。なにかお勧めの文献ありますか？

`stack clean` では不足ってことですよね。。。

わーん。

ExplicitForAll の方が ScopedTypeVariables よりも導入が後だった気がする。

rational には、確かに「理にかなった」という意味もありますが、数学では比で表せるという意味です。

Topic Request で OK です

何故正規表現を使いたく無いかよく分かって無いですが，ワイドルカードや許容文字が複数ある場合などは， `regex-applicative-text` や `regex-tdfa` などをよく使います

<@U9NUV224E> has joined the channel

そのドキュメントを読む限りでは、*.hi とバイナリがあれば、いけそうな感じはするんですよね。

<@UA2J5BXMM> has joined the channel

ありがとうございます。 私の質問が言葉足らずでしたが、 パーサーを使う程でもない、10数行程度の入門レベルのコンソールアプリのサンプルを作る際に、 毎回(pack . show)と(read . unpack)で行数がやや膨らむので悩んだところでした。 特に定番的なものがなければ、入門レベルならむ...

<@UAJV7LY8M> has joined the channel

はい、なので実際のコードでは `Word64` にしています。 実際のところは正確にわからないので本当は `Integer` のほうがいいのかもしれませんが。

ghc-paths-0.1.0.9: using precompiled package ghc-pkg.EXE: cannot find package ghc-paths-0.1.0.9

“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...

たとえば、19ページ。関数適用は、tail call (すなわち jump)とありますね。

行けました！ ``` deriving instance ToFormKey a => ToFormKey (Identity a) ``` 追加したら動くました。ありがとうございます！

<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...

うーん、なんででしょう...

Semigroup の <> って、なんで右結合なんですかね。 Alternative の <|> は、左結合なのに。 a <> (b <> c) = (a <> b) <> c を達成するには、左が勝つようにしなければならず、...

そうです。ただ、「最初の発行年」の部分を「ウェブサイトは毎年新たに発行されうるものだから～」と解釈して都度更新する習慣もないわけではないので、そういう慣習にしたがった人が見れば「あれ？」と思うであろうと言うことで「体裁の問題」と言いました。 <https://liginc.co.jp/designe...

例えば、"Applicative f => (a -> f b) -> s -> f t"で検索したらlensパッケージのTraversalがヒットして欲しい、みたいな具合です

うまくいったようです。ありがとうございます！ :clap:

了解です。ちょっと調べてみます。ありがとうございます！

<@UF6SQE4HM> has joined the channel

でもTemplate Haskellだとコンパイル時になってしまうから、実行時はさすがにないはず...

そうなんですよー。でもやろうとするといくつかの関数でリストを期待してるのに実際はTextだよってエラーが出るんです

こんにちは。HRRの導入を検討しておりまして、質問があります。 HRR、動的に決まるテーブル名に対応していますか？ 時系列データを日付ごとのテーブルに格納する要件がありまして、テーブル自体は実行時に作成されます。 これらのテーブルですが、テーブル名に日付が含まれる以外、カラムや各種制約はすべて一致...

モジュールは定義してないので読まれないのはいいんですけど、まあたぶんdoubleMeも読まれてませんよね？、ここで<https://haskell-jp.slack.com/archives/C5666B6BB/p1548172078203000?thread_ts=1548136855.19050...

<@UFP82PUF3> has joined the channel

ああ、でもやっぱ Glasgow ノリなんですかね、単語のチョイスが

OOP 脳に洗脳されていると、二項演算子の左と右が同じ型でないといけないっていうこと自体がびっくりだろうからそれを言おうとしてるのかなあ、と。

ざっと見、ネストが深くなった最初の行の空白を二重にパースしようとしている感じがします（whenJust mNumofSpaces のところで一回、その行自体を含めて続きを many1 $ do でパースしつづけるので、その行は blockParser (Just $ numOfSpaces + s)...

お疲れ様です。 <https://qiita.com/mod_poppo/items/03fc14f693b601e0a00f> なぜIORefだと遅いのでしょうか。 自分でベンチマークとるのが一番かもしれませんが。 あと既出だったらすみません。 :man-bowing:

実のところ、 ghc に関しては ghci を起動しちゃえばわかるじゃん、という回秘策を使っていたので、真面目に調べていなかったのです… 今回 haddock のバージョンを知りたくなってハマった、というのが正直なところです :sweat_smile:

お二方とも、ありがとうございます！！修正してみます！

Hutton本2に「newtypeで宣言するデータ型も再帰的にできる」って書いてあるんですが、これは誤りですよね？ 再帰的にできるのは、data だけですよね？

デフォルトなのは外部のCライブラリに依存しないでビルドできるからだと思います。 僕もtls回りが遅くて以前見てみたことがあります。詳細は忘れましたが依存ライブラリ（Haskellコード）を少し弄ったら速度が結構改善しました。全体的にあまり速度を気にして書いているコードではない印象でした。

プロファイルは `cabal.project.local` という名前のファイルに `profiling: True`と書いて `cabal new-build`でコンパイルすると良い感じにやってくれます。これだと各モジュールの公開される関数にSCCをつけてくれます。より細かいのを見る場合は `{-...

あとLLVMも <https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/Backends/LLVM/Installing> これみるとGHC 8.4系だとLLVM5.0なんですね. 最初LLVM7.0が入ったときにビルド時にwarnnin...

ああ失礼。私も今Settingsに到達しました.

もし本当に「リストの長さが違っていて長い方のリストの後ろの方に Nothing がある場合も Nothing」にしたいなら、先にそれぞれ sequence してから liftA2 zip して fmap fromList すればよさそうですね

<@UGTGBD50B> has joined the channel

``` Map.insert k v <$> buildMap (ks, vs) ``` これはbuildMapが全部返ってきてからMaybeでパターンマッチする形になるから、確かにスタック積み上がりそう。こういう所はHaskellでも末尾再帰気にしないといけないんですね

<@UH195J82Y> has joined the channel

<@UHFBET1LM> has joined the channel

`Control.Bifunctor` ってあったっけと思ったら、 category-extras にあったんですね。今は obsolete なパッケージですが

`TermSucc TermZero` などが書ける

``` type PersonParams (f :: * -> *) (g :: * -> *) = Field Identity :* '[ "name" >: f Text , "age" >: g Int ] ``` ↓ ``` type Pers...

alexで文字列リテラルを正規表現で定義する方法を知ってる方いたら教えてください。 ``` $strlit = "\""([^\n\"\\]*(\\[.\n])*)*"\"" ``` みたいに書くとparse errorと言われます(この正規表現自体はググって出てきたやつなので実際は何でも構わないで...

こんにちは。型クラスについて質問です。 Int64をラップしたMyNumberという型をつくりました。 この型について、以下のような操作を定義したいのですが、どうもうまくいきません。そもそもこのようなことが可能なのか、可能であればどうしたらよいのか、ぜひ教えてください。 やりたいこと： - 許可：...

まったくの思いつきで恐縮ですが、 `forkIO`で別スレッドで処理される中で、コネクションの`close`が意図するタイミングで呼ばれていない可能性はありませんか？

うーん、それで `No module named 'GHC.Arr' is imported.` というエラーはさすがに不自然ですね。。。

適宜その場所で log 出力したい派だったので 全部 Either にして最後に error ログだったら ExceptT でも良いと思います

こんにちは。いつもお世話になります。 関数の定義で型変数を使った場合、実際にどの型が使われたかを、その関数内部で取得することはできますか？ ログ出力を目的としていて、`typeOf`を使えばよいのですが、それだと冗長になるケースがありまして、お尋ねしています。 以下のケースで`f`の中で`typ...

`--write-ghc-environment-files=always`でいけました。ありがとうございました。

型の上で計算するだけで終わりにしていいのならそのように大概のことはできるんですが，今やろうとしているのは証明であり，値レベルで云々する(≒singletonsとかでゴニョゴニョする)必要があります．たとえば， ``` sNatToNat' :: Sing n -> Sing (ConvertN...

一応補足ですが，現在の GHC では full laziness が入るタイミングが調整されていて， ``` factMemo :: Int -> Integer factMemo = (map fact' [0..] !!) where fact' 0 = 1 fact'...

<@U4LGTMTMK> あ！！spacesがspaceになっているのが原因でした.. ありがとうございます 前々からspacesはやたら出てくるなぁと感じていたので教えていただいたものを使うとだいぶスッキリ書けました

あともう一つのアプローチとして、Alexが返す例外をパーサーコンビネーターなどでパースしてしまう、というやや遠回しな手もあるかと思います :sweat:

確かに、言われてみればなんの区切りもなく匿名関数が始まっているようで、普通の式とどうやって見分けるんだろうという感じがしますね...

出先でしたのでご返信遅れてしまいすいません。 動作確認できました！ お手伝いいただいたみなさまありがとうございました！！ これからの拡張はどこを参考にしたらよいでしょうか…?

添付の例で期待した結果が得られません ターミナルで実行すると `["` とだけ表示され、あとは `Ctrl+C` するしかない状態になります 最終行の `(c:r)` の部分が犯人らしいことは分かっているのですが どういうわけなのでしょうか

<@UPELDRYJJ> has joined the channel

学習用途でしたら，ぜひ再帰版もがんばってみてください．（私なら，リストのリストを処理する再帰関数Aから，リストを処理する再帰関数Bを呼ぶ，みたいな方針にすると思います）

一例を挙げます。 環境: stack を使っています。それによって GHC 8.6.5, cabal 2.4.0.1 が使われています。 cabal-install はちょっとわかりません。 cabal ファイル: <https://github.com/Hexirp/hexirp-hakyll/b...

ありがとうございます。みてみます。

<@U56N1M3BN> has joined the channel

前悩んだ時は `LANG=C` で言語指定したらビルドできました

そうですね。正確には、 `[e| |]` のなかで束縛されてない変数が自動で `unboundVarE $ mkName "e"` されるところが、です。

実装を見ると、入力値を全て記憶していますね。これはfumievalさんに上で説明頂いた対角化のようです <https://www.stackage.org/haddock/lts-15.1/machines-0.7/src/Data.Machine.Mealy.html#driveMealy>

いえ 何もしてないのにいつのまにかこうなってしまったので……それにいくら再インストールしても同じ問題が発生しちゃうんですよ もう手詰まりで

あ、なるほど、representational 以外の role 持つやつだと表示されるんですね。ありがとうございます、解決しました

<@U012A4ALLSC> has joined the channel

詳しい事情はhaskell-cafeあたりで何度か触れられていると思います（自分もぶっちゃけよく調べてない... <https://takenobu-hs.github.io/haskell-wiki-search/?siteview=full> からチェックを入れて検索してみてください。

(GHCはcabalではないので、 `cabal.project` や `vector.cabal` を読まないのは当たり前っちゃあ当たり前で、問題はprecompiled packageがGHCからvisibleでないことだけなのですが)

メンテが止まってるのはやっぱ避けた方がいいと思いますよ。 別に学習用途で使う分には全く問題ないと思いますが、真面目に長期間運用するアプリケーションに採用するのは避けた方がいいと思います。

返信遅くなりましたがうまく行きました！！！ ありがとうございます！！ Lensはoverやsetやviewと使うものだという固定概念がありました…今度からもっと型を注意してみるようにしてみます ```Prelude Control.Lens> _2 (\a -> print ("PRI...

aDestでMDをMの前に持ってきたらどうでしょうか

Haskell の `head` / `tail` は単連結リストの言葉ですね。Haskell のリストはそのまま単連結リストなので、単連結リストの先頭を示す `head` とそれ以降を示す `tail` という言葉を関数名にそのまま流用したものです。 確かにコマンドの `head` / `tai...

<@U01B0F7BE2E> has joined the channel

あるいは、 ```instance MonadFail m => AWST' env m where fail = ...``` というインスタンスなら汎用性があるのでそれをPRしてあげるか。

そのやり方をしたら今度は `reply b msg` の部分で型推論できなくてエラーになっちゃいましたorz どうすれば・・・

なるほど〜 整理して考えるとたしかに！ `name` は `env` に依存してないってだけなのに、それだけで、`AnyBot`の定義のせいで異質なメソッドになっちゃってる感じですね༼;´༎ຶ ༎ຶ༽ (ちなみにpackってなんですか？:exploding_head:)

昔の GHC だと、UNPACK で Strict な小さな値は、ポインターではなく即値が格納されるようになります。 しかし、現在の GHC は UNPACK は必要なく、Strict で小さければ、既値が格納されます。

取り急ぎ。package.yamlは使わなくともstackは使えます。

取り急ぎ。package.yamlは使わなくともstackは使えます。

<@U01R1UNMVT5> has joined the channel

<@U01R1UNMVT5> has joined the channel

<@U4LNDESN8> has joined the channel

<@U8P5W7YP6> has joined the channel

<@U4KUNQF9N> has joined the channel

この際なんでforkさせていただきました！ <https://github.com/haskell-jp/ghc_users_guide_ja> あと、一応リンクも張っておきます。

<@U55V441FS> has joined the channel

<@UDX2D3X5W> has joined the channel

初心者ですが はじめテキトーに書いてコンパイラが怒ってくれるのを導きに修正していくという書き方ができるので 楽だし、すごく楽しいですね あまりに嬉しいので投稿しました

hieのバージョンは以下でした。 ```% hie --version Version 1.0.0.0, Git revision 22c69c620b2707119194bb33c4ae15427e46f0a2 (3578 commits) x86_64 ghc-8.6.5```

なるほど、そうだったんですね！ありがとうございます！

よかった。しばらく勉強を進めると、代数的データ型/algebraic data type/ `data` というのに出会うと思うので、そうしたらもっと良く理解できると思います。

<@U0110TN1AEP> has joined the channel

<@U0133EY6LPR> has joined the channel

あ、なるほど。

うーむ、正直なところ私としては読めないほどひどい問題でもないので放置かな... 最初ざっとスクロールしたときは気づかなかったぐらいでした。

なんか最近そのへんが少し変わる(変わった？)という噂も <https://github.com/haskell/cabal/issues/6481|https://github.com/haskell/cabal/issues/6481>

<@U01F7FAG2TC> has joined the channel

一時的に確認したいだけだったので、 :point_down: のコマンドを（ほぼ元のコードそのままですが）手打ちしました。 ```> stack haddock > stack exec -- hoogle generate -v --local=$(stack path --loca...

<@U01J9M7LZB3> has joined the channel

<@U01J9M7LZB3> has joined the channel

set up a reminder “" beginnersチャンネルは、新しい人がスムーズにHaskellに慣れるための質問を歓迎するチャンネルです。 Haskell-Beginners ML や IRCの#haskell-beginners や RedditのMonthly Hask Any...

set up a reminder “" beginnersチャンネルは、新しい人がスムーズにHaskellに慣れるための質問を歓迎するチャンネルです。 Haskell-Beginners ML や IRCの#haskell-beginners や RedditのMonthly Hask Any...

<@ULTN48U8Y> has joined the channel

もう一度最初から作り直したら良い感じに結果でました。

先ほど「分散システムのシリアライズでライブラリの同一バージョンなどを要求するか」という質問に対して、基本的にはバージョンが変わるとシリアライザは非互換になると考え、デプロイ方法を検討したほうがいいと（曖昧に）述べました。ちょっとググってみたところ、AWSで行っている安全性を高めるデプロイ方法に関する...

<@U4L0B71L1> has joined the channel

ループができるのはもともとそうなってるのか 今回特有のことじゃないのかな

GHC HEAD でプラグインの口はもうあるらしい

<@U4LGTMTMK> has joined the channel

Valid hole fits みます

Windows + stack `%USERPROFILE%/AppData/Local/Programs/stack/x86_64-windows/ghc-8.4.4/lib/settings`

<@UCM4G8PGW> has joined the channel

StandaloneKindSignaturesについて触れようと思います

<#C7RQKT49H|haskell-org-status> に <https://status.haskell.org/> の RSS を流すようにしてみました

<@U7Z4F723Z> Dont I know you?

> The reason the small number of available Haskellers makes it seem like hiring is going to be difficult is that with popular languages, it is ofte...

Reminder: [定期] :mega: HaskellについてのWebページの共有、質問や議論についてはRedditのコミュニティー haskell_jp <https://www.reddit.com/r/haskell_jp/> で行うのもおすすめです！ Redditはより議論に向いた、オー...

set up a reminder “https://haskell-jp.slack.com/archives/C4LFB6DE0/p1517792426000233” in this channel at 10AM every Monday, Japan Standard Time.

<@U4LGTMTMK> pinned a message to this channel.

<@UA6J52JSY> has joined the channel

<@UAN0A7XSP> has joined the channel

<@UBZEU5L4V> has joined the channel

<@UCM4G8PGW> has joined the channel

<@UDWMRUHGE> has joined the channel

呼ぶ側では、単純に結果のheadのlengthを評価するだけでテストしていたんですが、単純に出力するだけのものを試してみます。

<@UEH5X296F> has joined the channel

<@UF8B49RC2> has joined the channel

他の箇所や,他のMarkupでは日本語は正常に表示されています.

<@UGYDCQXU3> has joined the channel

waves hello.

お久しぶりです^^

<@UKYUFC94P> has joined the channel

問題を回避するための設定項目を作っていたのに使うのを忘れてた :sweat_smile: <https://github.com/haskell-jp/slack-log/commit/43e52b3732c8c1af4799f6e178efcacc678dc584#diff-680db7fcb24...

<@UNMR2NY1W> has joined the channel

<@UPZ9K5L1G> has joined the channel

<@USFQ6M2PR> has joined the channel

<@U4LGTMTMK> set the channel topic: このSlack Workspaceの管理に関わる情報などのアナウンス、新しく参加した人の自己紹介

<@U012KLD4SSW> has joined the channel

Reminder: [定期] 現在の主要なチャンネルは :point_down: のとおりです。 • <#C5666B6BB|questions> : Haskellについてのお悩み相談 :thought_balloon: はこちら • <#CR2TETE5R|beginners> : 初心者 :b...

<@U01CGJAL9QF> has joined the channel

<@U01K4FM2C93> has joined the channel

<@U01K4FM2C93> has joined the channel

<@U4LGTMTMK> has joined the group

ホントだ。GitHub上でレンダリングされたものを見る限り問題なさそうなんですが。。。

あっさりしてる <https://twitter.com/haskell_jp/status/1061056424069947392>

ysatoshi さんに IC カード・ビジターカード（の一部）を渡しました

<@U5B3EGEFQ> has joined the channel

AtCoder の提出内容 (ソースコード) を API で取得できればなぁ。

すみません、tf-randomも欲しいのを完全に忘れてました。PullReqを投げようかと思います。ただ、このままだとmod_poppoさんのと(アルファベット順を考えると)conflictを起こしそうなので、……GitHubの使い方に慣れていません。マージ待ちをするのが良いのでしょうか？

Doneになってましたね！

ここまでの内容を issue にしました。補足等あればコメント等で教えてください。 <https://github.com/haskell-jp/atcoder-haskell-resources/issues/9>

<@U4LGTMTMK> has joined the channel

Matlab SimlinkのSemanticsは、Synchronous Reactive Data-flow LanguageのLustreへのTranslationで定義されています。

HRR の HDBC 関連のパッケージが LTS から消えてしまっていたので、 issue と PR を投げました <https://github.com/commercialhaskell/lts-haskell/issues/282> <https://github.com/commercia...

とりあえず issue 投げた <https://github.com/bos/math-functions/issues/62>

<@U4KPPQW7K> <@U59TQ3MJ9> で

psciはshadowing許してくれないのね ```> ns = range 0 100 > ns = range 0 999 Error found: in module $PSCI at :1:1 - 1:17 (line 1, column 1 - line 1, column ...

じゃあ次回は <@U4KPPQW7K> さんお願いします！ hask(_ _)eller 今の時点でやることは、 1. 前回のイベントページ (e.g. <https://haskell-jp.connpass.com/event/174028/> ) のページから「コピーを作成」して、次回のイベ...

ぼ、僕もPureScriptやってるので…((()))

ヘルパー関数で用意されていることと少し違うことをやろうとするといきなり深く潜らないといけなくなるのがちと面倒でした。(グラフの線の太さを変えるとか、目盛りをグラフの外側に向かって書くとか) <https://gist.github.com/naohaq/50374bacd44f080856a215c...

<https://haskell.e-bigmoon.com/posts/2020/01-18-cabal-build-tool-depends.html>

もくもく <!here> そろそろお時間なのでやったことなどの報告をお願いします！ :film_projector:

お昼食べてから、引き続き、fcmのクライアント作ったり、具体的な通知管理のBE作ったりします。 もしくは途中から読書します。

8.6系も8.6.5より前はアレだったし、大体おかしい

作業中のファイルをgithubにあげました <https://github.com/wvogel00/gvscoder>

@here 終了の時間です！今日やったことを報告しましょう！

来週は私どちらでも参加できます！

<https://twitter.com/mod_poppo/status/1289863767505817600>

これが早く来てくれると嬉しいんですけどねｗ <https://nework.app/about/>

雑談・相談用にFacebook Messenger Roomを作りました。 <https://msngr.com/6gAiepUe3DPoy8H5> ご自由にご利用ください。hask(_ _)eller

<@U4LGTMTMK> そういえば、前回、weworkで無料の勉強会ってどうやって開催してるんだろ？みたいな話題があったと思いますが、入居者が主催で追加料金無しでイベント開催できるらしいので、それだったのかなと思いました。参考までに

まだ登録してないという方は <https://nework.app/invitations/01EJ0EVG42VFK0ZY1B5SVZZYEC> から登録してください。 （このリンクは1日しか有効じゃないそうです）

cabal.project の source-repository-package に text-conversions 書いてて、それに pandoc が依存してる？っぽいので cabal ファイルに変更を加えると pandoc の再ビルドが走る……

ちなみに私は土日両方 :ok_hand: です。

直近の記録を見ると次は <@U4L0B71L1> さんか <@U59TQ3MJ9> さんいかがでしょう？

急にいなくなって申し訳ないですが、このまま予定してたイベントを見に行きます。多分聞きながらもくもくはしてます :bow:

日曜ならいけますー

今日は私以外に参加者もいなかったっぽいし、次回運営の募集はなしかなー。

<https://github.com/haskell-jp/blog/pull/199> 書きました！

10 いけます（2、3 でも大丈夫ではありますが

ざっと見た感じ、そういう機能はまだなさそうですね

ざっと見た感じ、そういう機能はまだなさそうですね

動的プログラミングもつまみ食いしつつ，algorithm design with haskell9.3まで読み進めましたー

動的プログラミングもつまみ食いしつつ，algorithm design with haskell9.3まで読み進めましたー

プログラミングHaskell15章の正格適用の途中まで読みました．

プログラミングHaskell15章の正格適用の途中まで読みました．

<https://blog.penginmura.tech/entry/2021/03/01/172249|これ>を読んだあと、<https://github.com/YusukeHosonuma/swift-emmet|著者のOSS>を読んで機能追加のためのコードを書いてました

<https://blog.penginmura.tech/entry/2021/03/01/172249|これ>を読んだあと、<https://github.com/YusukeHosonuma/swift-emmet|著者のOSS>を読んで機能追加のためのコードを書いてました

AtCoder過去問　"Educational DP Contest / DP まとめコンテスト"　問題 S - Digit Sum　もっと早くできるか試す

<@U4LGTMTMK> has joined the channel

<@U5X551GG7> has joined the channel

ですよね。ありがとうございます。

<@U74KTAG0N> has joined the channel

「有理数が無理数集合内に含まれている」って変じゃない？無理数ではなく実数のコト？

:thinking_face:.oO(定理証明器関係のchannelも作ろうかな...)

おそらく、暗黙のうちに「外延性の公理」は前提にしているのだと思います。というか、そういう前提をいれてようやく Hask圏は圏になる、というか。

確率関係は正しいと思います。利点としては、実用上ソート済みのデータがうっかり入ってしまう事が多々ある（意図的な攻撃含む）ので、そういう場合に容易にワーストケースに入ってしまうのが危険だからだと思います

Coalgebra の方ってレンズとかライフゲームだっけ。

函手 F, G: C ↝ D に対して、自然変換 F ⇒ G は、任意の f: a → b in C に函手をそれぞれ適用し、 Ff: Fa → Fb in D および Gf: Ga → Gb in D に可換図式 θb . Ff = Gf . θa を満たす射の族 θ_ を考えることで与えられます...

<@U8EJKMNVA> has joined the channel

<@U6BUS25MX> has joined the channel

VoQnさんので言うと， <https://github.com/VoQn/cacco/blob/master/src/Cacco/Ann.hs#L21> がまさにCofreeですね．(Indexed Fixはまだ導入してなさそう？)

それから，要件がどうなのかは分からないのですが，JSONログを吐けるならそっちを解析するといいのかなという感じがしました <https://github.com/input-output-hk/cardano-sl/blob/8d25c2ad3ca2354af8f8c43a2972d1b9a31bf...

<@UCHGLH5QT> has joined the channel

<@U4LGTMTMK> has joined the channel

HERP も大丈夫です :ok_woman:

HERP は当日で大丈夫です！

で、残りの問題は - IIJ宛てのAmazon・逸酒創伝の請求書 (and/or 領収書)の書き方と送り方 - クリプタクト宛てのカクヤスの請求書 (and/or 領収書)の書き方と送り方 - IIJからの協賛金の受け渡し といったところでしょうか。

<@U4KPPQW7K> has joined the channel

<@UD34X8SGZ> has joined the channel

長いけど見終えた。 <https://www.youtube.com/watch?v=RknM0j138PE&feature=youtu.be> 言うほどHaskell関係ないし個人的には割と知った話が大半だったのであまりおすすめしません... :disappointed:

<@U7URL21G9> has joined the channel

<@ULBC77RC3> has joined the channel

<@ULBC77RC3> has joined the channel

<@U4KPPQW7K> has joined the channel

<@U4KPPQW7K> has joined the channel

<@U4LGTMTMK> has joined the channel

<@UH195J82Y> has joined the channel

:serval: すごーい！ <https://twitter.com/waddlaw/status/924513731890921473>

GHC 8.4 はこんな感じ：

<@U88NRUX26> has joined the channel

<@U8HCA22Q1> has joined the channel

( <#C4M4TT8JJ|random> を占領するのもアレだし、 <#C5666B6BB|questions> とは別に「既に書いたコードを添削して頂く」ためのチャンネルがあってもいいかも、と思うなどした）

<@U8P5W7YP6> どこに書くかや通知の点のみならず，現時点であなたのふるまいは「私は/私が〜」のみであり， 実際にその結果・影響を受けとる人がどうなるかという視点がやや欠けているように見えます． 具体的には「here,channel は緊急性を要するので基本NG」とかルールが存在していたとし...

任務完了です。高専の生徒達、大学生、院生の生徒達にもみてもらうようにします。たくさんの若者のアイデアが出る事を私も楽しみにしています。では失礼します。

<@U8X01G6FJ> has joined the channel

[Data.Set](<https://www.stackage.org/haddock/lts-10.4/containers-0.5.10.2/Data-Set.html>) なんかはshowTree関数を別に定義されていて良かったりしますね それはそれとしてシリアライズにshowを使うのは便利...

最近社内Slackで江添さんのhaskellに纏わる誤解を説くbot化しています

ああ、説明が足りませんでした。 構文木を評価した結果の型を以下のようにして、型の構造はシンプルなままにして外側から注釈をつけられるような Functor として扱えないかなって取り組んでみたのです ```hs data ValF a = Unit | Bool Bool | In...

<@U8HK4CEVB> has joined the channel

出ましたね！結局RCとかalpha版のうちに触れなかった。。。<https://www.reddit.com/r/haskell_jp/comments/831fng/blog_ghc_841_released/>

<@U9PPYU59T> has joined the channel

<@U4LGTMTMK> pinned a message to this channel.

<https://www.fpcomplete.com/blog/how-to-handle-asynchronous-exceptions-in-haskell> youtubeにでてました。

申し込むときに「何の団体か」というのを記述する欄がありまして、そこに記述しておくとOSC公式サイトに団体名やURLが掲載されたりするのでせっかくなら個人枠ではなくHaskell-JP枠で出場した方が宣伝効果もあって良いかなと思いまして。

<https://www.haskell.org/communities/05-2018/html/report.html> 今期もHaskell-jp :haskell-jp: の活動報告を出せました。

<@U55V441FS> Haskell Weekly入りおめでとうございます！ :tada: <https://haskellweekly.news/issues/109.html> <https://github.com/takenobu-hs/haskell-symbol-search-ch...

依存性については、実はLens APIを公開するだけだったらlensパッケージに依存する必要はなかったり。 > You can even define lenses without incurring a dependency on the lens library <http://hacka...

<@UBGMA2CV9> has joined the channel

<@UBYERCFB6> has joined the channel

（私もちょっと寄稿しています）

「プログラムの実行中を通して実行結果が変わらず、かつ、いつ実行されてもいい（されなくてもいい）式」ならば使っていいかな、と最近思うようになりました。 ex) 開始時に排他ロックして終了時まで解放しないファイルからリードする

:sweat_smile: HaskellDayのハッシュタグが被ってしまったか。。。まぁ、Haskellってもともと人の名前だし、しょうがないか。。。 <https://twitter.com/USIndianAffairs/status/1041702224534138881>

<@UDP2YN4P7> has joined the channel

はい，let-束縛で変数を束縛するのは値ではなく，計算であるというのは理解できました． 「サンク」であることと「停止しない計算」とは区別できないように思いますがどうでしょう．

<@UDWMRUHGE> has joined the channel

evalShow :: Int -> Expr -> String というのを実装してみました．値の近似列を指定した段数まで，または，確定するまで表示します．

`skip-msys` は試したことなかったですね。 なるほど。 とはいえ、やること同じになりそう。 今回は hsexif を使おうとしたら iconv に依存していたのでした

知らないパッケージを検索した時に見つかる Hackage の URL が、いつも https ではなく http になっているのちょっと不思議 (検索サイトは関係ない模様)

<@UEH5X296F> has joined the channel

<https://logmi.jp/tech/articles/320396>

これは機械的導出じゃないから機械的に保障は出来無いんだけど、パッケージ作成者がしっかり SemVar のルールを守ってバージョン付けしてくれてる(という仮定)なら、 `allow-newer` 無しでも勝手に上のバージョンを選んでも良いと思うのだけれど

あ、あと、stack build --ghc-options=-jとすればモジュール単位の並列化までできますが、そういう話ではない？

ドキュメントの修正であれば trac に issue 立てなくても、そのまま PR 出しちゃうのが楽だと思います。 <https://github.com/ghc/ghc>

<@UFR40Q0U9> has joined the channel

<@UG91FEHJ7> has joined the channel

会社名はクリプタクト(Cryptact)です。 Javaは捨てて、改めてエージェントにあたってみます。

と思っていま確認したら ~最近のhaskell-platformはだいぶminimalな感じなんですね（hashableやregex、vectorが入っていない）~ 気のせいでした

<@UGRT7TBPG> has joined the channel

構わないですが、どういう立て付けにしましょう？ まだHaskell-jpがなかった頃のお話ですし。 このWikiの古いロゴとして使われていた、とかですかね？

<@UH2T18UM9> has joined the channel

See also <https://haskell-jp.slack.com/archives/C4M4TT8JJ/p1551223396033900>

5!?観測史上最大のマイナーバージョンアップですね…

（絶対遅れそう…）

どういう文脈でTsuru Capitalが出てきているのでしょうか

GraphQLクライアントは私も欲しいです！

これで私はエコシステムの救世主だ…

<@UJQ5HAP8E> has joined the channel

（あったらどうしよう、という不安もある）

これですかね > Internally, Stack has changed many datatypes, including moving to Cabal’s definition of many data types. As a result of such changes, exis...

8.0は特にコンパイル速度が一番遅かった時ですしね。

<@UL5D01VL2> has joined the channel

`ShouldBeAnInstanceOf` はないのか... 技術的に難しいのかな。

<@UMNGDEP4L> has joined the channel

Redditから２件です。今週末も豊作ですね。 その１: GitHub社謹製のSemanticの裏?話です。 計算機科学の人たちの底力ですね。 4年近くステルス状態で、よくやりきったなぁ、、、 しかし、説明資料がシンプルですごいですね。 コード最少でモナドの感じを説明。 Building Has...

ありがとうございます！ これですね:eyes: <https://gitlab.haskell.org/ghc/ghc/merge_requests/1934>

このテストにおいて Windows で HDBC-postgresql が access violation（segmentation fault 相当）を吐いて困っている

ghcup 的な PowerShell 用なにがしをざっくり作ってみた <https://github.com/kakkun61/ghcups>

<https://www.mail-archive.com/[email protected]/msg26509.html> GHC 8.10.1-alpha1! :tada:

いまいち INLINE 付けるべき勘所が分からない INLINE 付けないとモジュールを越えた融合変換が効かないというのは users' guide で知ったけど

「Haddock って CPP 使える」とはどういうことを期待してますか？

『コンパイルの早いGHC』は男だけでなく女も望んでいる（と思う）。

prettyprinterを使ってCBOR(MessagePack)を表示するプログラムと(cbor-tool)、foldl・trifectaを活用した、ヒストグラムなどを算出できる簡単な統計処理ツール(harvester)を追加しました。Haskell界隈はアプリ例の欠如にずっと悩まされているので...

プロ <https://twitter.com/Lugendre/status/1218474823636213760|https://twitter.com/Lugendre/status/1218474823636213760>

チャンネル削除のおかげで、2018/8までメッセージが見えるようになっていますね！

なんか <https://github.com/sdiehl/write-you-a-haskell> が GitHub のトレンドに上がってたんですけど、なんでなんですかね？（latest commit が 2017/4 なのに

後で時間があったら思いつく例を何個か作って上げようと思ってるんですが、 * パーサのデバッグ * グラフ構造の探索など、コントロールフローが複雑な関数群のデバッグ * notogawa さんがおっしゃってるようなパフォーマンスの改善時のデバッグ で printf デバッグをする際、trace が出な...

```λ> e a b = either a b λ> :t e e :: (a -> c) -> (b -> c) -> Either a b -> c λ> ```

<@U4MMHDSNT> 遅い反応ですが、3つの構成子の件。 dataの直和型には、expression problemがあります。 なので、コードを完全に自分で管理でき、後から構成子を増やすことに問題がなければ、単純にdataを使います。 ユーザが拡張する可能性があるなら、PatternSynon...

ここに来て新ロゴ案？と思いきや距離空けバージョンってことっすかw

むぅ

Redditなどから、いくつか情報です。 その１: Haskell IDE開発の今週のUpdate情報です。 愚直に進んでますね。 Hakell IDE 2020: Weekly Update and Multiple Components <https://mpickering.github.i...

ここだけの話元メンテナの不参加と職権濫用が委員会に問題視されて追い出されたという感じですが、平和的に解決したようで何より

QUIC 界隈では、AES GCM をもっと速くすることが流行っていて、Haskellもこの潮流に乗れるよう頑張りたい。(古い技術なんだけど、AES と GCM の計算を並列化できるなんて知らなかったよ。)

cabalで、わりとクリティカルなのに謎のTest failureでマージされず、投げた本人も放置したまま一年が経過したPRがあるんですが、たとえばこれを私が引き継ぐといったような事は可能なんでしょうかね <https://github.com/haskell/cabal/pull/6103>

cabal.projectに ```package パッケージ名 test-show-details: direct``` と書いておくと便利です

<https://github.com/haskell/bytestring/issues/140|https://github.com/haskell/bytestring/issues/140>　削除を含めいろいろな案が出ましたが、現在のメンテナはインスタンスを変えたくないようで…一方GHC側で...

(破門されそう)

`GHC2020` 言語拡張の議論が、ghc-steering-committeeで始まっているようです:haskell: （Haskell 2020規格ではなくて、GHC拡張の集合体です。いずれ広く議論されるかな？） [ghc-steering-committee] GHC 2020 <https...

Twitterでは既に言及しましたが、私が引き継いで実装を進めています。DuplicateRecordFieldsと共通のメカニズムを使っているため、PatternSynonymsから生成したレコードとはうまく協調しないなど完璧ではありませんが、早ければ次のGHC(9.2)には入ると見込んでいるので...

<https://scrapbox.io/haskell-shoen/barbies-th> barbies-thの新しいバージョン0.1.7をリリースしました。今まで扱いがあやふやだったderiving周りの変換を改善し、元のデータ型と等価なものが導出されるようになったため、既存のコードを歪めずに...

以前に話のあった、prime関連のWebページの在り処についてです。 TracからGitLabへの移行に伴って、以下の場所にmigrateされていましたので共有しておきます。 <https://gitlab.haskell.org/haskell/prime/-/wikis/home> なお、3-r...

型レベルCPUの上でCで書いたFizzBuzzは動きましたよ、AWSで256Gメモリを積んでるマシンを借りて1から20まで(17min)ですけど……

これは :ideograph_advantage: 情報かも <https://qiita.com/debug-ito/items/34f6fb1403ab40ac7668>

これは :ideograph_advantage: 情報かも <https://qiita.com/debug-ito/items/34f6fb1403ab40ac7668>

<@U01N0DE52HX> has joined the channel

<@U01N0DE52HX> has joined the channel

ログが取られない(公開されない)雑談できるチャンネルはありますか？

ログが取られない(公開されない)雑談できるチャンネルはありますか？

<@U01S215169G> has joined the channel

<@U01S215169G> has joined the channel

<@U4LGTMTMK> has joined the channel

サクラムダステッカーほしい >ノベルティー

<@U57CGDBMG> has joined the channel

サンクス

<@UCFA431LM> has joined the channel

反映しました :bow:

<@U7ZPASHB9> has joined the channel

<@U4KPPQW7K> プログラムを更新しました。 <https://docs.google.com/spreadsheets/d/1ufFMsBio9mGwZf7XoiLF7oFJjIIeHRPPr-yuzLRsOq0/edit#gid=0> gyazoの更新もお手すきの際におねがいします。 :...

共有しときました。 <https://twitter.com/igrep/status/1061133308086562817>

それ以外大丈夫そうです:crab:

なんかやり方にアイディアあるんすか？

はい、おまちください。

皆さまのご協力、感謝いたします。

<@U55UN00G0> has joined the channel

ああー、すみません、当初でた決め方案のとおり、これまででたテーマ案を、アンケートとってみるのでいかがでしょうか？ どの道今月中には間に合いませんが…

:kanryo: 「過去のHaskell Day」 :kanryo: スポンサー企業についての詳細 :fire: やや冗長なので「持ち物」を削除

そうですね、、未経験者が試行錯誤でやっているので、理解力・知識不足からくる泥臭い話になりそうです。

<@ULU4TAFLG> has joined the channel

掘り出した <https://haskell-jp.slack.com/archives/CAXQ09PN2/p1558667165092700>

確認しましたー :ok_woman:

ekmettさんを迎えに向かっています。

すみません、食事が終わっておらず午後の受付に遅れそうです

<@U4LGTMTMK> Okay, IMO, my talk heavily depends on the live-coding, so I hope to share something in tutorial-style instead of the slides. I try to fin...

<@U4LGTMTMK> has joined the channel

わかりました。できるところまでやっちゃってください。

定義すれば論理的に正しくすることはできますが、あえてラムダ計算と被る言葉を選ぶ必要はないと思います

<@U4M5LDXK9> has joined the channel

<@U90FHSDFG> has left the channel