inconsistency with lambda in VDM

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Anthony Shipman Thu, 27 Aug 1992 07:35

#109

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads