Sometimes, the tool shortens names into symbols, e.g. lambda into λ, forall into ∀, etc.
-
-
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I suspect part of the problem here is that people would want different shorthands, and are less inclined to learn the additional notation. Writing code is seldom the bottleneck? But I do think there are some clear wins here, like with structural editing and the like :).
-
Interestingly, people do not need a common syntax for writing shorthand or even reading code as much as they need a common semantics to understand algorithms — which is already quite a hard problem.
End of conversation
New conversation -
-
-
And how about a tool that allows you to see the actual diff in version control?
-
Easy: You do a structural diff based on the canonical (normalized) notation. I was going to say "the one used on disk and over the network", but false: these may use domain specific and ontology-driven techniques for compression, indexing, factoring, digesting, grokking, etc.
- 1 more reply
New conversation -
-
-
I find Mathematica to be a good example of a tool that distinguishes input and output formats and actually has several of them, which serves different use cases - in particular, not all code is typed in by hand.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
APL?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I've always seen bash scripts like this: I'll use 'git push -f' when working interactively, but prefer 'git push --force' (or --force-with-lease) in a script. I love the idea of automatically converting one to the other though.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!