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

Programmer Humor

32721 readers
337 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
[โ€“] [email protected] 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?

[โ€“] [email protected] 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