inconsistency with lambda in VDM

Article View: comp.specification

Article #109

Back to comp.specification Previous Next

#109

From: Anthony Shipman
Date: Thu, 27 Aug 1992 07:35

18 lines
977 bytes

I can give an explicit definition for a function with no arguments:

	f: () -> T

but according to the grammar for VDM-SL it doesn't seem to be possible
to write a lambda expression for a function with the above type.

What have I missed?

(I know such functions aren't useful. This is more an academic query.)

Regards

-- 
Anthony Shipman                 "You've got to be taught before it's too late,
CP Software Export Pty Ltd,      Before you are six or seven or eight,
19 Cato St., East Hawthorn,      To hate all the people your relatives hate,
Melbourne, Australia, 3121       You've got to be carefully taught."  R&H

Technical Details

Message-ID: <1992Aug27.073559.23859@bohra.cpg.oz.au>

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!mel.dit.csiro.au!yarra!bohra.cpg.oz.au!als

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!mel.dit.csiro.au!yarra!bohra.cpg.oz.au!als
From: als@bohra.cpg.oz.au (Anthony Shipman)
Newsgroups: comp.specification
Subject: inconsistency with lambda in VDM
Message-ID: <1992Aug27.073559.23859@bohra.cpg.oz.au>
Date: 27 Aug 92 07:35:59 GMT
Organization: Computer Power Software
Lines: 18