Hans Aberg wrote:
>
> Well, my idea is that all those types shouldsomehow be unified by a
> single, parametrized type, which allows any bit length (not just 2^n), and
> allowing signed/unsigned operations to be mixed without type conversion.
>
Together with the type-constructors used by monads, this can be unified
to arbitrary type functions/constructors, like:
List :: Type -> Type
Vector :: Type -> Type
GenInt :: Natural -> Type
GenNat :: Natural -> Type
GenFloat :: {-mantisse-} Natural -> {-exponent-} Natural -> Type
--
Stefan Karrmann __
/ /\
Post: Ludwig-Wilhelm-Str. 10, 76131 Karlsruhe / / \
Tel: +49|0-721-699184 / / /\ \
Office: Engelstr. 2, Zimmer 004, 76131 Karlsruhe / / /\ \ \
Tel: +49|0-721-608-3311 / /_/__\ \ \
EMail: [EMAIL PROTECTED] /________\ \ \
\___________\/
