Add Typed Racket example to RacketScript playground?

[spdegabrielle]

Been thinking about TypeScript.

Is the Typed Racket example possible?

#lang typed/racket

;; Using higher-order occurrence typing
(define-type SrN (U String Number))
(: tog ((Listof SrN) -> String))
(define (tog l)
  (apply string-append
         (filter string? l)))
(tog (list 5 "hello "
           1/2 "world" (sqrt -1)))

Cc: @samth

[stchang]

Pure TR would probably be fine since most of the work is done during expansion, but mixed typed-untyped might run into problems with contracts (like with #268)

[stchang]

I just tried the above example and it worked fine once I fixed a small issue with protect-out (#284). I'd want a few more tests before adding it to the playground. Do you want to come up with a few more? :)

[spdegabrielle]

Scribble?

#lang scribble/base

@; Generate a PDF or HTML document
@(require (only-in racket ~a))
@(define N 99)
@title{Bottles: @italic{Abridged}}
@(apply
  itemlist
  (for/list ([n (in-range N 0 -1)])
    @item{@(~a n) bottles.}))

[spdegabrielle]

Do you want to come up with a few more? :)

Once the playground can do all the examples on the Racket homepage, why not put the working examples on the racket homepage?

[stchang]

I dont want to add any examples that don't actually represent the programs one could write

[spdegabrielle]

What examples could/would you put there?

[vishesh]

Scribble would be interesting. Although, unlike Typed Racket or Datalog it would require some changes to Playground apart from any unsupported Racket we may find (e.g. there is scribble command), to use HTML renderer and put that in output.

[vishesh]

What examples could/would you put there?

I think it would be worthwhile to prepare a feature matrix to compare Racket and RacketScript (in terms of primitive functions, data structures and semantics). I think once we can compile linklets, things would be easier.

[spdegabrielle]

I'd love to put the Rhombus prototype that Sam P did but i think it is too soon.