Daniel Pittman wrote:

> Generally, I think, the strong/weak dichotomy is black and white: either
> the language allows you to treat arbitrary bytes of memory as two
> different types, or it doesn't — I can't find any exceptions.

Ocaml has a standard module Marshall with is unsafe and it is also
possible to do very evil things with the Obj module.  Without those
two modules Ocaml is strongly typed. With those two modules its
less so.

Erik
-- 
-----------------------------------------------------------------
Erik de Castro Lopo
-----------------------------------------------------------------
"The Internet interprets censorship as damage, and routes around it."
  -- John Gilmore
_______________________________________________
coders mailing list
coders@slug.org.au
http://lists.slug.org.au/listinfo/coders

Reply via email to