From: Marcin 'Qrczak' Kowalczyk <qrczak@...>
Date: 2002-09-30T08:13:26+09:00
Subject: Re: thoughts on typelessness

Mon, 30 Sep 2002 07:15:09 +0900, Albert Wagner <alwagner@tcac.net> pisze:

> Just curious... Is there a strongly typed language that does NOT
> have the equivalent of casts and void pointers?

Depending on what you mean by "have" (do non-standard library
facilities count if they aren't needed in 99% of programs?)
Haskell, OCaml, SML have expressive, static, safe type systems
without casts and void pointers.

-- 
  __("<      Marcin Kowalczyk
  \__/     qrczak@knm.org.pl
   ^^    http://qrnik.knm.org.pl/~qrczak/