HN
login

type safe

4 stories and discussions about type safe, aggregated from every source we track.

1.
v0.22 of Gleam, a type safe language for the Erlang VM, is outgleam.run
53 points•lpil•over 4 years ago•12 comments
2.
Type Safe Printf via Type Providers (F#)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 …

7 points•mavnn•over 12 years ago•0 comments
3.
Building Type-safe GraphQL Schemas with TypeScriptgrafbase.com

The Grafbase Blog: The API platform for mission-critical applications

3 points•pimeys•over 3 years ago•0 comments
4.
Easy type-safe parsing of non-deterministically structured JSONbitemyapp.com
2 points•bitemyapp•over 12 years ago•0 comments

Related topics

safe31type40vm10graphql3api127json29parsing13providers14erlang13