On Sep 10, 2006, at 9:45 PM, skaller wrote:
> On Sun, 2006-09-10 at 20:07 -0400, Peter Tanski wrote:
>
>> Felix does allow ML-style syntax:
>>
>>
>> fun new_function : (T,T) -> T =
>> | (?x,?y) => ...
>>
>>
>> which is readable but is limited to match expressions
>
> What do you mean? It is *Haskell* that is limited here!
>
> The form above covers all possible 'functional' encodings.
>
> It does not permit 'var,val,ref,fun' annotations on
> arguments.
What I meant was that it was limited to _match_ expressions because
there is no other way to determine the names of the variables
attached to the arguments. You are right: it is a relatively
unlimited function (basically a set of match expressions turned into
a function). However, Haskell has exactly this power, as well:
new_function :: (a,a) -> a
new_function = case (a,a) of
(x,y) -> ...
OR
new_function :: (a,a) -> a
new_function (x,y) = ...
> (Note that the type of a tuple is T * T not T,T since
> T,T is actually a pair of types, not a type)
Right. My mistake (part of the problem when working with many
different languages at once, I guess).
-Pete
-------------------------------------------------------------------------
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
