Gabriella Gonzalez@GabriellaG439·Feb 16Why are there so few programming languages that are both statically typed and interpreted?3611214
Brendan Zabarauskas@brendanzabReplying to @GabriellaG439At least when implementing a dependently typed language you're forced to write interpreter! (but I'm sure you know this already 😅)9:50 PM · Feb 16, 2022·Twitter Web App5 Likes
