skaller wrote: > On Thu, 2006-08-31 at 12:19 -0700, Erick Tryzelaar wrote: > > Dang that Erick .. not only beats me to the punch .. > > Well it just goes to show that you shouldn't sleep so much :) >> fyi, felix can do this: >> >> #import <flx.flxh> >> >> open List; >> >> fun compose[T,U,V] (f:T->U, g:U->V) => fun (x:T) => g(f(x)); >> > > .. teaches me something new. It can do that?? > > > How so, other than me explicitly currying, verses your implicit style? Is it the returning of the generic function? If so, I guess it's a good thing when the type system does something unexpectantly correct :)
Also, if you change the "x:T" to just "x", you get this ocaml exception: #FLX_INSTALL_DIR=. #PKGCONFIG=./bin/flx_pkgconfig env PATH=./bin:$PATH ./bin/flxg -q --inline=10 --elkhound=./bin/flx_elkhound -I./lib projects/foo SYSTEM FAILURE Unexpected `TYP_none in bind type -e ------------------------------------------------------------------------- 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
