Better typeclasses

This commit is contained in:
William J. Bowman 2016-01-22 14:19:49 -05:00
parent 961a5b7bb9
commit 5fe50b4758
No known key found for this signature in database
GPG Key ID: DDD48D26958F0D1A

View File

@ -14,10 +14,10 @@
| These typeclasses are kind of broken. There are no typeclass constraints so.... | These typeclasses are kind of broken. There are no typeclass constraints so....
|# |#
(begin-for-syntax (begin-for-syntax
#| NB: #| TODO:
| Need this thing to be global w.r.t. the runtime, i.e., exist once | A compile-time hash table is stupid. Use something akin to struct
| and for all no matter how many things import typeclass, i.e., not | type properties to associate method with the identifier for the type,
| local to this module. | perhaps syntax properties.
|# |#
(define typeclasses (make-hash))) (define typeclasses (make-hash)))
(define-syntax (typeclass syn) (define-syntax (typeclass syn)