このスライドは、2020/10/17 - 18 に開催された「ScalaMatsuri」で発表したものです。Read less
![Scala 初心者が米田の補題を Scala で考えてみた](https://cdn-ak-scissors.b.st-hatena.com/image/square/1fc089bd631a95a410f1c2a93a8b2a2a2e064f83/height=288;version=1;width=512/https%3A%2F%2Fcdn.slidesharecdn.com%2Fss_thumbnails%2Fyoneda-201017060719-thumbnail.jpg%3Fwidth%3D640%26height%3D640%26fit%3Dbounds)
このスライドは、2020/10/17 - 18 に開催された「ScalaMatsuri」で発表したものです。Read less
つまりなぜかいきなり高階型の話です。 これ 関数を扱えることはどのようにプログラミング言語の能力をあげるか に対する便乗というかツッコミとして。 つい先日もある人がこんなこと https://twitter.com/koropicot/status/365014333413011457 を言っていて*1、「ですよねー」と勝手に納得していたりしましたが。 つまりScalazでよくみるような高階型 trait Monad[F[_]] extends Applicative[F] { implicit val listMonad = new Monad[List]{ がないと、モナドとして抽象化や共通化ができない、という話です。*2 高階型についてはたとえばこれ (もりそば)Scalaによる高階型変数 - Higher-kind Generics とか読んでください。 関数がオブジェクトとして扱
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く