Type Safe Printf via Type Providers (F#)

Lobsters·7 points·mavnn·over 12 years ago·blog.mavnn.co.uk

Brian McKenna posted an interesting video and gist on implementing a type safe printf in Idris with dependent types. This led me down a nice little …

Read the full article at blog.mavnn.co.uk →

#type #safe #printf #safe printf #type safe #providers #type safe printf #type providers

Related stories

Building Type-safe GraphQL Schemas with TypeScriptgrafbase.com
Lobsters · 3 points · over 3 years ago
Easy type-safe parsing of non-deterministically structured JSONbitemyapp.com
Lobsters · 2 points · over 12 years ago
v0.22 of Gleam, a type safe language for the Erlang VM, is outgleam.run
Lobsters · 53 points · over 4 years ago
Hoare Type Theory, Polymorphism and Separationynot.cs.harvard.edu
Lobsters · 8 points · about 9 years ago
The SAFe Delusion – Information for decision-makers considering the SAFe frameworksafedelusion.com
Lobsters · 12 points · almost 4 years ago
Your Type Guard Can Silently Drift from Your TypeScript Type 🔧dev.to
DEV Community · 72 points · 8 days ago

Related topics

jev350 safe31 theory33 type theory4 type safe4 let45 typescript41 programming309 everything44 written46 x2f304 level49