Follow

thinking about dependent types

· · Web · 1 · 0 · 1

@theruran I work in Go professionally and I was writing some code and i was like hm it would be nice if “ integer greater than 3” was a type. Or “string in a list of choices”

Sign in to participate in the conversation
Merveilles

Revel in the marvels of the universe. We are a collective of forward-thinking individuals who strive to better ourselves and our surroundings through constant creation. We express ourselves through music, art, games, and writing. We also put great value in play. A warm welcome to any like-minded people who feel these ideals resonate with them.