Hacker GitHub

← All repos

racket/typed-racket

View on GitHub ↗ ★ 578 Racket

Typed Racket

4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2018-08-26 · latest 2026-08-14

Mentions per year 4 mentions · busiest year 2021 (2)
20082026
AllStoriesComments NewestTopOldest
  1. I would expect you can. lexilambda created Typed Racket on top of Racket. https://github.com/racket/typed-racket
    comment by BeetleB · 2026-08-14 · in Gödel, Escher, Elisp: The Beauty of Macros
  2. …it'd be nice to have a selection of static typechecking systems to choose from for Racket. [1] https://github.com/racket/typed-racket/issues/1021
    comment by srcreigh · 2021-09-10 · in Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp
  3. …mixing untyped code), and is easily disabled via any if it's in the way. This is already done. See https://github.com/racket/typed-racket/pull/952 for RFC and https://github.com/racket/typed-racket/pull/948 for the implementation.
    comment by sorawee · 2021-02-03 · in Creating Languages in Racket (2011)
  4. Typed racket is pretty close . https://github.com/racket/typed-racket
    comment by zitterbewegung · 2018-08-26 · in BuBBLE: A Lisp Dialect DSL Written in Haskell