On Sun, 2006-09-10 at 11:10 -0400, Peter Tanski wrote:
> Then create different kinds of vectors available:
>
> instance Vector[int] {
> }
>
> instance Vector[float] {
> }
No, that's no good. Vector is polymorphic anyhow: we want
typeclass[t] sequence[c[t]] ..
instance[t] vector[t] ...
If you like this instance is a 'partial specialisation' :)
> Separating the types out linearly is much more readable:
>
> typeclass Vector T {
> }
Yes but
vector t i
is unkindable.
> instance Vector float {
> }
>
> Felix already has the single-quote '; what would you use the backtick
> (`) for, other than to distinguish particular types, such as:
You have savings in the bank don't you?
There are no character constants .. could be used for that ..
--
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net
-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642
_______________________________________________
Felix-language mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/felix-language
