I'm currently toying with a semantics change so
T = T^1
This seems "obvious", but what it means this:
In OO languages we say "everything is an object".
In applicative functional languages "everything is a value".
In categorical functional languages "everything is a function".
In any sane language at all: "everything is polymorphic"
(even if the number of type variables is zero, which makes something
monomorphic).
In Felix, I'm going to try to say "everything is an array". Which is what the
identity
above says. For example:
int = int ^ 1
The impact is that all array operations will work on length 1 arrays, which in
Felix
is any value.
The problem I'm trying to solve is that this:
T * T ^ N
does not currently unify with T^2. It should, with N=1.
--
john skaller
skal...@users.sourceforge.net
http://felix-lang.org
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language
