amagasakirb

source/_posts/2016-02-07-amagasakirb.markdown

@@ -0,0 +1,48 @@
+---
+layout: post
+title: "2月7日 「型システム入門」読書会第3回(兵庫県)に参加しました"
+date: 2016-02-07 13:17:06 +0900
+comments: true
+categories: event amagasakirb
+---
+[2月7日 「型システム入門」読書会第3回(兵庫県)](http://kokucheese.com/event/index/372662/ "2月7日 「型システム入門」読書会第3回(兵庫県)")
+に参加しました。
+今回は第 15 章から第 19 章でした。
+
+<!--more-->
+
+<div style="float:right">
+<iframe src="http://rcm-fe.amazon-adsystem.com/e/cm?lt1=_blank&amp;bc1=000000&amp;IS2=1&amp;bg1=FFFFFF&amp;fc1=000000&amp;lc1=0000FF&amp;t=znz-22&amp;o=9&amp;p=8&amp;l=as4&amp;m=amazon&amp;f=ifr&amp;ref=ss_til&amp;asins=4274069117" style="width:120px;height:240px;" scrolling="no" marginwidth="0" marginheight="0" frameborder="0"></iframe>
+</div>
+
+以下、今回のメモです。
+
+- いつもの部屋は予約が取れなかったということで、いつもと違う部屋だった。
+- 昨日は[小波秀雄教授最終講義](https://konamifl.doorkeeper.jp/ "小波秀雄教授最終講義")だった。
+- サンプルコードは誰も試していないという話
+- http://www.cis.upenn.edu/~bcpierce/tapl
+- 個人的には 11 章の途中だったので、その続きから読んだ。
+- 前回の話にもあったように 12 章は飛ばした。
+- Mac の AC アダプタが大きいという話
+- 第15章 部分型付け の概要の話
+- 英語での 15 章のタイトルは Subtyping
+- P.152 の E-TYPETEST2 がよくわからないという話
+- Ruby の Fixnum とかの話
+- NArray の話
+- Python の話
+- Perl 6 は去年 12 月にリリースされた話 http://perl6.org/
+- Haskell とか Swift とかの話
+- Ruby の oneliner だけの時の特殊な挙動の話
+- Smalltalk の話
+- Bacon.js の話
+- F# の話
+- Visual Haskell というのも昔はあったという話
+- インデントの話
+- IDE の話
+- Visual Studio の話
+- Dll Hell の話
+- Go 言語の話
+- Terraform の話 https://www.terraform.io/
+- fix コンビネータの話
+- C# にも async,await が入っているという話
+- HTTP2 の話