On Tue, 2006-09-19 at 18:34 +1000, Erik de Castro Lopo wrote:
> Can you show me *anything* you are doing regularly with dynamic
> typing that you think can't be done with a truely statically 
> typed high level language like Ocaml or Haskell?

The only thing in this class that I can think of (with 30 years of
memories to sort through) is when I wrote a regex-to-lisp translator in
lisp - making regex matching run at "native" speed (in a stupid emacs
semi-clone), rather than having a lisp interpreter run a regex
interpreter.  Erk.

A similar trick I have seen is an image processing system (written in C)
which took your on-the-fly image manipulation, write it as C, compiled
it, and then pulled it in via dl_open to execute it natively.

The regex-to-lisp didn't need the detour through dl_open, and modern JIT
compilation would have it run just as fast.

The point of these two stories is that flexibility and
type-anything-ness are orthogonal attributes, near as I can tell.

-- 
Regards
Peter Miller <[EMAIL PROTECTED]>
/\/\*        http://www.canb.auug.org.au/~millerp/

PGP public key ID: 1024D/D0EDB64D
fingerprint = AD0A C5DF C426 4F03 5D53  2BDB 18D8 A4E2 D0ED B64D
See http://www.keyserver.net or any PGP keyserver for public key.

Attachment: signature.asc
Description: This is a digitally signed message part

_______________________________________________
coders mailing list
coders@slug.org.au
http://lists.slug.org.au/listinfo/coders

Reply via email to