Article View: comp.lang.functional
Article #466Re: Extensional functions in SML?
From: Norman Graham
Date: Sat, 22 Sep 1990 06:46
Date: Sat, 22 Sep 1990 06:46
20 lines
1323 bytes
1323 bytes
From article <STABL.90Sep20195507@trillian-gw.fmi.uni-passau.de>, by stabl@unipas.fmi.uni-passau.de (Robert Stabl):
> But, I wanted to show that (higher-order) functional programming can be used
> to define databases, not implementing them by arrays, lists, or any other
> standard method.
Right. You're example showed an important technique with which all
functional programmers should be familiar: A functional (higher-order
function) can be used to create a new function that is better defined
than the original function.
This is the same technique that denotational semanticists use to
describe stores and environments.
Yours,
Norm
--
Norman Graham <norman@a.cs.okstate.edu> {cbosgd,rutgers}!okstate!norman
The opinions expressed herein do not necessarily reflect the views of
the state of Oklahoma, Oklahoma State University, OSU's Department of
Computer Science, or of the writer himself.
Technical Details
Message-ID:
<1990Sep22.064603.9573@d.cs.okstate.edu>Path:
arc1-ca.pugleaf.net!utzoo!attcan!uunet!aplcen!unmvax!uokmax!d.cs.okstate.edu!normanReferences:
<STABL.90Sep20195507@trillian-gw.fmi.uni-passau.de>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!aplcen!unmvax!uokmax!d.cs.okstate.edu!norman From: norman@d.cs.okstate.edu (Norman Graham) Newsgroups: comp.lang.functional Subject: Re: Extensional functions in SML? Message-ID: <1990Sep22.064603.9573@d.cs.okstate.edu> Date: 22 Sep 90 06:46:03 GMT References: <STABL.90Sep20195507@trillian-gw.fmi.uni-passau.de> Organization: Oklahoma State University Lines: 20