lazy evaluation - Why isn't promise a data type in Scheme? -


the object returned delay in scheme "a promise", promises not considered type (so there no promise? procedure, , it's not listed type in r5rs or r6rs).

is there strong reson why so? seem quite natural me (if (promise? x) (force x) x), example. (and see implementations let me force non-promises, , others not). also, if can store in variale , pass around, feel should have type.

there can't strong reason, since mit/gnu scheme, defines promise? function.


Comments

Popular posts from this blog

C#: Application without a window or taskbar item (background app) that can still use Console.WriteLine() -

c++ - Convert big endian to little endian when reading from a binary file -

openssl - Load PKCS#8 binary key into Ruby -