haskell-jp / today-i-learned #3

igrep
2020-07-25 13:03:00 +0900
長いけど見終えた。 https://www.youtube.com/watch?v=RknM0j138PE&feature=youtu.be
言うほどHaskell関係ないし個人的には割と知った話が大半だったのであまりおすすめしません... :disappointed:
2020-07-29 00:01:34 +0900
プログラミングHaskell第2版の15章、遅延評価を読みました。1周目なので消化不良な部分はありますが:sweat_smile:
kakkun61
2020-07-30 19:08:49 +0900
自作インタープリターでパターンマッチによる分解ができるようになりました
kakkun61
2020-07-30 19:09:21 +0900
テストから抜粋
igrep
2020-08-02 19:36:13 +0900
今朝見終えた。 https://www.youtube.com/watch?v=I7-JuVNvz78&list=PLiU7KJ5_df6aZbNfh_TUJt-6w9N3rYkTX&index=3
やっぱりハッシュテーブルなどのmutableなデータ構造を線形型で管理することで（Rustの`&mut`みたいなものと考えればいいかも）、純粋な関数の中で更新できるようにするのがポイントみたいですね。
2020-08-05 01:51:12 +0900
Haskell入門関数型プログラミング言語の基礎と実践を読み返してました:grinning:普段書かないコードは忘れるものですね:sweat_smile:
kakkun61
2020-08-05 20:53:28 +0900
自作 Haskell インタープリターでここまでできるようになった
2020-08-09 01:59:53 +0900
Control.Monad.Trans.State.Lazyとかのソースコードを読んでました。ソースコードを見ずに自分で定義を書き起こしたりして理解を深めてました:smile:

https://hackage.haskell.org/package/transformers-0.5.6.2/docs/src/Control.Monad.Trans.State.Lazy.html

https://hackage.haskell.org/package/base-4.14.0.0/docs/src/Data.Either.html
kakkun61
2020-08-16 23:14:57 +0900
自作 Haskell インタープリターで import できるようになった
2020-08-17 00:46:40 +0900
contravariantについての記事を読んでました。


https://typeclasses.com/contravariance

https://www.schoolofhaskell.com/school/to-infinity-and-beyond/pick-of-the-week/profunctors

消化不良のため、復習が必要。。
2020-08-19 23:13:29 +0900
contravariantに関する記事を読んでました。以下の記事が自分には分かりやすかったです。
二番煎じですが、備忘録としてqiitaあたりに記事アップを考え中。


https://ocharles.org.uk/blog/guest-posts/2013-12-21-24-days-of-hackage-contravariant.html
2020-08-22 21:59:14 +0900
ProfunctorとかBifunctorの記事を読んでました。
Invariantの有用性とか、まだよくわかってない。


https://www.fpcomplete.com/blog/2016/11/covariance-contravariance/
2020-08-26 02:13:06 +0900
Control.Categoryに関する記事を読んでました。面白いですね。


https://qiita.com/CyLomw/items/a618b7c7326d9abede63
kakkun61
2020-08-26 23:03:39 +0900
自作 Haskell インタープリターでのサンクの扱いに悩んでいるので『The Implementation of Functional Programming Languages』を読もうと印刷をした
https://www.microsoft.com/en-us/research/publication/the-implementation-of-functional-programming-languages/
2020-08-29 22:44:09 +0900
Lensに関する動画を見てました。
まだ理解しきれていませんが、興味深い内容でした:smile:

https://youtu.be/LBiFYbQMAXc
2020-09-05 19:12:26 +0900
関数プログラミングの楽しみの10章「アローと計算」を読んでます。一回読んだだけではわからないので、繰り返し読みます:innocent:

https://shop.ohmsha.co.jp/smartphone/detail.html?id=000000001859
igrep
2020-09-05 19:13:57 +0900
自分のパッケージのドキュメントがhackageで読めないのはhackageのサーバーがサボっているからだと思ってましたが違うと言うことを学びました。今までごめんなさい私の怠惰のせいです... :cold_sweat:
https://haskell-jp.slack.com/archives/C4M4TT8JJ/p1599299006033800?thread_ts=1599296129.033100&cid=C4M4TT8JJ
2020-09-10 22:10:12 +0900
Arrowに関する論文を現在進行形で読んでます。
http://www.cse.chalmers.se/~rjmh/Papers/arrows.pdf

まだ半分も読めていませんが、丁寧な解説で素晴らしい。
2020-09-21 02:05:06 +0900
最近、他の作業でHaskell停滞中でしたが、Contravariantについて学習した内容をQiitaの記事にまとめました:sob:
精進します:sob:

