this post was submitted on 19 Oct 2023
1713 points (98.8% liked)

Programmer Humor

32361 readers
357 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

founded 5 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[โ€“] hikaru755@feddit.de 2 points 1 year ago (1 children)

Oh, that sounds really cool! At what time does this validation happen? While you code, or later at build time?

[โ€“] Stumblinbear@pawb.social 3 points 1 year ago

Happens at compile time! It's relatively quick. You can also run a command to write the query results to file for offline type checking which is mostly useful for CI