From: Markus E Leypold <development-2006-8ecbb5cc8aREMOVETHIS@ANDTHATm-e-leypold.de>
Subject: Re: Ada.Command_Line and wildcards
Date: Fri, 09 Mar 2007 20:02:21 +0100
Date: 2007-03-09T20:02:21+01:00 [thread overview]
Message-ID: <agirdatf42.fsf@hod.lan.m-e-leypold.de> (raw)
In-Reply-To: q8jvn4orlojl.hyq9q148dvgp.dlg@40tude.net
"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> On Fri, 09 Mar 2007 18:11:59 +0100, Markus E Leypold wrote:
>
>> I wouldn't want to use Ada as an interactive command language.
>
> Why not? I never could understand why anybody would need phyton to
> configure Ada projects...
>
> But "interactive command language" is nonsense in these days. There exist
> far better ways of interaction with human beings than command languages.
> They are a legacy of teleprinters.
<beeep>
Sorry, you just lost most of you points. What was the last time one of
those "better methods" enabled me to
>
>> There
>> are, I think, ways to get (1) type safety, (2) proper quoting without
>> too much overhead. I, personally, would built a new generation shell
>> system on, ahem, OCaml, because of the type interference and because
>> functional composition might take the part pipes have played in the
>> past. Something like
>>
>> dir "/etc/fstab" | dir_purge (fun f -> newer_than (2006,08,11) f.date ) | flatten | print dir_entry_long
>
> Huh, but the above looks quite untyped.
> A properly typed object named
> "fstab" would not need special "dir" to enumerate its members.
I wanted to write "/etc", but you know, the difference is between a
_name_ and the object bound under that name. I somehow abhor the idea
of filesystems which are completely statically bound.
> Even less it would need pipes to communicate its members to
> procedures.
Tcha. You missed the definition of (|) in this case. It's basically
the function composition operator, not a pipe.
>> dir "/etc/fstab" | dir_purge (fun f -> newer_than (2006,08,11) f.date )
is
>> dir_purge (fun f -> newer_than (2006,08,11) f.date ) (dir "/etc/fstab" )
but easier to read for people thinking in sequences of transformations.
> It already has
> these members in it. And why do you construct a new set before printing, if
> you have closures?
What have closure to do with printing?
And BTW, that was a mockup. There are perhaps even ways to eliminate
"print" in the toplevel, not only flatten. Flatten, BTW is sometimes
needed (because of the type system) to convert trees onto
lists. Wether I really need it in this case I haven't completely
figured out yet.
> The same old flawed UNIX ideology? (:-))
Oh, forgive me. Next time I ask you. Not.
Regards -- Markus
next prev parent reply other threads:[~2007-03-09 19:02 UTC|newest]
Thread overview: 158+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-02-21 20:43 Ada.Command_Line and wildcards Gautier
2007-02-21 20:59 ` (see below)
2007-02-22 1:13 ` Marc A. Criley
2007-02-22 2:08 ` Adam Beneschan
2007-02-22 5:59 ` (see below)
2007-02-22 8:16 ` gautier_niouzes
2007-02-22 10:25 ` Simon Wright
2007-02-22 11:02 ` Alex R. Mosteo
2007-02-24 6:34 ` Martin Krischik
2007-02-24 11:46 ` Markus E Leypold
2007-02-24 14:54 ` Georg Bauhaus
2007-02-24 16:45 ` Markus E Leypold
2007-02-24 20:08 ` Jacob Sparre Andersen
2007-02-24 20:45 ` Georg Bauhaus
2007-02-25 0:39 ` Björn Persson
2007-02-25 16:29 ` Martin Krischik
2007-02-24 20:26 ` Georg Bauhaus
2007-02-25 7:46 ` Hyman Rosen
2007-02-25 13:19 ` Georg Bauhaus
2007-03-05 1:07 ` Brian May
2007-03-05 1:39 ` Markus E Leypold
2007-03-06 3:48 ` Brian May
2007-03-05 12:16 ` Georg Bauhaus
2007-03-05 13:20 ` Markus E Leypold
2007-03-06 12:56 ` Georg Bauhaus
2007-03-06 15:07 ` Markus E Leypold
2007-03-07 22:06 ` Georg Bauhaus
2007-03-08 5:07 ` Simon Wright
2007-03-08 9:19 ` Markus E Leypold
2007-03-08 9:28 ` Georg Bauhaus
2007-03-08 9:16 ` Markus E Leypold
2007-03-09 13:33 ` Georg Bauhaus
2007-03-09 17:11 ` Markus E Leypold
2007-03-09 18:22 ` Dmitry A. Kazakov
2007-03-09 19:02 ` Markus E Leypold [this message]
2007-03-09 20:04 ` Dmitry A. Kazakov
2007-03-10 10:40 ` Markus E Leypold
2007-03-11 0:15 ` Hyman Rosen
2007-03-11 7:59 ` Dmitry A. Kazakov
2007-03-11 14:55 ` Markus E Leypold
2007-03-12 13:32 ` Hyman Rosen
2007-03-12 14:14 ` Dmitry A. Kazakov
2007-03-12 15:08 ` Markus E Leypold
2007-03-16 8:06 ` Brian May
2007-03-16 12:53 ` Markus E Leypold
2007-03-10 2:12 ` Randy Brukardt
2007-03-10 10:52 ` Markus E Leypold
2007-03-10 15:48 ` Georg Bauhaus
2007-03-10 18:11 ` Jacob Sparre Andersen
2007-03-10 18:42 ` Markus E Leypold
2007-03-12 14:25 ` Jacob Sparre Andersen
2007-03-12 15:17 ` Markus E Leypold
2007-03-09 13:41 ` Robert Deininger
2007-03-09 17:15 ` Markus E Leypold
2007-03-09 18:58 ` Larry Kilgallen
2007-03-10 10:27 ` Markus E Leypold
2007-03-06 15:08 ` Jacob Sparre Andersen
2007-03-07 19:21 ` Hyman Rosen
2007-03-07 20:27 ` Markus E Leypold
2007-03-07 21:12 ` Georg Bauhaus
2007-03-06 3:07 ` Brian May
2007-02-24 18:28 ` Martin Krischik
2007-02-24 13:04 ` Larry Kilgallen
2007-02-24 16:16 ` Markus E Leypold
2007-02-25 14:18 ` Larry Kilgallen
2007-03-05 1:03 ` Brian May
2007-03-05 10:34 ` Martin Krischik
2007-03-05 20:46 ` Simon Wright
2007-02-22 11:19 ` Jean-Pierre Rosen
2007-02-22 13:49 ` Maciej Sobczak
2007-02-22 14:25 ` Jean-Pierre Rosen
2007-02-22 15:12 ` Larry Kilgallen
2007-02-22 15:15 ` Ludovic Brenta
2007-02-22 15:54 ` Dmitry A. Kazakov
2007-02-22 18:26 ` Markus E Leypold
2007-02-22 19:34 ` Dmitry A. Kazakov
2007-02-22 20:38 ` Simon Wright
2007-02-23 8:43 ` Dmitry A. Kazakov
2007-02-25 16:35 ` wildcards with unix shells Martin Krischik
2007-02-22 16:20 ` Ada.Command_Line and wildcards Jean-Pierre Rosen
2007-02-22 18:34 ` Markus E Leypold
2007-02-22 19:30 ` Niklas Holsti
2007-02-23 1:01 ` Randy Brukardt
2007-02-23 4:44 ` Jeffrey R. Carter
2007-02-23 5:06 ` Anders Wirzenius
2007-02-24 16:37 ` Simon Wright
2007-02-25 16:42 ` Martin Krischik
2007-02-26 20:51 ` Simon Wright
2007-02-27 7:11 ` Martin Krischik
2007-02-27 21:32 ` Björn Persson
2007-02-27 21:56 ` Georg Bauhaus
2007-02-27 22:53 ` Markus E Leypold
2007-02-28 13:55 ` Georg Bauhaus
2007-02-28 14:25 ` Markus E Leypold
2007-02-26 11:59 ` Anders Wirzenius
2007-02-26 14:46 ` Larry Kilgallen
2007-02-23 8:43 ` Jacob Sparre Andersen
2007-02-23 11:34 ` Jean-Pierre Rosen
2007-02-24 13:40 ` Jacob Sparre Andersen
2007-02-25 16:57 ` Martin Krischik
2007-02-26 21:27 ` Björn Persson
2007-02-27 7:18 ` Martin Krischik
2007-02-23 8:49 ` Jean-Pierre Rosen
2007-02-23 9:29 ` Jacob Sparre Andersen
2007-02-22 17:07 ` Adam Beneschan
2007-02-22 18:40 ` Markus E Leypold
2007-02-23 10:47 ` Rob Norris
2007-02-23 13:28 ` brian.b.mcguinness
2007-02-23 13:56 ` Georg Bauhaus
2007-02-23 17:10 ` Adam Beneschan
2007-02-22 20:12 ` Gautier
2007-02-23 1:15 ` Robert A Duff
2007-02-23 9:25 ` Jacob Sparre Andersen
2007-02-24 1:18 ` typed pipes (was: Ada.Command_Line and wildcards) Björn Persson
2007-02-24 8:16 ` typed pipes Dmitry A. Kazakov
2007-02-24 13:37 ` Jacob Sparre Andersen
2007-02-24 16:33 ` Björn Persson
2007-02-24 20:17 ` Jacob Sparre Andersen
2007-02-25 1:11 ` Björn Persson
2007-02-25 7:03 ` Jacob Sparre Andersen
2007-02-23 14:45 ` Ada.Command_Line and wildcards Larry Kilgallen
2007-02-24 19:24 ` Robert A Duff
2007-02-25 6:29 ` Hyman Rosen
2007-02-25 12:21 ` Robert A Duff
2007-02-25 16:22 ` Pascal Obry
2007-02-25 16:44 ` Dmitry A. Kazakov
2007-02-26 5:03 ` Hyman Rosen
2007-02-26 8:44 ` Dmitry A. Kazakov
2007-02-26 17:11 ` Hyman Rosen
2007-02-26 17:34 ` Markus E Leypold
2007-02-27 16:13 ` Georg Bauhaus
2007-02-27 16:19 ` Markus E Leypold
2007-02-27 16:39 ` Georg Bauhaus
2007-02-27 17:56 ` Markus E Leypold
2007-02-27 20:29 ` Randy Brukardt
2007-02-26 20:30 ` Dmitry A. Kazakov
2007-02-27 0:34 ` Randy Brukardt
2007-02-27 14:52 ` Hyman Rosen
2007-02-27 20:43 ` Randy Brukardt
2007-02-27 20:56 ` Dmitry A. Kazakov
2007-02-25 17:50 ` Jeffrey R. Carter
2007-02-23 16:58 ` Adam Beneschan
2007-02-23 19:12 ` Hyman Rosen
2007-02-23 19:26 ` Adam Beneschan
2007-02-25 17:05 ` Martin Krischik
2007-02-24 1:19 ` Björn Persson
2007-02-24 3:46 ` Adam Beneschan
2007-02-24 11:42 ` Markus E Leypold
2007-02-25 17:02 ` Martin Krischik
2007-02-23 19:04 ` Hyman Rosen
2007-02-23 19:30 ` Adam Beneschan
2007-02-23 19:46 ` Dmitry A. Kazakov
2007-02-23 20:07 ` Markus E Leypold
2007-02-24 1:18 ` Björn Persson
2007-02-24 19:22 ` Robert A Duff
2007-02-24 20:26 ` Dmitry A. Kazakov
2007-02-25 7:32 ` Hyman Rosen
2007-02-21 21:43 ` Dr. Adrian Wrigley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox