Twitter あいや🤟🙄🤟HaskellDay2018 public_ai000ya | あいや🤟🙄🤟HaskellDay2018 (@public_ai000ya) のツイート

6kxc5bgp reasonably small
あいや🤟🙄🤟HaskellDay2018@public_ai000ya

[Contributter] aiya000さんの2018-11-16のContribution数は 2でした。
#contributter

6kxc5bgp reasonably small
あいや🤟🙄🤟HaskellDay2018@public_ai000ya

あとIdrisのような依存型もまだなし得てないけど、DependentHaskellで為せるかも

6kxc5bgp reasonably small
あいや🤟🙄🤟HaskellDay2018@public_ai000ya

Haskellだと解決できた例は数多見たことあるけど、Haskellじゃなし得なかっただろう例はあんまり見たことない。
強いて言えばElmやgoのような、複雑さを排除した体系くらい

6kxc5bgp reasonably small
あいや🤟🙄🤟HaskellDay2018@public_ai000ya

今日のHaskellを使えば回避できた案件です twitter.com/310_ktr/status…

6kxc5bgp reasonably small
あいや🤟🙄🤟HaskellDay2018@public_ai000ya

[learning-Haskell] github.com/aiya000/learni… aiya000 - :+1: Learn generic-lens's the constraints and the any

6kxc5bgp reasonably small
あいや🤟🙄🤟HaskellDay2018@public_ai000ya

天才なのでgeneric-lens完全に理解した。
もう記事書ける

6kxc5bgp reasonably small
あいや🤟🙄🤟HaskellDay2018@public_ai000ya

美しすぎる構造、Lens

6kxc5bgp reasonably small
あいや🤟🙄🤟HaskellDay2018@public_ai000ya

lensという構造が自然界に存在している時点で、自然は美しいよなぁ

6kxc5bgp reasonably small
あいや🤟🙄🤟HaskellDay2018@public_ai000ya

generic-lensパッケージどちゃまちゃ格好いいな

6kxc5bgp reasonably small
あいや🤟🙄🤟HaskellDay2018@public_ai000ya

class HasAny (sel :: k) s t a b | s sel k -> a

っていうkのfundep、めっちゃ好き

6kxc5bgp reasonably small
あいや🤟🙄🤟HaskellDay2018@public_ai000ya

generic-lensパッケージ、めっちゃ格好いいな

>>> sans ^. the @"skeleton"
";E"

> generic-lens: Generically derive traversals, lense… twitter.com/i/web/status/1…

@public_ai000ya 離散圏だったら直積ですね。(理解されたのだと思いますが。
他の圏からの関手考えると、他のものが出てきます。

6kxc5bgp reasonably small
あいや🤟🙄🤟HaskellDay2018@public_ai000ya

@myao_s_moking おおお、まさに聞きたかった、残った疑問でした。
ありがとうございます😀

6kxc5bgp reasonably small
あいや🤟🙄🤟HaskellDay2018@public_ai000ya

そういうことか!!
twitter.com/myao_s_moking/…

6kxc5bgp reasonably small
あいや🤟🙄🤟HaskellDay2018@public_ai000ya

そういえば「直積は極限の特殊な場合」って聞いたことがある気がしたけど、極限であって直積でない何かが存在するのかな

6kxc5bgp reasonably small
あいや🤟🙄🤟HaskellDay2018@public_ai000ya

Fを選ぶと、Cのある直積が決まるってことだよね

6kxc5bgp reasonably small
あいや🤟🙄🤟HaskellDay2018@public_ai000ya

「圏Cの対象のn個の直積とは、n元集合の離散圏{...}からの関手F:{...}->Cの錐の圏Cone(F)の終対象である」理解しました💪😎
d.hatena.ne.jp/m-hiyama/touch…

6kxc5bgp reasonably small
あいや🤟🙄🤟HaskellDay2018@public_ai000ya

@blac_k_ey 日々の学習にも使えそう👀

6kxc5bgp reasonably small
あいや🤟🙄🤟HaskellDay2018@public_ai000ya

コンテンツをすごい勢いで生み出しまくって大気圏を突き破って飛んでったみゅおーんみょんさん、いまどこらへんにいるんだろ

6kxc5bgp reasonably small
あいや🤟🙄🤟HaskellDay2018@public_ai000ya

@blac_k_ey めっちゃよさそく