928 followers
@rickasaurus @hillelogram @pblasucci Took some digging, but I found some relevant research on static type analysis of existing spreadsheets. Could be a good starting point for implementing static semantics for a novel type system that's more explicit: http