terazzoのブックマーク - はてなブックマーク

Type and Logic in Scala

真偽と型の対応はAnyが全体集合でNothingが空集合であることからもわかる. また, 型の包含関係は次のように記述できる.

terazzo 2014/12/10

forSomeって初めて知ったけどバナナじゃない事しか分からなかった。／存在型か

Scala

リンク

Subtyping in Scala

これらはそれぞれ非変(Invariant) 共変(Covariant) 反変(Contravariant) と呼ばれる. Covariant 共変な型パラメータをもつ型としてListやOptionがある. 共変を指定した型パラメータにはサブタイプを代入することができる.

terazzo 2014/09/11

Scala

リンク

type inference with logic programming

型推論と論理プログラミング core.logicを用いてClojureの型推論器を実装します. 単相型自己評価可能な値に対しての型付けを考えてみましょう. ClojureはJVMで動作するため, Javaのリフレクションにより値から型を取得することが可能です. (class "hoge") ; => java.lang.String (class []) ; => clojure.lang.PersistentVector

terazzo 2014/06/17

Clojure

リンク

Typelevel FizzBuzz in Scala

type _0 = Zero type _1 = Succ[_0] type _2 = Succ[_1] type _3 = Succ[_2] type _4 = Succ[_3] type _5 = Succ[_4] type _6 = Succ[_5] type _7 = Succ[_6] type _8 = Succ[_7] type _9 = Succ[_8] type _10 = Succ[_9] type _11 = Succ[_10] type _12 = Succ[_11] type _13 = Succ[_12] type _14 = Succ[_13] type _15 = Succ[_14]

terazzo 2014/05/21