Ancestors

Toot

Written by Urs Enzler 🐉 on 2024-11-27 at 14:40

Even after several years of programming in F#, it keeps me amazed.

Measures as type constraints (in combination with FSharp.UMX):

I use this code in the validation logic of our public API to validate and convert JSON into GUIDs with a measure, like GUID.

Awesome!

% converts Guid into Guid<'a>

[#]fsharp #dotnet

=> View attached media

=> More informations about this toot | More toots from UrsEnzler@tooting.ch

Descendants

Written by Urs Enzler 🐉 on 2024-11-27 at 14:40

And for all partial application fans, yes, I shortened it to:

=> View attached media

=> More informations about this toot | More toots from UrsEnzler@tooting.ch