2016/03/20に行われた歌舞伎座.tech#9「異種プログラミング言語格闘勉強会」の発表資料です。 http://kbkz.connpass.com/event/26677/

1. C#のはなし
@matarillo

2. http://www.zdnet.com/article/microsoft-the-evil-empire-re-surfaces/

3. “Why free software shouldn't depend on Mono or C#”
https://www.fsf.org/news/dont-depend-on-mono
“Microsoft's Empty Promise”
http://www.fsf.org/news/2009-07-mscp-mono

4. MSもオープンになってきてる
Runtime
◦ https://github.com/dotnet/coreclr
Libraries
◦ https://github.com/dotnet/corefx
Compiler
◦ https://github.com/dotnet/roslyn

5. https://twitter.com/chomado/status/708675794273316864

6. strongly
typed
dynamic
C#
代数的データ型 ない
Option/Maybe ない
型クラス ない
高カインド型 ない
Unit / Bottom ない
null許容型 ある
ダウンキャスト ある
dynamic型 ある

7. その他、C#にない言語機能
パターンマッチング
強い型推論
マクロ／コンパイル時計算
トレイト／実装の多重継承
型エイリアス
構造的部分型
正規表現リテラル
ユーザー定義演算子 などなど…

8. C# 魔改造の歴史
Javaっぽい何かに対し…
◦unsafeポインタ
◦数値enum
◦struct
◦演算子オーバーロード
◦プロパティ
◦デリゲート／イベント
◦foreach
C/C++から
Delphi/VBから

9. さらに魔改造
ジェネリクス
匿名メソッド
yield
null許容型
partial
実行時に具象化するが、高カインド型はない
型引数の省略もあまり賢くない
クロージャ的なことが可能だが記法が微妙
型も微妙
遅延ストリーム専用ジェネレータ
匿名メソッドでは使えない
nullがない値型にnullを持ち込む型
null禁止型はない
Generation Gapパターンを言語機能で解決
IDE前提

10. さらにさらに魔改造
var
ラムダ式
匿名型
クエリ式
式木
ローカル変数専用、推論というほど賢くない
immutable対応もない
匿名メソッドが短く書けるが
やっぱりyieldが使えない
型定義がいらないが
基本的にメソッド内でしか使えない
do記法とかfor内包とかに似てる
しかし語彙がアレ
ラムダ式をASTに変換する
だが制約が多い

11. もっと！魔改造
dynamic型
共変・反変
async/await
null条件演算子
なんかよくわからんが短く書けたりする構文糖
実行時コード生成で意外と高速
だが型安全とは何だったのか
ジェネリクスと継承の闇
中途半端
制御構文と混ぜられて便利だが
万能ではないし、拡張性も微妙
Embrace Null
!?

12. 今後の魔改造見通し
関数型プログラミング的ななにかを
さらに混ぜ込む方向性
◦ いろんな構文を文から式にするとか
◦ パターンマッチ、タプル、値の分解とか
◦ 代数的データ型とか
（次バージョンには入らず、さらにその先）
詳しくは
Build Insiderオピニオン「次期 C# および 次期.NETの見通しについ
て」
http://www.buildinsider.net/column/iwanaga-nobuyuki
もしくは
https://github.com/dotnet/roslyn

13. C#の微妙なところ
専用構文（キーワード）が微妙に多い
言語機能が微妙に直交してない
プログラマーにDSLを作る手段をくれない
微妙にIDE(Visual Studio)を意識した言語仕様
あと、セミコロンと中カッコがやけに多い

14. では、なぜC#？
C#は
ぼくらのための言語
8割の人が悩まず使え
る2割のユースケース
IDEは友達
ステップ実行最高

15. C#の強み（少しだけまじめに）
地味にいろんなプラットフォームで動く
◦ thanks, Mono! thanks, Unity!
ネイティブ(C/C++)をうまいことラップしたり相互
運用したりしつつ、基本的にはマネージドな世界に住
める
◦ Win32APIを手軽に扱える言語仕様
◦ 数値ベースenumとかstructとかunsafeポインタとか
◦ いわゆるLL→Cも書くだろ常識的に考えて
◦ Java→JNI/JNA、プリミティブ型とクラスでがんばる
sun.misc.Unsafe
廃止でひと騒ぎ