typed-racket/typed-racket-test/succeed/match-dots2.rkt
2014-12-16 10:07:25 -05:00

10 lines
222 B
Racket

#lang typed-scheme
(require scheme/match)
(: post-eval : -> Number)
;; evaluates a postfix sequence of items, using a stack
(define (post-eval)
(match '(1 2)
[(list (? number? #{stack : (Listof Number)}) ...) 3]))