| 
|
QuoteRef: schuSA_1970
topics >
all references >
Topic:
type conversion
Topic:
function signature
Topic:
grammar modification
Topic:
function syntax definition
ThesaHelp:
references sa-sz
Topic:
conditional control by guards
Topic:
language extension via macros
Topic:
user-defined data type
Reference
Schuman, S.A., Jorrand, P., "Definition mechanisms in extensible programming languages", AFIPS Fall Joint Computer Conference, 37, pp. 9-20, 1970. Google
QuoteRef: schuSA_1970 ;;12 procedures as a type value eg mode trigo is proc (real) real; QuoteRef: schuSA_1970 ;;14 mode conversions eg mode complex is [real rp, real ip] with from real by x.[x, 0.0] QuoteRef: schuSA_1970 ;;15 syntactic macros with a where clause as a guard QuoteRef: schuSA_1970 ;;15 expand language through BNF eg Macro Fact -> "prim !" means factorial (prim) is ::= .../ ! where constraints (so recognize n!
16 ;;Quote: create a type as a macro which defines macros for operations and variables for internal state
Topic: type conversion (33 items)
Topic: function signature (21 items)
Topic: grammar modification (10 items)
Topic: function syntax definition (17 items)
ThesaHelp: references sa-sz (237 items)
Topic: conditional control by guards (17 items)
Topic: language extension via macros (23 items)
Topic: user-defined data type (13 items)