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
RTSPクライアントを自作してみた話
Avatar for simotin13 simotin13
0
580
過去最大のMCPアップデート! 2026-07-28 RC版の謎に迫る
Avatar for matsukada licux
6
250
Modding RubyKaigi for Myself
Avatar for yui-knk yui_knk
0
920
AIとASP.NET Coreで雑Webアプリを作った話
Avatar for Mayuki Sawatari mayuki
0
510
[2026年度第1回ORセミナー] 計画最適化ベンチャーと競技プログラミング人材
Avatar for terry-u16 terryu16
0
260
「なぜそう決めたのか」を残し続ける仕組み ― Notion AI カスタムエージェント × Slack連携による設計判断の自動記録 - NIKKEI Tech Talk #47
Avatar for ニフティ株式会社 niftycorp
PRO
0
120
JavaDoc 再入門
Avatar for nagise nagise
0
320
These Five Tricks Can Make Your Apps Greener, Cheaper, & Nicer
Avatar for Holly Cummins hollycummins
0
280
TypeScript+Orvalで実現する型安全かつ堅牢でスケーラブルなマルチチャネル通知基盤 / TSKaigi Night talks ~after conference~
Avatar for doriven d0riven
0
330
The NotImplementedError Problem in Ruby
Avatar for Koichi ITO koic
1
710
Skillsは効率化、Agentsは"自分の拡張"——Builder時代のエージェント編成（CC Night 2026）
Avatar for Hiroki Uemura wemra
1
120
不変条件と整合性境界—ビジネスが決める設計判断と実現パターン / Invariants and Consistency Boundaries
Avatar for nrs nrslib
13
3.6k

Featured

See All Featured
What’s in a name? Adding method to the madness
Avatar for The Alliance productmarketing
PRO
24
4.1k
Code Review Best Practice
Avatar for Trisha Gee trishagee
74
20k
The Cost Of JavaScript in 2023
Avatar for Addy Osmani addyosmani
55
10k
How to Ace a Technical Interview
Avatar for Jacob Kaplan-Moss jacobian
281
24k
Neural Spatial Audio Processing for Sound Field Analysis and Control
Avatar for NII S. Koyama's Lab skoyamalab
0
330
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
Avatar for Dan Newman danielanewman
231
23k
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
Avatar for Marc Duiker marcduiker
35
2.5k
Designing Dashboards & Data Visualisations in Web Apps
Avatar for Des Traynor destraynor
231
55k
Avoiding the “Bad Training, Faster” Trap in the Age of AI
Avatar for Mike Taylor tmiket
0
170
Hiding What from Whom? A Critical Review of the History of Programming languages for Music
Avatar for Tomoya Matsuura tomoyanonymous
2
850
First, design no harm
Avatar for Per Axbom axbom
PRO
2
1.2k
What the history of the web can teach us about the future of AI
Avatar for Ines Montani inesmontani
PRO
1
610

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