kazuhi-ra.hatenablog.com こういう記事を見たので、普段開発にLinux (OpenSuSE Leap) を使っている自分も同様のことをしておこうかなと思ったのでシェアします。自分もキーリピート上げておきたいなと思ったのが直接のきっかけです。 マウスポインタを最大…

モノイドからなるリストのリストを垂直に結合したい。 tl;dr 「ZipListってのがあるよ」 順にやってみる Parallel登場 追記 まずは下準備: import cats._ import cats.implicits._ // こいつらをぜんぶくっつけたい val xs = (1 to 9).toList // xs: List[In…

みんなScala書いてる？ScalaはJVM言語なのでコンパイルが当然必要なのと、sbtを起動するのがちょっと面倒で試行錯誤が大変なんだよね。 Scastieっていう便利なオンラインREPLもあるんだけど、もちろんちょっと時間がかかるし、IDEじゃないから補完とか効かな…

追記: 解決編から見よう blog.3qe.us 最近型クラスまわりで遊んでいて、ちまちま応用例を見付けられているので嬉しい。 今回は、モノイドのリスト同士を結合することについて考えていきたい。 まずは下準備: import cats._ import cats.implicits._ val xs =…

最近は Scala 周りのライブラリをよく勉強していて、ShapelessやCatsについて勉強する事が多い。 ところでMonocleというライブラリも気になっていたので、Shapelessの勉強の息抜きに軽く調べることにした。 Monocleとは Monocleをインストールする Monocleの…

追記: Shapeless入門を記事にまとめました www.3qe.us 今回はChapter 4を扱う。 Working with types and implicits と題したこの章では、依存型と呼ばれる便利な概念を導入し、これまで説明してきたHList等の概念にさらに柔軟性を与える。 前回はこれ。 blog…

写真を撮ったりすると大きな画像を貼ることがあって、現代の技術でもってしても大きな画像のダウンロードにはそれなりの時間がかかるし、回線が悪いと画面ががたついたり待たされたりして体験が良くない。 そこで、写真を簡略化した軽量SVGを用意しておいて…