takikawa

http://lists.racket-lang.org/users/archive/2005-August/009483.html

http://lists.racket-lang.org/users/archive/2005-November/010350.html

http://lists.racket-lang.org/users/archive/2006-June/013819.html

http://lists.racket-lang.org/users/archive/2006-December/015607.html

http://lists.racket-lang.org/users/archive/2007-February/016393.html

takikawa

Already under `racket`, but move the implementation:
  x mzlib/control      => racket/control
  x mzlib/date         => racket/date
  x mzlib/deflate      => file/gzip
  x mzlib/inflate      => file/gunzip
  x mzlib/port         => racket/port
    (more work since racket/port adds on to it)
  x mzlib/process      => racket/system
  x mzlib/runtime-path => racket/runtime-path
    (depends on private mzlib module)

takikawa

asumu@willamette:~/plt/racket-git-2$ racket -I racket/base
Welcome to Racket v5.3.0.13.
-> (require scheme/unit)
-> struct
; readline-input:2:0: struct: illegal use of signature form
  in: struct [,bt for context]
-> struct/ctc
; readline-input:3:0: struct/ctc: illegal use of signature form
  in: struct/ctc [,bt for context]
->

takikawa

#lang racket

(module foo racket
  (provide x)
  (define x 3))

(module->namespace '(submod "." foo))

takikawa

#lang racket

(module bar racket
  (define-syntax (foo stx)
    (syntax-case stx ()
      [(_ x)
       (begin (syntax-local-lift-module-end-declaration
                #'(define/contract x integer? 5))
              #'(void))]))
  (foo x)

takikawa

#lang racket

(define pt (make-continuation-prompt-tag))

(+ 5
   (call-with-continuation-prompt
    (lambda ()
      (call-with-continuation-barrier
       (lambda ()
         (call/ec

takikawa

#lang racket

(require (for-syntax syntax/parse))

(define-match-expander $
  (λ (stx)
    (syntax-parse stx
      [(_ pat ...)
       #'(app force pat ...)])))

takikawa

#lang racket

(define pt (make-continuation-prompt-tag))

(define (fact n)
  (if (zero? n)
      1
      (* n (fact (sub1 n)))))

(time

takikawa

#lang racket

;; splits the list into groups of n or less
;; nat (listof x) -> (listof (listof x))
(define (group n lst)
  (let loop ([lst lst] [acc '()])
    (if (null? lst)
        (reverse acc)
        (loop (drop-up-to lst n)
              (cons (take-up-to lst n) acc)))))

takikawa

#lang racket

;; generics with parametric contracts

(module stack racket
  (require racket/generic)
  
  ;; The following defines:
  ;;   * gen:stack
  ;;   * stack?