Beginning Student Languages¶

Intro¶

To run tests like those with ~check-expect~, your ~.rkt~ file must start with:

: #lang htdp/bsl

: #reader(lib "htdp-beginner-reader.ss" "lang")((modname area-tests) (read-case-sensitive #t) (teachpacks ()) (htdp-settings #(#t constructor repeating-decimal #f #t none #f () #f)))

But not both.

Then, from racket-mode, press C+c C+t (racket-test) and be happy. From the command line,

: raco test file.rkt

Thanks to @lexi-lambda in #racket for figure it out.

List of teaching languages¶

This is the list of known #lang we can use about the teaching languages (beginning, intermediate, advanced):

#lang htdp/bsl
#lang htdp/bsl+
#lang htdp/isl
#lang htdp/isl+
#lang htdp/asl

Resources¶

Beginning Student (Racket docs).
How to use htpd/bsl from emacs or command line (Fernando Basso Github gist).