S-expressions don't have to be as verbose as they usually are. Example 1, example 2, example 3. Basically the insight is indentation and line breaks make most parens unnecessary, and inferring them in a lot of cases can be done unobtrusively. I also like my Termpose's pairing operator :3 a:b → (a b), quite a lot of structures benefit from it.
S-expressions don't have to be as verbose as they usually are. Example 1, example 2, example 3. Basically the insight is indentation and line breaks make most parens unnecessary, and inferring them in a lot of cases can be done unobtrusively. I also like my Termpose's pairing operator :3
a:b→(a b), quite a lot of structures benefit from it.