@vbergeron.bsky.social
Just wrote a piece about refinement types ! vbergeron.github.io/posts/0002-r...
Distilling Refined Types using Scala 3
Introduction Before introducing refinement types, let’s suppose you are a library author, and you have a tricky situation to solve. One of your library objects can refer to other objects by their name...
vbergeron.github.io
December 11, 2024 at 6:49 PM
Just wrote a piece about refinement types ! vbergeron.github.io/posts/0002-r...
Reposted
Hi skywalkers!
I'm planning to write a tool to initialize a new pillars-based project. Which kind of tool do you prefer (and why)?
1️⃣ a CLI, `pillars new`
2️⃣ a webapp (something like adopt-tapir.softwaremill.com)
3️⃣ a GitHub template repository
I'm planning to write a tool to initialize a new pillars-based project. Which kind of tool do you prefer (and why)?
1️⃣ a CLI, `pillars new`
2️⃣ a webapp (something like adopt-tapir.softwaremill.com)
3️⃣ a GitHub template repository
a man says i just want your opinion
ALT: a man says i just want your opinion
media.tenor.com
November 18, 2024 at 4:26 PM
Hi skywalkers!
I'm planning to write a tool to initialize a new pillars-based project. Which kind of tool do you prefer (and why)?
1️⃣ a CLI, `pillars new`
2️⃣ a webapp (something like adopt-tapir.softwaremill.com)
3️⃣ a GitHub template repository
I'm planning to write a tool to initialize a new pillars-based project. Which kind of tool do you prefer (and why)?
1️⃣ a CLI, `pillars new`
2️⃣ a webapp (something like adopt-tapir.softwaremill.com)
3️⃣ a GitHub template repository