Hi, I'm fairly new to this group, but am impressed that at last FP is coming of age in a non-niche (aka non-academic) fashion. (That's a bit rich cos I worked alot in acedeeeemia!).
Are there any plans to 'extend' (no pun) or perhaps promote the functional capabilities of Mochikit aka Haskell et al. Obviously we meet the typed vs non-typed argument and probably many others, but can we take paradigms from Haskell, ML, even Scheme etc to Javascript on the client side, whilst maintaining type based scripting, etc on the server side. In other words, can we produce a design/run time DSL (in Haskell or Scheme...) that emits, say, Mochakit (for it has a formality better than most JS stuff), whilst maintaining process coherence? Can we use partial evaluation, or any other worthy cause, to reduce communication and state overhead using continuations. Can we plug and play with the client, without undue interference - look at COM, it's the (only) (main) real decent technical feat Microsoft ever has done (IMO). Is anyone intersested in taking, say, the Pi-Calculus, Ambient Calculus, Event Calculi, FRAN etc and using Mochakit, which is a good foundation to start. Once we do this, we'll get proper semantics to build GUI and other stuff, whether it be DHTML now, SVG next or X3D soon (hopefully). Then we can reason about the consequences of or computation! I do have a working?? implementation of the Pi-Calculus in Javascript, though I am not too confident therein, as I t'was trained as an Electrical Engineer and am still struggling, though enthusiastically , the world of Abstract Mathematics and Category Theory - talk about making up your own language!! Anyone interested, please contact - my real adgenda is to facilitate 3D graphics on the client, but that's for the future! Cheers, Jono, B-i-F, Cumbria, England --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "MochiKit" 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/mochikit -~----------~----~----~----~------~----~------~--~---
