Wow - once again greg your mathematical mind astounds me! Cheers, Tim
On May 5, 2:55 am, Meredith Gregory <[email protected]> wrote: > Lifted, Scalad and lasses, > > Recently Martin passed along a little code challenge regarding scalable > abstractions for building a little lambda calculus evaluator. i've finally > put together a 1st draft response. i've still got a lot of debugging to do, > but the solution <http://code.google.com/p/rlambda/source/browse/trunk/> is > end-to-end. > > - there is a parser and evaluator hosted inside a lift-based > web-container > - the parser is built using BNFC and can target > Java/C#/OCaml/Haskell/F#/... > - the parser comes with visitor pattern support > - the evaluator is built in a two-level type style and demonstrates that > the only OO you need is just enough to make Scala happy -- the abstractions > are all FP-based > > As i said, this is very much a draft and the code falls over most of the > time. But, at this point, it's really a pedagogical device and framework for > hosting and evaluating different solutions. > > Again, one the main reasons i see for using Scala is it's seamless interop > with Java. The OCaml solution is intriguing (though ther are some > strangenesses in it that i've yet to grok), but i would like to see that > solution hosted in this manner. > > Best wishes, > > --greg > > -- > L.G. Meredith > Managing Partner > Biosimilarity LLC > 1219 NW 83rd St > Seattle, WA 98117 > > +1 206.650.3740 > > http://biosimilarity.blogspot.com --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Lift" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/liftweb?hl=en -~----------~----~----~----~------~----~------~--~---
