!kiyoka.blog.2013_05 RSSPLAIN

Related pages: !kiyoka.blog.list
55555553233333333133355555555555445415
5

kiyoka日記。NendoSekkaの開発や、最近思うことなど

5

最新10件!kiyoka.blog   過去記事一覧!kiyoka.blog.list

5

kiyoka.blog_header 

5

このブログを書いている人: 西山 清香(kiyoka) - twitter: @kiyokaEXT

5

5

 

5

 

3

kiyoka.2013_05_16[PasteHub] Pastehub 0.2.6 をgemでリリース

2
 iStock_000019296334XSmall
3

コピペ同期サービスのクライアントを更新。

3

 

3
$ gem isntall pastehub
3

 

3

でインストールできます。

3

Ruby 1.9.3 以上の環境が手元にある方は、一度お試しを。

3
 http://pastehub.net/
3

 

1

comment (disabled)

3

3

 

3

 

5

kiyoka.2013_05_13[本] TAPL 型システム入門

5
 4274069117  型システム入門 -プログラミング言語と型の理論-: Benjamin C. Pierce
5

 

5

この本良さそう。第一章「はじめに」が無償公開されていたので読んでみた。

5

型システム入門 プログラミング言語と型の理論 EXT

5

 

5

Nendoに副作用「あり」か「なし」だけでも型チェックさせよう思って、もう1年以上。

5

自分の知識の土台が無いので、どこから手を付けて良いものかさっぱりで止まっていた。

5

Haskellの本を読んでもなんか関数型に偏りすぎてて、なんか釈然としなかった。

5

 

5

そこに来てこの本。

4

第一章を読むだけで自分の疑問に答えてくれそうな趣きなので、オーム社からPDF版を買った。(もう少しで紙版を買いそうになってPDFがあるのを知った)

4

少し高いけどそんなことは気にならない。

5

なんか久々にプログラミングのレベルが上がりそうな予感です。

4

 

1

comment (disabled)

5