haskell-jp / today-i-learned #1

lotz
2020-06-02 22:50:15 +0900
@lotz has joined the channel
lotz
2020-06-02 22:50:16 +0900
@lotz set the channel purpose: 今日勉強したことを共有するチャネル
2020-06-02 22:50:29 +0900
@ has joined the channel
nakaji-dayo
2020-06-02 22:50:30 +0900
@nakaji-dayo has joined the channel
2020-06-03 00:46:13 +0900
今日は
HVectモジュールのソースコードを見ました。
https://hackage.haskell.org/package/hvect-0.4.0.0/docs/src/Data-HVect.html

SpockでHVectElimやHasRepなるものが所々、型注釈で使われているようですが、これの意味が分からなかったので。

Spockでこれを使っている理由がいまだに分かっていない。とりあえずHVectElimはType Families拡張を使用している？ルーティングにマッチしたら、該当の要素を消して、高速化みたいな処理をしてる？？よく分からない。謎です。

HasRepも今のところ謎の存在。
lotz
2020-06-03 01:34:05 +0900
よく調べずの発言ですが確かルーティングのところで、ルールから対応する数の引数を持つ関数を作るところでHVect を使ってた記憶があります :eyes:
aiya000
2020-06-03 01:35:15 +0900
@aiya000 has joined the channel
2020-06-03 01:42:05 +0900
@lotz
ありがとうございます！
正直、ここ全然分かっておらず、後日questionチャンネルで質問投げるかもです:sweat_smile:
ttsurutani
2020-06-03 05:55:26 +0900
@ttsurutani has joined the channel
igrep
2020-06-03 06:37:12 +0900
@igrep has joined the channel
as_capabl
2020-06-03 09:01:17 +0900
@as_capabl has joined the channel
2020-06-03 09:08:41 +0900
@ has joined the channel
kakkun61
2020-06-03 09:39:15 +0900
@kakkun61 has joined the channel
2020-06-03 09:50:46 +0900
@ has joined the channel
kakkun61
2020-06-03 09:50:47 +0900
Haskell 化された ghcup の実装をチラ見したんですが、型レベルリストを使った検査例外を使ってるんですね
template Haskell の quasi quote も多用してて URL などはコンパイル時検査してるみたい
https://gitlab.haskell.org/haskell/ghcup-hs
kakkun61
2020-06-03 09:51:20 +0900
installGHCBin :: ( MonadFail m
                 , MonadMask m
                 , MonadCatch m
                 , MonadReader Settings m
                 , MonadLogger m
                 , MonadResource m
                 , MonadIO m
                 )
              => GHCupDownloads
              -> Version
              -> Maybe PlatformRequest -- ^ if Nothing, looks up current host platform
              -> Excepts
                   '[ AlreadyInstalled
                    , BuildFailed
                    , DigestError
                    , DistroNotFound
                    , DownloadFailed
                    , NoCompatibleArch
                    , NoCompatiblePlatform
                    , NoDownload
                    , NotInstalled
                    , UnknownArchive
                    ]
                   m
                   ()
2020-06-03 09:52:37 +0900
@ has joined the channel
kakkun61
2020-06-03 09:53:40 +0900
ghcupURL :: URI
ghcupURL = [uri||]
kakkun61
2020-06-03 09:54:13 +0900
スマホじゃ等幅にならないっぽいのでパソコンでいじる
ny
2020-06-03 09:59:14 +0900
@ny has joined the channel
2020-06-03 09:59:44 +0900
@ has joined the channel
matsubara0507
2020-06-03 10:09:22 +0900
@matsubara0507 has joined the channel
2020-06-03 11:26:17 +0900
@ has joined the channel
2020-06-03 11:43:31 +0900
@ has joined the channel
aiya000
2020-06-03 13:03:49 +0900
exception-checkedかとおもったらちがった
addokoda
2020-06-03 13:25:08 +0900
@addokoda has joined the channel
nobsun
2020-06-03 14:50:43 +0900
@nobsun has joined the channel
clock_void
2020-06-03 15:18:56 +0900
@clock_void has joined the channel
fumieval
2020-06-03 18:35:11 +0900
@fumieval has joined the channel
firn
2020-06-03 19:08:09 +0900
@firn has joined the channel
Dora
2020-06-03 19:28:58 +0900
@Dora has joined the channel
2020-06-03 19:56:41 +0900
@ has joined the channel
にしたに
2020-06-03 20:25:00 +0900
@にしたに has joined the channel
takoeight0821
2020-06-03 21:07:23 +0900
@takoeight0821 has joined the channel
takenobu.hs
2020-06-03 21:17:46 +0900
@takenobu.hs has joined the channel
lotz
2020-06-03 23:08:05 +0900
今日は
ASTs With Fix And Free
を読んでFixとFreeによるASTの実装の違いを眺めました :eyes:
2020-06-03 23:41:10 +0900
今日は
YesodのBasicsのチャプターを眺めました。
https://www.yesodweb.com/book/basics
学習コストが高いと言われているが、規約通りに組めば、初心者でもそれなりに動くものが簡単に作れる仕組みは、やはりすごいと感心しました。
2020-06-04 22:38:42 +0900
今日はTypeFamilies拡張について、以下の記事を読みました。
まだ、最初の方しか読んでない。時間かかりそう。

https://wiki.haskell.org/GHC/Type_families

na4zagin3
2020-06-05 01:04:09 +0900
@na4zagin3 has joined the channel
lotz
2020-06-05 02:05:13 +0900
reanimate を触ろうとTutorialを試してましたが、なぜかブラウザでの描画もGIF生成もうまく行かず諦めました :sweat_smile:
https://williamyaoh.com/posts/2020-05-31-reanimate-nqueens-tutorial.html
igrep
2020-06-05 06:42:21 +0900
手前味噌で恐縮ですが、それなりに分かりやすい解説だと自負しているにもかかわらず、TypeFamilies自体が主題でないネタ記事であるせいか、検索にほぼヒットしないものがあるので宣伝させてください :pray:
https://qiita.com/igrep/items/5496fa405fae00b5a737#typefamilies
2020-06-05 16:42:53 +0900
@takenobu.hs さんのすごいRTSの資料をみて
GHCのコードリーディング中です。
https://takenobu-hs.github.io/downloads/haskell_ghc_illustrated.pdf
2020-06-05 17:11:43 +0900
@igrep
まだ全部読めてないですが、とてもわかりやすいですね！
また、じっくり読みます！
2020-06-05 20:53:23 +0900
rtsがマルチインスタンスで動くようなことが書かれてますね
2020-06-05 22:40:31 +0900
今日は<@U4LGTMTMK>さんの書いた記事

https://qiita.com/igrep/items/5496fa405fae00b5a737#typefamilies

のTypeFamiliesのところを読みました！
ここに書いてあることを知っているだけでも、公式資料を読み解く下地になりそうです:smile:
他のGHC拡張についても書かれているようなので、時間あるときに目を通しておきます:smile:
2020-06-05 23:02:16 +0900
@ has joined the channel
2020-06-05 23:04:50 +0900
@ has joined the channel
lotz
2020-06-06 01:48:01 +0900
昨日諦めたreanimateですがに載ってた
$ git clone 
$ cd reanimate/
$ stack build
$ stack ./examples/doc_drawCircle.hs

を試したら動いたので REANIMATE: A TUTORIAL ON MAKING PROGRAMMATIC ANIMATIONS を試しながら読みました
次アニメーションを作りたくなったら reanimate 使ってみようと思います（mp4とかgifにも吐き出せるっぽいので便利そう）