(1) A Nominal Theory of Objects with Dependent Types: vObj calculusというScalaの(初期の)核言語についての論文。vObjは型付けが決定不能とか意外なことも書いてあったり。 #ScalaBase
2012-09-06 18:44:05【ゆるぼ】Scala基礎勉強会で発表してくれる人(今回は論文ベースになりそうです) #ScalaBase
2012-09-06 18:44:32@mzp @xuwei_k @bleis @rktm @dico_leque @maeda_ そのほうがいいですね。たのしそうです。
2012-09-06 18:45:38(2) A Core Calculus for Scala Type Checking: Featherweight Scalaに関する論文。Featherweight Scalaは現実のScalaにより即したモデル。vObjと違って型付けは決定可能。 #ScalaBase
2012-09-06 18:45:42(3) Generics of a Higher Kind: カインドを扱う言語機構 (2.5で導入) を導入した現実的な動機とか、理論的なあれこれとか、サブタイプと組み合わせると何がおこるかとか。 #ScalaBase
2012-09-06 18:47:14@kyon_mm @xuwei_k @bleis @rktm @dico_leque @maeda_ ザクっと時期きめちゃいましょう。 10月は第一週に京都でLispの国際会議があるので、Lisper組がいなさそう。第二週は個人的に別の用事がありますー。
2012-09-06 18:48:27(4) Compiling Generics Through User-Directed Type Specialization: いわゆる @specialized アノテーションに関する論文。実装の概要とか性能評価。 #ScalaBase
2012-09-06 18:48:42(5) Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transf(cont) http://t.co/E2goclIU
2012-09-06 18:50:21@mzp @xuwei_k @bleis @rktm @dico_leque @maeda_ 10/20になれるSE読書会がある。。。仕方ないので10/21(日)にしたいです。どうでしょうか?
2012-09-06 18:50:25@mzp @kyon_mm @bleis じゃぁとにかく開催は決定で、10月ですかね。丸一日くらいやります?もし余裕があるなら @kmizu さんが来てくれる(来れる日に開催)がいいですが
2012-09-06 18:50:53たしかに。Scalaの論文を語り合いたい人なんてそうそういないイメージ。 RT @mzp: #ScalaBase 10人ぐらいしか集まらなさそうなので、わりと会場はどうとでもなりそう
2012-09-06 18:51:03シャドーイングです。 RT @tan_go238: 再代入できるんだ RT @naka_aki_spl: 「なごやか」とか「基礎」とかいう世間一般に使われる言葉の、再定義(しかもスパルタンな)がバリバリおこなわれている。 #なごやこわい
2012-09-06 18:52:21@kyon_mm @mzp @bleis @RKTM @dico_leque @maeda_ 自分は、基本的に10月いつでも開いてるので、みなさんの都合に任せます。(前日に合宿するなら)もちろん1泊2日で参加します!
2012-09-06 18:52:52