https://qiita.com/masaki_shoji/items/b384eed4595df3423e0c
2020-09-26 03:22:18 +0900
Contravariantをつかっているライブラリを見ていたので助かります。
ありがとうございます。
https://kowainik.github.io/posts/2018-09-25-co-log
igrep
2020-09-26 10:35:00 +0900
見終えた https://www.youtube.com/watch?v=Q3qjTVcU9cg&feature=youtu.be
NixOpsでEC2のセットアップしたり、DBのセットアップまでできるんですね :serval: （後者についてはproductionではすべきでないと言ってたけど）
igrep
2020-10-03 13:05:33 +0900
見終えた https://www.youtube.com/watch?v=sE1qWyQWWVY
GHCのtype checker プラグインの仕組み。「type checker」とはいうけど実際にやるのは制約の解決が中心で、型変数に具体的な型を適用したり、また新しく解決する必要がある制約を発見したり、を繰り返してすべての制約を解決する、という流れらしい。
2020-10-05 00:42:27 +0900
hakyll + emacs org-modeで記事を書いててteaserの設定がうまくできなかったのですが、ちゃんとteaserが表示できるようになりました。
（haskellというよりはorg-modeの問題でしたが・・・）
matsubara0507
2020-10-05 13:24:41 +0900
Haskell + Bazel を始めた、とりあえず Stack プロジェクトだったのを Bazel でビルドするのに成功した
igrep
2020-10-05 13:27:23 +0900
さては https://blog.sumtypeofway.com/posts/bazel-haskell-build-system-joy.html の影響ですね。 :smirk:
まだ読んでないけど :kininaru:
matsubara0507
2020-10-05 13:32:56 +0900
あ、いや、うちの会社（の僕が所属してるチーム）では昔から Bazel 使ってて（会社のは Haskell じゃないです）、前々から個人の Haskell プロジェクトでも使いたいなーって考えてたんですよね（特に +Elm してるリポジトリとかに）。
で、最近よく会社の Bazel 自体に触るようになったから詰まっても、筋肉（？）で解決できるかなーっていう自信がついたので挑戦し始めた感じです笑
matsubara0507
2020-10-05 14:30:53 +0900
あ、あとこれもそろそろ頑張ろうかなって思ったきっかけといえばきっかけ（日本語リファレンス増やすかーっていう）
https://twitter.com/Lugendre/status/1306204403867680768
igrep
2020-10-10 18:31:06 +0900
冷静に考えれば当たり前なんだけど、今日の学びです。
https://twitter.com/igrep/status/1314851782011486208
2020-11-17 01:04:12 +0900
今はもうメンテナンスされていないライブラリっぽいですが、セッション周りのお勉強のために、serversessionとyesodの組み合わせでお勉強してました。

https://hackage.haskell.org/package/serversession
Hesca
2020-11-21 12:23:19 +0900
@Hesca has joined the channel
takuo
2020-11-22 16:36:54 +0900
@takuo has joined the channel
as_capabl
2020-11-23 16:21:58 +0900
cabal outdated --exit-code コマンドを使うと「依存先パッケージの最新版がちゃんと使われるか（古いバージョン番号を書いていないか）」
の観点でcabalファイルをチェックできることを知りました。
これをCIに仕込んでおけば「依存先パッケージの最新版が出たらメールで通知が来る」みたいなのを実現できて素晴らしいです。

他言語では、通知だけでなくバージョンの書き換えコミットまでやってくれるdependabotというボットもあるらしく、
このへんは将来的にHaskellでもできるようになればいいと思いました。

https://www.reddit.com/r/haskell/comments/ev41o7/dependabot_for_haskell/
2020-12-04 18:00:34 +0900
@ has joined the channel
2021-03-01 10:58:31 +0900
@ has left the channel
juxtapose
2021-05-18 23:11:18 +0900
@juxtapose has joined the channel
hiroyuking
2021-12-28 15:41:28 +0900
@hiroyuking has joined the channel
hiroyuking
2022-04-03 19:53:23 +0900
randomに書いた話の続きでstackとnixpkgsを連携してみました

連携方法はstackのドキュメントにありました
https://docs.haskellstack.org/en/stable/nix_integration/
参考にしたサイト
https://utky.github.io/posts/note/stack-and-nix/
... Replies ...
2022-04-13 22:03:49 +0900
@ has joined the channel
hiroyuking
2022-04-20 22:06:44 +0900
Maybeを使ってJustとNothingをパターンマッチで分岐するみたいなことをやりました
なんか他言語と比べてネットで検索してもコードのサンプルがあまり転がってない印象があります
... Replies ...
hiroyuking
2022-04-23 06:56:39 +0900
今気づきましたがHaskell荘園いろいろコードのサンプルが載っていていいですね
https://scrapbox.io/haskell-shoen/
hiroyuking
2022-05-01 00:48:12 +0900
パラメーター多相について調べました。その中でHaskellの型シグネチャは暗黙に量化されるというのを初めて知りました。
言語オプション`-XExplicitForAll`　を使うと
g :: b -> b

が
g :: forall b. (b -> b)

と書ける
http://www.kotha.net/ghcguide_ja/7.6.2/other-type-extensions.html
えび (ebi_chan)
2022-05-14 15:01:14 +0900
@えび (ebi_chan) has joined the channel
2022-06-05 01:41:01 +0900
モノイド対象を考えるにはモノイド圏を、つまり圏とモノイド積を固定しないといけないということ。

つまり有名なあの文句には「モナドは単なる自己関手の圏における (関手の結合をモノイド積としたときの) モノイド対象だよ。 何か問題でも？」と補わないといけない。と思う。
Hask 圏について直積 (,) をモノイド積としたモノイド圏のモノイド対象が Monoid 型クラスのインスタンス。Hask 圏で Either をモノイド積としたモノイド圏は、全ての対象 (型) がモノイド対象になりそう?

class EitherMonoidObject a where
  eta :: Void -> a
  eta = absurd

  mu :: a `Either` a -> a
  mu = either id id
toyboot4e
2022-06-06 18:46:04 +0900
@toyboot4e has joined the channel
hiratara
2022-08-02 10:40:20 +0900
@hiratara has joined the channel
hirofumikubo
2022-08-13 21:01:45 +0900
@hirofumikubo has joined the channel