RE: [racket-users] typed racket confusion

2016-09-09 Thread Jos Koot
] Sent: viernes, 09 de septiembre de 2016 22:21 To: Jos Koot Cc: Racket Users Subject: Re: [racket-users] typed racket confusion Because in function `b`, the type of the `lambda` that `n` actually be passed to is the union of `add1` and `sub1` in the context, hence, the info on parity of `n

Re: [racket-users] typed racket confusion

2016-09-09 Thread WarGrey Gyoudmon Ju
Because in function `b`, the type of the `lambda` that `n` actually be passed to is the union of `add1` and `sub1` in the context, hence, the info on parity of `n` are lost before this `lambda` is evaluated. On Sat, Sep 10, 2016 at 3:42 AM, Jos Koot wrote: > #lang