Article View: comp.lang.functional
Article #451Re: LML 0.99
From: Lennart Augustsson
Date: Sat, 25 Aug 1990 12:55
Date: Sat, 25 Aug 1990 12:55
27 lines
1330 bytes
1330 bytes
In article <3592@goanna.cs.rmit.oz.au> ok@goanna.cs.rmit.oz.au (Richard A. O'Keefe) writes: >In article <4060@undis.cs.chalmers.se>, augustss@cs.chalmers.se (Lennart Augustsson) writes: >> ** Language constructs: > >> * Sections are implemented. They are written (op aexp) and (aexp op) >> with their usual meaning. As usual (- aexp) is not a section. > >What's a section? A section is a shorthand for a lambda expression involving an operator. E.g. (+ 5) (1 /) are the same as (\ x -> x + 5) (\ x -> 1 / x) The reason that (- e) is not (\x->x - e) is that this notation is already used for prefix negation. I have no idea why sections are called sections. -- Lennart Augustsson -- Lennart Augustsson Email: augustss@cs.chalmers.se
Technical Details
Message-ID:
<1990Aug25.125551.11458@mathrt0.math.chalmers.se>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!clyde.concordia.ca!uunet!samsung!zaphod.mps.ohio-state.edu!rpi!uupsi!sunic!chalmers!mathrt0.math.chalmers.se!augustssReferences:
<4060@undis.cs.chalmers.se> <3592@goanna.cs.rmit.oz.au>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!clyde.concordia.ca!uunet!samsung!zaphod.mps.ohio-state.edu!rpi!uupsi!sunic!chalmers!mathrt0.math.chalmers.se!augustss From: augustss@cs.chalmers.se (Lennart Augustsson) Newsgroups: comp.lang.functional Subject: Re: LML 0.99 Message-ID: <1990Aug25.125551.11458@mathrt0.math.chalmers.se> Date: 25 Aug 90 12:55:51 GMT References: <4060@undis.cs.chalmers.se> <3592@goanna.cs.rmit.oz.au> Sender: news@mathrt0.math.chalmers.se (Evald Nyhetsson) Organization: Dept. of CS, Chalmers, Sweden Lines: 27