Is the LDAP client available somewhere? -Alex- On 1 Aug 2001, Steinitz, Dominic J wrote:
I don't know about functional dependencies but using an existential type turned out to be very useful in writing an LDAP protocol handler. The protocol is specified at an abstract level using ASN.1 and could, in theory, be encoded using any set of encoding rules. It happens to use the Basic Encoding Rules. We used an existential type to "encode" the protocol at an abstract level and the encoding rules take this type and produce a concrete representation ready to send over a transport mechanism. Thus we get a good separation between the abstract protocol and the concrete encoding. So the next time we implement a protocol handler we can re-use the encoding code or we could encode LDAP with a different set of encoding rules without having to touch the LDAP code itself.
We are presenting a paper which includes this at the Scottish Functional Programming workshop.
Dominic.
hdaume@ISI.EDU on 31/07/2001 22:29:00 To: franka cc: haskell-cafe bcc: Dominic Steinitz Subject: Re: newbie conceptual question [from haskell list]
Hi,
Frank Atanassow wrote:
D. Tweed wrote:
I've never written a Haskell program using functional dependencies, or existential classes, ...
I find them indispensible, and I know for a fact that I am not the only one around our office who feels that way. Though, the people around here (Utrecht's software technology group) are not exactly typical programmers... :)
I've been recently experimenting quite a bit with existential classes and somewhat less with functional dependencies, primarily to help my understanding of the concepts. However, I've yet to be able to think of an appropriate place to use them in the "real world". That is, in something more than a toy thought-experiment. Could you give some examples of what you are using them for?
-- Hal Daume III
"Computer science is no more about computers | hdaume@isi.edu than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
------------------------------------------------------------------------------------------------- 21st century air travel http://www.britishairways.com
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
___________________________________________________________________ S. Alexander Jacobson Shop.Com 1-646-638-2300 voice The Easiest Way To Shop (sm)