輪講スケジュール 読む本 B. Pierce: Types and Programming Languages お知らせ Bounded polymorphism 以降は秋口から行います。 参加者 大根田 末永 立沢 洪 小林 アフェルト 清木 前田 遠藤 川崎 川中 スケジュール
輪講スケジュール 読む本 B. Pierce: Types and Programming Languages お知らせ Bounded polymorphism 以降は秋口から行います。 参加者 大根田 末永 立沢 洪 小林 アフェルト 清木 前田 遠藤 川崎 川中 スケジュール
コントローラーをScalaでおきかえる 前回はplayコンソールを使用してプロジェクト作成→サーバー起動と実行してみました。 play newコマンドで作成されるプロジェクトは下記のようなコントローラーを生成します。 package controllers; import play.mvc.*; import views.html.*; public class Application extends Controller { public static Result index() { return Html(index.apply("World")); } } このコントローラーはviws/index.scala.htmlへ文字列を渡しています。 今回はこのコントローラーをScalaでおきかえてみましょう。 本記事での動作確認環境は下記の通りです。 OS : MacOS X 10.7.
ざっと開いた感じ,思っていたよりも文字が大きくて,けっこうサクサク読めそう (笑) 見た目は分厚くて,圧倒される感じですが. なんだか珍しい判型のような気がします.あんまりカチカチした感じではなく,好印象. 型システムについては全然知らないので,やたらたくさん体系があるようなイメージがありました.開いてみたら,全体的に ML の型体系 + αという感じがして,何だか意外でした.Basic Polymorphic 〜 とか,On Understanding 〜 とかと,内容的にはけっこう重複してるのかな ? 再帰型,とか高階型,のアタリが面白いところなのかなぁ… System F … 名前だけは聞いたことがあるかも.Induction と CoInduction とか,Coq proof assistant 関係で見覚えがあるような単語も,ちょっと出て来ているみたいです.楽しみ. あと,TA
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く