3

NOTE: let/cc in typed/racket

 2 years ago
source link: https://dannypsnl.github.io/blog/2022/03/16/cs/letcc-in-typed-racket/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
neoserver,ios ssh client

's type cannot be inferred by typed/racket, but the type of it is always for a function returning , so one should writeNOTE: let/cc in typed/racket

Email: [email protected]
GitHub: @dannypsnl
Twitter: @dannypsnl

Programming Language Theory • System Programming

NOTE: let/cc in typed/racket

let/cc's type cannot be inferred by typed/racket, but the type of it is always (-> T Void) for a function returning T, so one should write

(: foo : -> T)
(define (foo)
  (let r : T
    (r t)))

author: Lîm Tsú-thuàn/林子篆/Danny

category:cs

tag:noteracketlet/cctyped

Similar Articles

All works in this site is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
©2022 dannypsnl(林子篆)

report

Recommend

About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK