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

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

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
250

Other Decks in Programming

See All in Programming
「AI時代、配布するPythonコードをどう守るか: 難読化の実験と判断軸」 #PyconJP2026
Avatar for PKSHA Technology（パークシャテクノロジー） pkshadeck
PRO
2
170
[GoCon2026] When Goroutines Are Not Enough: Runtime Locality in High-Throughput Go
Avatar for Takeru Hayasaka takehaya
3
480
PHPプロジェクトの結合バランスを可視化する #php_night
Avatar for Takuma Kajikawa kajitack
0
230
LoopHub - ローカルで動く GitHub で、AI と共同開発
Avatar for jugyo jugyo
0
450
業務時間外もAIに働いてもらう話
Avatar for taki colorful12
3
10k
【DroidKaigi 2026】「アクセシビリティを利用するとき、 アクセシビリティもまたこちらを利用している」 〜マルウェアによる攻撃と防衛について〜
Avatar for HalunoYo. halunoyo
0
410
DroidKaigi 2026 「個人開発という実験場: Android エンジニアが手にする4つの自由」
Avatar for SlashNephy slashnephy
0
220
ALB ログから Trace を気合で繋げる技術
Avatar for Hayato Kawai fohte
7
880
PyO3 で既存 Python 評価器を Rust core 化する ー wasm-bindgen でブラウザにも配るための設計
Avatar for 𝕂' kdash
1
530
Can LLMs Replicate 4 Years of Compose Migration? Exploring the boundaries of automation with 279 XML files from a real product
Avatar for makun makun
0
130
AWS DevOps Agentで インシデント対応をAIに任せたい
Avatar for HonMarkHunt honmarkhunt
6
2.5k
DynamoDBの基礎を振り返りながらベクトル検索機能を理解する
Avatar for 村上優稀 musan
3
270

Featured

See All Featured
What the history of the web can teach us about the future of AI
Avatar for Ines Montani inesmontani
PRO
1
680
The State of eCommerce SEO: How to Win in Today's Products SERPs - #SEOweek
Avatar for Aleyda Solis aleyda
2
11k
Documentation Writing (for coders)
Avatar for Carmen Chung carmenintech
77
5.5k
KATA
Avatar for Megan Lloyd mclloyd
PRO
35
15k
How People are Using Generative and Agentic AI to Supercharge Their Products, Projects, Services and Value Streams Today
Avatar for Helen Beal helenjbeal
1
310
CoffeeScript is Beautiful & I Never Want to Write Plain JavaScript Again
Avatar for Sam Stephenson sstephenson
162
16k
Writing Fast Ruby
Avatar for Erik Berlin sferik
630
63k
A better future with KSS
Avatar for Kyle Neath kneath
240
18k
svc-hook: hooking system calls on ARM64 by binary rewriting
Avatar for Akira Moroo retrage
2
560
Test your architecture with Archunit
Avatar for Yoan thirion
2
2.4k
Bootstrapping a Software Product
Avatar for Garrett Dimon garrettdimon
PRO
306
120k
Stop Working from a Prison Cell
Avatar for Chris Michel hatefulcrawdad
274
21k

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