Thoughts on R7RS

http://benjisimon.blogspot.com/2012/02/some-initial-thoughts-on-r7rs.html

by gnosis • 14 years ago

64 9 14 years ago

benjisimon.blogspot.com

oddthink2• 14 years ago

Odd how he dislikes both not having a way to create disjoint types and the way provided to create disjoint types (define-record-type).

noelwelsh• 14 years ago

Indeed, and what could be a truer reflection of the Scheme community than this ;-)

ruv• 14 years ago

LISP and Buddha-nature... ;)

gchpaco2• 14 years ago

The problem, I think, is that he wants a low level tool for generating disjoint types (not satisfied by define-record-type, which is not required to be disjoint from vectors or conses or what have you). This would give you the ability to have enums, ML style discriminated unions, simple records, etc. without necessarily requiring that each and every one of them be in the small language.

That said from a practical point of view some sort of record type is long overdue.

oddthink2• 14 years ago

As of the current draft, define-record-type is disjoint. They're "distinct from all existing types" and explicitly mentioned as being disjoint in the notes.

brianobush• 14 years ago

Still going to stick with R5RS. do we really need to revise Latin?

zokier• 14 years ago

My understanding from superficial observation is that they are trying to fix the (perceived) mess that was R6RS, and thus unify the community.

csl• 14 years ago

That would be the case. Some people were unhappy with R6RS not keeping Scheme a minimal language anymore.

Now they're making one "small" Scheme and one "big" Scheme. That's a good thing because they can actively decide what to put in the big version (full numeric tower, e.g.) and what to put in the small language (e.g. a standardized module system).

Thoughts on R7RS

Related Stories