Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Talk about C-Sharp
Search
INOMATA Kentaro
March 20, 2016
Technology
0
2
Talk about C-Sharp
C#のはなし
2016/03/20に行われた歌舞伎座.tech#9「異種プログラミング言語格闘勉強会」の発表資料です。
https://kbkz.connpass.com/event/26677/
INOMATA Kentaro
March 20, 2016
Tweet
Share
More Decks by INOMATA Kentaro
See All by INOMATA Kentaro
F# Design and Trade-offs: Functional Paradigm on .NET
matarillo
6
530
関数型プログラミングの設計テクニック
matarillo
9
4.6k
Bash on Ubuntu on Windows ちょっとだけ Windows Subsystem for Linux
matarillo
4
3.2k
A guide for "Microsoft Application Architecture Guide, 2nd Ed."
matarillo
0
2
Other Decks in Technology
See All in Technology
AI時代にも変わらぬ価値を発揮したい: インフラ・クラウドを切り口にユーザー価値と非機能要件に向き合ってエンジニアとしての地力を培う
netmarkjp
0
220
(HackFes)米国国防総省のDevSecOpsライフサイクルをAWSのセキュリティサービスとOSSで実現
syoshie
5
660
AI エンジニアの立場からみた、AI コーディング時代の開発の品質向上の取り組みと妄想
soh9834
6
260
メモ整理が苦手な者による頑張らないObsidian活用術
optim
0
120
Railsの限界を超えろ!「家族アルバム みてね」の画像・動画の大規模アップロードを支えるアーキテクチャの変遷
ojima_h
3
390
RapidPen: AIエージェントによる高度なペネトレーションテスト自動化の研究開発
laysakura
1
390
室長の逆襲 :データ活用の陣地を増やすためのヒント
masatoshi0205
0
180
手動からの解放!!Strands Agents で実現する総合テスト自動化
ideaws
2
290
激動の時代、新卒エンジニアはAIツールにどう向き合うか。 [LayerX Bet AI Day Countdown LT Day1 ツールの選択]
tak848
0
550
そもそも AWS FIS について。なぜ今 FIS のハンズオンなのか?などなど
kazzpapa3
2
120
Turn Your Community into a Fundraising Catalyst for Black Philanthropy Month
auctria
PRO
0
130
MCPと認可まわりの話 / mcp_and_authorization
convto
1
140
Featured
See All Featured
Music & Morning Musume
bryan
46
6.7k
Documentation Writing (for coders)
carmenintech
72
4.9k
Rails Girls Zürich Keynote
gr2m
95
14k
Faster Mobile Websites
deanohume
308
31k
Visualization
eitanlees
146
16k
A better future with KSS
kneath
238
17k
Connecting the Dots Between Site Speed, User Experience & Your Business [WebExpo 2025]
tammyeverts
8
370
実際に使うSQLの書き方 徹底解説 / pgcon21j-tutorial
soudai
PRO
181
54k
Raft: Consensus for Rubyists
vanstee
140
7k
Speed Design
sergeychernyshev
32
1k
The Art of Programming - Codeland 2020
erikaheidi
54
13k
Visualizing Your Data: Incorporating Mongo into Loggly Infrastructure
mongodb
47
9.6k
Transcript
C#のはなし @matarillo
http://www.zdnet.com/article/microsoft-the-evil-empire-re-surfaces/
“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
MSもオープンになってきてる Runtime ◦ https://github.com/dotnet/coreclr Libraries ◦ https://github.com/dotnet/corefx Compiler ◦ https://github.com/dotnet/roslyn
https://twitter.com/chomado/status/708675794273316864
strongly typed dynamic C# 代数的データ型 ない Option/Maybe ない 型クラス ない
高カインド型 ない Unit / Bottom ない null許容型 ある ダウンキャスト ある dynamic型 ある
その他、C#にない言語機能 パターンマッチング 強い型推論 マクロ/コンパイル時計算 トレイト/実装の多重継承 型エイリアス 構造的部分型 正規表現リテラル ユーザー定義演算子 などなど…
C# 魔改造の歴史 Javaっぽい何かに対し… ◦unsafeポインタ ◦数値enum ◦struct ◦演算子オーバーロード ◦プロパティ ◦デリゲート/イベント ◦foreach
C/C++から Delphi/VBから
さらに魔改造 ジェネリクス 匿名メソッド yield null許容型 partial 実行時に具象化するが、高カインド型はない 型引数の省略もあまり賢くない クロージャ的なことが可能だが記法が微妙 型も微妙
遅延ストリーム専用ジェネレータ 匿名メソッドでは使えない nullがない値型にnullを持ち込む型 null禁止型はない Generation Gapパターンを言語機能で解決 IDE前提
さらにさらに魔改造 var ラムダ式 匿名型 クエリ式 式木 ローカル変数専用、推論というほど賢くない immutable対応もない 匿名メソッドが短く書けるが やっぱりyieldが使えない
型定義がいらないが 基本的にメソッド内でしか使えない do記法とかfor内包とかに似てる しかし語彙がアレ ラムダ式をASTに変換する だが制約が多い
もっと!魔改造 dynamic型 共変・反変 async/await null条件演算子 なんかよくわからんが短く書けたりする構文糖 実行時コード生成で意外と高速 だが型安全とは何だったのか ジェネリクスと継承の闇 中途半端
制御構文と混ぜられて便利だが 万能ではないし、拡張性も微妙 Embrace Null !?
今後の魔改造見通し 関数型プログラミング的ななにかを さらに混ぜ込む方向性 ◦ いろんな構文を文から式にするとか ◦ パターンマッチ、タプル、値の分解とか ◦ 代数的データ型とか (次バージョンには入らず、さらにその先)
詳しくは Build Insiderオピニオン「次期 C# および 次期.NETの見通しについて」 http://www.buildinsider.net/column/iwanaga-nobuyuki もしくは https://github.com/dotnet/roslyn
C#の微妙なところ 専用構文(キーワード)が微妙に多い 言語機能が微妙に直交してない プログラマーにDSLを作る手段をくれない 微妙にIDE(Visual Studio)を意識した言語仕様 あと、セミコロンと中カッコがやけに多い
では、なぜC#? C#は ぼくらのための言語 8割の人が悩まず使える 2割のユースケース IDEは友達 ステップ実行最高
C#の強み(少しだけまじめに) 地味にいろんなプラットフォームで動く ◦ thanks, Mono! thanks, Unity! ネイティブ(C/C++)をうまいことラップしたり相互運用 したりしつつ、基本的にはマネージドな世界に住める ◦
Win32APIを手軽に扱える言語仕様 ◦ 数値ベースenumとかstructとかunsafeポインタとか ◦ いわゆるLL→Cも書くだろ常識的に考えて ◦ Java→JNI/JNA、プリミティブ型とクラスでがんばる sun.misc.Unsafe 廃止でひと騒ぎ