Re: [Haskell-cafe] Haskell binding to Berkeley DB?

2005-02-04 Thread Christian Maeder
our uniform workbench has a simpleDB binding to BDB. http://www.informatik.uni-bremen.de/uniform/wb/ The sources can be downloaded with cvs -d \ :pserver:[EMAIL PROTECTED]:/repository \ co uni and can be compiled with a recent ghc-6.2.2. The only documentation that I'm aware of is a

Re: [Haskell-cafe] Re: mathematical notation and functional programming

2005-02-04 Thread Dylan Thurston
(Resurrecting a somewhat old thread...) On Fri, Jan 28, 2005 at 08:16:59PM +0100, Henning Thielemann wrote: On Fri, 28 Jan 2005, Chung-chieh Shan wrote: But I would hesitate with some of your examples, because they may simply illustrate that mathematical notation is a language with side

Re: [Haskell-cafe] Re: mathematical notation and functional programming

2005-02-04 Thread William Lee Irwin III
On Fri, Jan 28, 2005 at 08:16:59PM +0100, Henning Thielemann wrote: But what do you mean with 1/O(n^2) ? O(f) is defined as the set of functions bounded to the upper by f. So 1/O(f) has no meaning at the first glance. I could interpret it as lifting (1/) to (\f x - 1 / f x) (i.e. lifting from

[Haskell-cafe] Re: Haskell binding to Berkeley DB?

2005-02-04 Thread John Goerzen
On 2005-02-04, Dimitry Golubovsky [EMAIL PROTECTED] wrote: Hi, Has anyone tried/been successful on developing such a binding? Funny you should ask. I released one yesterday. http://quux.org/devel/missingpy/html/MissingPy.AnyDBM.html#v%3AopenSpecificDBM (Download from