by shigemk2

当面は技術的なことしか書かない

2015-08-28から1日間の記事一覧

Cannot run program "pf": error=2, when executing "sbt packageSite"

Cannot run program "pf": error=2, when executing "sbt packageSite" · Issue #14 · eed3si9n/learning-scalazgithub.com I see "Cannot run program "pf": error=2," when executing "sbt packageSite". My environment is * Fedora 20 * sbt 0.13 * scal…

Scalaにおける#(シャープ)

ググラビリティ低すぎる話題が、ScalaやHaskellには多い。 この場合は、"scala sharp"でググると、知りたいことが得られたりはする。 What does the `#` operator mean in Scala?stackoverflow.com 要点としては以下。 中に別のクラスが定義されているクラス…

カインドとアリティ

カインドは型コンストラクタの型、もしくはより一般的ではないが高階型演算子の型 カインド (型理論) - Wikipedia 実際にはアリティ指定子とも言われる。 アリティ - Wikipedia なお、すごいH本には、P228に「型コンストラクタの種類」としれっと書いてある…