来世から頑張る!!

技術ブログを目指して

2015-08-01から1ヶ月間の記事一覧

型安全なリストを作りたい Part. 1

最終的な目標としては、行列の計算がしたい。 1 2 3 1 4 1*1+2*2+3*3 1*4+2*5+3*6 14 32 ( ) * ( 2 5 ) = ( ) = ( ) 4 5 6 3 6 4*1+5*2+6*3 4*4+5*5+6*6 32 77 こんな感じのやつ。 2行3列の行列は3行2列の行列との積を求めることができて、結果は2行2列の行…

Scala勉強会で発表してきた。

初スライド!!! for の使い方について。 http://kazzna.jp/slide/scala_for/index.html Haskellのモナド系ブログが大体doを理解するならStateだってなってたので便乗です。 勉強会でも口頭で言ったけれど、 flatMapの定義をするなら Monad則 を覚えないと…

Scalaの型推論って難しい

ラムダ計算とかの例によくある チャーチ数 をScalaで試してみる。 原点を表す Zero 、次を表す Succ を定義しておけば足し算とかできるってやつ。 まずは試し書き import Conrtol.Applicative zero f a = a succ n f a = f $ n f a one = succ zero two = su…