Simple lang for a dataset: #lang gtp-measure/output/typed-untyped

[bennn]

Entry

#lang gtp-measure/output/typed-untyped

Where can we learn about your language? Feel free to post a variety of resources: source code, images, article / blog post, video, etc.

Docs: https://docs.racket-lang.org/gtp-measure/index.html#%28part._.Output_.Data__.Typed_.Untyped_.Target%29

Example use: https://github.com/bennn/gtp-measure/blob/master/output/test/typed-untyped-0.rkt

Definition: https://github.com/bennn/gtp-measure/blob/master/output/typed-untyped.rkt

What is the purpose of your language? Give a short motivational pitch.

This is a simple #lang for a dataset.

• If you're a human or a non-Racket-program reading the file, the #lang is a hint about how to interpret the data.
• If Racket runs the dataset (racket file.rkt), a summary appears.
• If another Racket program requires a specific identifier (gtp-data), parsed data appears.

Please list a few example programs (or links to examples) below.

There are a few basic tests here: https://github.com/bennn/gtp-measure/tree/master/output/test

There's a real dataset here: https://github.com/bennn/g-pldi-2022/tree/master/data/7.8.0.5

One generic client here .... https://github.com/bennn/gtp-plot/blob/master/private/typed-racket-info.rkt#L95

... which makes plots: https://docs.racket-lang.org/gtp-plot/index.html#%28def._%28%28lib._gtp-plot%2Fplot..rkt%29._overhead-plot%29%29

And a client that uses the data to make tables ... https://github.com/bennn/g-pldi-2022/blob/master/g-pldi-2022/evaluation.scrbl

... for a paper: https://www2.ccs.neu.edu/racket/pubs/g-pldi-2022.pdf

Licence

Please confirm that the text in this issue is licensed under the Creative Commons Attribution 4.0 International License http://creativecommons.org/licenses/by/4.0/

aye aye