Uitbreiden gegevenstypes

[niknetniko]

Het idee is om de gegevenstypes op te delen in twee categorieën:

1. De basistypes, met de huidige types (integer, rational, text, boolean, sequence, set en map.
2. Uitgebreide types. Deze gegevenstypes staan toe om meer details te gebruiken.
   Het grote verschil is dat deze uitgebreide types standaard vertaald worden naar een van de basistypes. Voor talen die bijvoorbeeld geen tuple uit Python ondersteunen, zal het vanzelf omgezet worden naar een list (maar bv. in Haskell kan het wel omgezet worden naar een tuple). Er is ook de mogelijk dat implementaties voor programmeertalen expliciet een bepaald type niet ondersteunen. Zo zal de Java-implementatie geen uint64 (een unsigned 64-bit integer) ondersteunen, omdat er geen equivalent bestaat in de taal. Een voorbeeld:

TESTed ->	int8	uint8	int16	uint16	int32	uint32	int64	uint64
Python	int	int	int	int	int	int	int	int
Java	byte	short	short	int	int	long	long	-
C	int8_t	uint8_t	int16_t	uint16_t	int32_t	uint32_t	int64_t	uint64_t
Haskell	Integer	Integer	Integer	Integer	Integer	Integer	Integer	Integer

Het grote voordeel is dat er meer types kunnen, zoals bv. list en tuple in Python, maar ook array en List in Java.

[pdawyndt]

Uit het feit dat je hier al aan het werken bent, lijkt me dit inderdaad een haalbaar (en zeker ook goed) idee.

[niknetniko]

Implementatiestatus:

• TESTed
• Python
• Java
• Haskell