If you don't require the example to be in Clojure, there are some examples here: http://kanren.sourceforge.net/ under type-inference.scm and typeclasses.scm.
On Wed, Nov 7, 2012 at 11:25 AM, Timo Westkämper <timo.westkam...@mysema.com> wrote: > I am searching for non-trivial type inference example code for a small > language project I am doing > > I took this as the basis > https://gist.github.com/997140 > > and ended up with this > https://github.com/timowest/symbol/blob/master/src/symbol/types.clj > > I read some basic papers on Hindley-Milner type inference, and I grasped the > basics. > > Are there more type inference examples out there? > > I am specifically looking for inspiration to the following challenges > * inferring types of function invocations with varying arguments (varargs) > * inferring types of classes > * how to encode class hierarchies in a core.logic type inference engine > > > > > -- > You received this message because you are subscribed to the Google > Groups "Clojure" group. > To post to this group, send email to clojure@googlegroups.com > Note that posts from new members are moderated - please be patient with your > first post. > To unsubscribe from this group, send email to > clojure+unsubscr...@googlegroups.com > For more options, visit this group at > http://groups.google.com/group/clojure?hl=en -- Ben Wolfson "Human kind has used its intelligence to vary the flavour of drinks, which may be sweet, aromatic, fermented or spirit-based. ... Family and social life also offer numerous other occasions to consume drinks for pleasure." [Larousse, "Drink" entry] -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en
