| 1 | (use srfi-69) |
|---|
| 2 | |
|---|
| 3 | (: make-int-to-symbol (-> (struct hash-table (fixnum symbol)))) |
|---|
| 4 | (define (make-int-to-symbol) |
|---|
| 5 | (make-hash-table)) |
|---|
| 6 | |
|---|
| 7 | (hash-table-set! (make-int-to-symbol) 'foo 2) |
|---|
| 8 | |
|---|
| 9 | (hash-table-set! (hash-table-copy (the (struct hash-table #f) (make-int-to-symbol))) 'foo 2) |
|---|
| 10 | |
|---|
| 11 | (: foo ((struct hash-table (fixnum)) -> fixnum)) |
|---|
| 12 | (define (foo ht) |
|---|
| 13 | (hash-table-size ht)) |
|---|
| 14 | |
|---|
| 15 | (print (foo (make-int-to-symbol))) |
|---|
| 16 | |
|---|
| 17 | (: print-symbol (symbol -> *)) |
|---|
| 18 | (define (print-symbol s) |
|---|
| 19 | (print s)) |
|---|
| 20 | |
|---|
| 21 | (: add-numbers (number number -> number)) |
|---|
| 22 | (define (add-numbers a b) |
|---|
| 23 | (+ a b)) |
|---|
| 24 | |
|---|
| 25 | (: bar (forall (t) ((t -> *) (t t -> t) t t -> *))) |
|---|
| 26 | (define (bar pr op a b) |
|---|
| 27 | (pr (op a b))) |
|---|
| 28 | |
|---|
| 29 | (bar print-symbol add-numbers 'a 'b) |
|---|
