K5 K6 Is an Incremental Refinement of K3

K5 k6 was an incremental refinement of the language. The semantic differences between k5 and k3 are a significant like overall improvement of the language so they're useful but it's not really like what you think of as a general purpose dictionary in k5 um you have anything is valid as a dictionary key for example. dictionaries have an algebra the the primitives throughout the language actually generalized to them in useful ways such as if you comma a dictionary with another dictionary what you get is the union of those dictionaries. It doesn't have a lot of entirely new things but the generalizations bring out all these wonderful symmetries that you don't get in the earlier drafts of language

Transcript

Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.