Polymorphism ideas

[carp-lang]

Polymorphism ideas

[chrisosaurus]

hmm on second-thought maybe option (2) is actually user-extendible if functions/macros are powerful enough

maybe (contains? foo) could dispatch to (typeof(foo)-contains? foo)

this would require something being able to get a typeof string, append "-contains?" (or arbitrary function names) and then call it (via eval I presume?)

[eriksvedang]

Yes, this is very interesting. My hope is to implement something like this eventually, and your solution is nice and simple. The first 0.1 release of carp won't have it though, I want to sort out some bigger things (like modules) first!

[porky11]

the reason why other lisps don't handle it, is that they are dynamically typed.
another low level lisp already handles this: dale