The Wayback Machine - https://web.archive.org/web/20220220063607/https://github.com/topics/racket
Skip to content
#

Racket

racket logo

Racket is a general-purpose, programming language and a platform for programming language design and implementation.

Racket supports multiple paradigms: functional programming, object-oriented programming, Functional Reactive Programming (FRP) and Language Oriented Programming with powerful macros and parsing libraries.

Static type checking, type classes and gradual typing support the development of large code bases.

Here are 1,278 public repositories matching this topic...

spdegabrielle
spdegabrielle commented Jan 20, 2022

Hi 👋

We are using this issue to focus on documentation! Documentation is essential for new learners and experienced programmers alike. It helps make our community inclusive by extending a friendly hand to those that are less familiar with Racket. It also helps us find the bugs and issues with the code itself, because we test and try things out as we document.

There are several ways to contri

capfredf
capfredf commented Oct 5, 2021

What version of Racket are you using?

Racket 8.2.0.8

What program did you run?


(: hi (All (r #:row)
           (-> r r)))
(define (hi a)
  a)

What should have happened?

The type checker should reject the program, because a type variable for a polymorphic row type is in fact only allowed to appear in (Class #:row-var _) in Typed Racket.

If you got an erro

Created by PLT Inc.

Released 1995

Organization
racket
Website
racket-lang.org
Wikipedia
Wikipedia

Related Topics

drracket language typed-racket