第6回 Scala言語を探検する（4）Scalaの型システム
筑波大学第三学群情報学類を卒業したのち，現在は，筑波大学大学院システム情報工学研究科コンピュータサイエンス専攻博士後期課程1年。プログラミング言語や処理系に強い興味を持っている。現在の研究テーマは，プログラミング言語の構文解析アルゴリズム。Scala勉強会を不定期で行うなど，研究の合間にScalaの普及活動を行っている。 前回まで羽生田さんによるScalaの文法的な特徴の紹介がありましたが，今回はゲストということで，Scalaの型システムの概要やそれに関連した機能を紹介します。特にScalaのクラス階層とJavaのクラス階層の違い，Genericsの共変と反変，Existential Type，Structural Type，Compound Typeについて紹介します。 Javaとの類似点 Scalaの型システムの基本的な部分はJavaと非常に類似しています。ScalaはJavaと同様に
Types and Programming Languages
Types and Programming Languages著者: Benjamin C. Pierce
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
IMK 版コード公開のお知らせ (aquaskk-dev 85) - AquaSKK - OSDN
Tomotaka SUWA t-suw****@users***** 2008年 6月 26日 (木) 11:02:00 JST 記事の並び順: [ 日付 ] [ スレッド ] [ 件名 ] [ 著者 ] 諏訪です。 長らくお待たせしましたが、IMK 版のコードをリポジトリに commit しました。 http://svn.sourceforge.jp/cgi-bin/viewcvs.cgi/aquaskk/trunk/?root=aquaskk ログが異様に長いのは、svk でローカル開発していたものをどどーんと一気に commit したためです。しばらくは目障りかもしれませんが、ご容赦下さい。 動作環境は Leopard 限定です。Tiger や Panther では動きませんのでご注意 下さい。 1. ビルド方法 -----------------------------------
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
