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.
signature.asc
Description: This is a digitally signed message part
_______________________________________________ coders mailing list coders@slug.org.au http://lists.slug.org.au/listinfo/coders