Tomasz Zielonka <[EMAIL PROTECTED]> writes: > Perhaps there is a chance for cooperation?
That would be a pleasure for me. I must stress that my knowledge of Haskell is purely theoretical, the only thing I ever programmed *with* Haskell was a small automata package. I have however good knowledge of the language itself (I wrote a parser for it), of its semantics and of low to intermediate level (lazy) functional programming features. I also have some knowledge of part of the theory behind haskell's type system, I understand monads, both from a practical (why it is usefeul) and a theoretical (where it comes from and why it works) point of view. As I said before, I have the intuition that Haskell should be most useful as a tool for something like executable design and specification, as it is obviously a tool of choice for producing correct code thanks to strong type system, and it has nice features for working with languages, grammars, automatas ... I don't see it as a workhorse language for programming mundane tasks like producing tens or hundreds of simple business services and processes: looking for an article, creating a sale, registering articles with it, ... I have in mind (and a bit in java code) an architecture where you would have business services hardwired and packaged, for example in C or Java. These services would be composed - possibly transactionnaly - through business processes described using a high-level language, with possible transformations/adaptations at deploy or run-time. The processes could be generated to any technological platform using kind of automata/graph traversal/encoding, with the communication medium automatically processed. The presentation layer, would be handcoded or designed with RAD tools and wired to processes. I have some small parts of this process in Java and took me a lot of efforts, I think that HAskell has built-in capabilities to do part of what I want out-of-the-box and libraries for building upon. But I am not sure this vision is true and it could be articulated in the time frame of a real-world project. > > BTW, I think it would be nice if we could use Template Haskell > quoting facilities for generating code in languages other than > Haskell. > Sure. Looks very interesting, sort of OO reflexion at compile time ? > Best regards Idem. BTW, are you the Tomasz Zielonka of the asynchronous automata ? -- Arnaud Bailly, Dr. - Ingénieur de Recherche NORSYS 1, rue de la Cense des Raines ZAC du Moulin 59710 ENNEVELIN Tel : (33) 3 28 76 56 76 Mob : (33) 6 17 12 19 78 Fax : (33) 3 28 76 57 00 Web : http://www.norsys.fr _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
