Re: Constructive Criticism and a Question

[Han-Wen Nienhuys]

Erik Sandberg escreveu:
> On Thursday 21 December 2006 12:55, Han-Wen Nienhuys wrote:
>> Erik Sandberg escreveu:
>>> BTW, in this case it may be good to register the fraction as its own
>>> argument type, so \tuplets and \tuplet are generic music functions, both
>>> with signature
>>> (tuplet-fraction? music?)
>> it would be cool if we could pull this off, that would make \time generic
>> too.
> 
> Hm, if we do this together with the 2:3 syntax change, then we would suddenly 
> be able to write:
> \time 4:3
> which would be equivalent to:
> \time 3/4
> That's a bit confusing.
> 
> BTW, if we start adding new types, it would be nice to create a new 'type' 
> data structure, to be used in function signatures. The data structure would 
> contain a type-checking predicate, a name (displayed when type-check fails), 
> and perhaps a type ID for the lexer. This would allow more complex types, 
> e.g. 'sequential music', 'single note or chord', 'pair of numbers' (as in 
> #'(1 . 3)), etc; perhaps the system could be used for 
> define-context-properties.scm as well.

be careful. If you introduce type, you will have to introduce subtypes as well:
seq-music is a subtype of music. Before you know, we'll be writing a type 
inference engine.

-- 

Han-Wen Nienhuys - address@hidden - http://www.xs4all.nl/~hanwen

LilyPond Software Design
 -- Code for Music Notation
http://www.lilypond-design.com