Interesting essays, thanks for sharing those.
There's always a weakness somewhere, that's what making design trade-offs
is all about. I do think the type classes thing is a more promising
direction of expansion (for Felix) than the object system. But if the
object system were improved, some thought about traits and consideration of
how other other languages are handling the same problems might be helpful.
Another language with an interesting use of traits that is similar to
type-classes is "Rust" from Mozilla. They have a way of "casting" a value
to a trait, whereby it constructs a proxy object implementing only that
trait's methods. At other times, it always statically dispatches,
"specializing" methods to their actual parameter type. The main missing
link between Felix and that is the ability to easy "package" an object to
provide just the virtual members of a type class while keeping the "true"
type hidden, thus allowing collections of heterogeneous elements.
On Wed, Nov 14, 2012 at 9:50 AM, Raoul Duke <rao...@gmail.com> wrote:
> [why is there more than one felix list?]
>
> On Wed, Nov 14, 2012 at 9:18 AM, Dobes Vandermeer <dob...@gmail.com>
> wrote:
> > Of course, one might also argue that your use of objects instead of type
> > classes points to a failure of your type class system. Surely you can do
> > whatever you are doing with objects using type classes? Perhaps there's
> > still hope to fix type classes and toss the object system.
>
> all the things people have come up with to date have problems, one way
> or another, including all the stuff in scala. so while there are some
> good pros to the things which have been done, and they are probably
> for the most part better than crappy lame old bog-standard java, i
> worry when people don't explicitly mention and look for the bad things
> about those features.
>
> (i do appreciate a language that makes decisions about things, though.
> while it is nice to have a language that is flexible enough to do
> whatever however, i think in the long run it ends up meaning that
> everybody spends a lot of time and effort making incompatible things.
> look at
> http://www.winestockwebdesign.com/Essays/Lisp_Curse.html
> which also points to
> http://www.lambdassociates.org/blog/bipolar.htm
> for example.)
>
> --
> You received this message because you are subscribed to the Google Groups
> "Felix Language" group.
> To post to this group, send email to felix-langu...@googlegroups.com.
> To unsubscribe from this group, send email to
> felix-language+unsubscr...@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/felix-language?hl=en.
>
>
------------------------------------------------------------------------------
Monitor your physical, virtual and cloud infrastructure from a single
web console. Get in-depth insight into apps, servers, databases, vmware,
SAP, cloud infrastructure, etc. Download 30-day Free Trial.
Pricing starts from $795 for 25 servers or applications!
http://p.sf.net/sfu/zoho_dev2dev_nov
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language
