Hi. Thanks Ben & Ambrose.
I will look through this material. Br, Timo On Thursday, November 8, 2012 9:06:31 AM UTC+2, Ambrose Bonnaire-Sergeant wrote: > > Hi Timo, > > I played around with type inference in core.logic last year. > > You might find my Logic Starter project interesting. Certainly is not > solving a "non-trivial" problem though. > > Querying the Java hierarchy: > https://github.com/frenchy64/Logic-Starter/blob/master/src/logic_introduction/extend.clj#L76 > > Have a browse through this directory: > https://github.com/frenchy64/Logic-Starter/tree/master/src/logic_introduction > > If you're willing to give up global type inference, I can give some tips > for local type inference (I use it in Typed Clojure). > > Good luck! > Ambrose > > On Thu, Nov 8, 2012 at 3:25 AM, Timo Westkämper > <timo.we...@mysema.com<javascript:> > > 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 clo...@googlegroups.com<javascript:> >> Note that posts from new members are moderated - please be patient with >> your first post. >> To unsubscribe from this group, send email to >> clojure+u...@googlegroups.com <javascript:> >> For more options, visit this group at >> http://groups.google.com/group/clojure?hl=en > > > -- 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
