On Sat, 22 Oct 2011 09:35:00 +0100, Connor Lane Smith wrote:
[...]
So I think the necessary next step would be to have a strongly typed
shell. To pretty-print you'd need to add a polymorphic "à la carte"
(multiple dispatch) pretty-printing function for the given data type.
The type inference would be done per command, so cat(1) would be of a
type such that if you were to try catting an image (directly) to
wc(1)
it would fail, because the types (Image, String) would not match. You
could also have awesome higher-order functions, so 'map' would remove
the need for find(1), etc.
I know, Unix purists will rage about this added complexity. And it's
true, it would be rather more complex. But in my opinion we ought to
optimise for effectiveness of use by the user, not efficiency of
execution by the machine: we should look at where we want to go and
determine the simplest way of getting there, not succumb to nihilism
because "it's simpler to stay where we are."
[...]
Are you talking about Windows PowerShell? It's even object
oriented!!!!!111
SCNR
flo
