gabby

thanks for the mention! I shared it on mastodon too

did you mean to have the first footnote and second footnote share the same text?

Very interesting! It seems like implementing certain functions as keywords could have other advantages as well. For example, you might want to define rewrite rules for common operations like map – if map is a keyword this feels a lot more natural m.

slight comment: a couple of times the blog post refers to "type-checking" where it means "type-inference". I think mixing the two is confusing and it might be worth either explaining your train of thought somewhere or separating the two