Re: The wisdom of the object mentors (Was: Searching OO Associations with RDBMS Persistence Models)
Date: 31 May 2006 17:35:40 -0700
Message-ID: <1149122140.349662.163220_at_c74g2000cwc.googlegroups.com>
> > What about functional programming then ?
>
> What about it? Are you proposing either the typed or untyped lambda
> calculus as a replacement for predicate calculus for the foundation for
> data management? Or are you suggesting the typed lambda calculus as
> providing a complete foundation to programming in a manner similar to
> the foundation predicate calculus provides to data management? If the
> latter, what about concurrency?
I would suggest the latter. In the RDBMS field I would want to use a functional language as the language for implementing operators for new data types (and indeed any other "code" that would be embedded in the database). In that particular case, concurrency probably doesn't matter for much. For areas where concurrency does matter, Concurrent Haskell (Simon Peyton Jones et al, pp 295 - 308, Proceedings POPL '96, ACM) would be a starter for ten; for a case study in concurrent programming in Haskell, see "Developing a high-performance web server in Concurrent Haskell" by Simon Marlow in Journal of Functional Programming, 12(4+5):359--374, July 2002 (also available from the haskell.org web site). Received on Thu Jun 01 2006 - 02:35:40 CEST