this post was submitted on 19 Oct 2023
1609 points (98.7% liked)

Programmer Humor

32054 readers
1520 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 1 points 11 months 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 11 months 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