Upgrade to Pro — share decks privately, control downloads, hide ads and more …

F#’s Type Providers: The future of meta-program...

Sponsored · Ship Features Fearlessly Turn features on and off without deploys. Used by thousands of Ruby developers. →
Avatar for Robert Pickering Robert Pickering
May 16, 2014
Programming
860
1

F#’s Type Providers: The future of meta-programming in .NET

Avatar for Robert Pickering

Robert Pickering

May 16, 2014

More Decks by Robert Pickering

See All by Robert Pickering
Decrypting Crypto-Currency with F#
Avatar for Robert Pickering robertpi
1
180
Expression Oriented Programming with F#
Avatar for Robert Pickering robertpi
2
240

Other Decks in Programming

See All in Programming
正しくソフトウェアを作る、前提を疑うための認知の視点 / doubt-premise
Avatar for MinoDriven minodriven
21
6.5k
AI 時代のソフトウェア設計の学び方
Avatar for 増田 亨 masuda220
PRO
29
12k
AI時代の仕事技芸論 — ソフトウェア開発で「遊ぶように働く」職人的熟達のすすめ
Avatar for Yoshihito Kuranuki / 倉貫義人 kuranuki
2
660
3Dシーンの圧縮
Avatar for Fadis fadis
1
740
A2UI という光を覗いてみる
Avatar for SatohJohn satohjohn
1
130
dRuby over BLE
Avatar for makicamel makicamel
2
330
New "Type" system on PicoRuby
Avatar for pocke pocke
1
830
Contextとはなにか
Avatar for chiroruxx chiroruxx
1
290
AIで効率化できた業務・日常
Avatar for Ochtum ochtum
0
120
気圧・高度・GPSを記録&可視化するアプリ「Koudo」を作った話
Avatar for Hajime Kato hjmkth
1
110
キャリア迷子上等 ─ "ない道"は自分で作ればいい
Avatar for 16bit_idol 16bitidol
3
2k
Observability in Practice：Grafana 與 Edge Device SRE 的那些事
Avatar for Blueswen blueswen
0
160

Featured

See All Featured
Rebuilding a faster, lazier Slack
Avatar for samanthasiow samanthasiow
85
9.5k
GraphQLの誤解/rethinking-graphql
Avatar for sonatard sonatard
75
12k
The Myth of the Modular Monolith - Day 2 Keynote - Rails World 2024
Avatar for Eileen M. Uchitelle eileencodes
28
3.5k
From π to Pie charts
Avatar for Rasagy Sharma rasagy
0
210
Building the Perfect Custom Keyboard
Avatar for Naoto Takai takai
2
790
Darren the Foodie - Storyboard
Avatar for Kevinho.art khoart
PRO
3
3.4k
How People are Using Generative and Agentic AI to Supercharge Their Products, Projects, Services and Value Streams Today
Avatar for Helen Beal helenjbeal
1
210
A Guide to Academic Writing Using Generative AI - A Workshop
Avatar for Kenji Saito ks91
PRO
1
320
The innovator’s Mindset - 
Leading Through an Era of Exponential Change - McGill University 2025
Avatar for Jean-Marc De Jonghe jdejongh
PRO
1
200
HTML-Aware ERB: The Path to Reactive Rendering @ RubyCon 2026, Rimini, Italy
Avatar for Marco Roth marcoroth
1
180
Believing is Seeing
Avatar for Spiro Bolos oripsolob
1
140
Marketing Yourself as an Engineer | Alaka | Gurzu
Avatar for Gurzu gurzu
0
230

Transcript

  1. None
  2. None
  3. None
  4. None

  5. new System.Data.DataSet()

  6. None

  7. type User = { [JsonProperty(PropertyName = "user_name")] Username: string [JsonProperty(PropertyName

    = "first_name")] FirstName: string [JsonProperty(PropertyName = "last_name")] LastName: string }
  8. None
  9. None
  10. None

  11. type ITypeProvider = inherit IDisposable abstract GetStaticParameters: Type -> ParameterInfo

    [] abstract ApplyStaticArguments: Type * string * obj [] -> Type abstract GetNamespaces: unit -> IProvidedNamespace [] abstract GetInvokerExpression: MethodBase * ParameterExpression [] -> Expression abstract GetGeneratedAssemblyContents: System.Reflection.Assembly -> byte[] abstract Invalidate: IEvent<EventHandler,EventArgs>
  12. None
  13. None
  14. None
  15. None
  16. None
  17. None

  18. @dsyme @brandewinder @Oenotria

  19. None

  20. http://fsharpworks.com/paris/2014.html

  21. None