Jacqueline Firth jackfirth

12 Days of Racket Packages - `debug`

raco pkg install debug

It's the simplest tools that we reach for first. That's why one of the most common ways programmers debug their programs is with printf, display, print, console.log, System.out.println, System.Console.WriteLine, or whatever other console printing tool your language of choice has. It's easy to understand, not too inflexible, and usually good enough. But even for only simple debugging, is that the best a language can do?

Not in Racket! The debug package (source) by Alex Knauth is a unique approach to debugging. Instead of manually writing print statements and formatting strings in the middle of the flow of your code, debug only requires two characters:

app provides an application for users, rather than a library
app-syntax provides a general-purpose #%app syntactic form, such as dictionary lookup through #%app
concurrency provides something useful for concurrent programming
config something related to configuration, such as reading from env vars or flags
crypto something related to cryptography, including hash algorithms and TLS bindings
data provides a data structure of some sort
datetime something related to dates or times
debug something related to debugging programs

LLVM Language Reference Manual https://llvm.org/docs/LangRef.html
Executable and Linkable Format (ELF) https://en.wikipedia.org/wiki/Executable_and_Linkable_Format
RISC-V Specifications https://riscv.org/specifications/
List of calling conventions https://en.wikipedia.org/wiki/Calling_convention
List of ISAs https://en.wikipedia.org/wiki/Comparison_of_instruction_set_architectures
Nixpkgs manual section on cross-platform compilation https://nixos.org/nixpkgs/manual/#sec-cross-platform-parameters
How to make your own libc https://wiki.osdev.org/Creating_a_C_Library
The book "Linkers and Loaders"
OCI container image format specification https://github.com/opencontainers/image-spec
OCI container image format media types https://github.com/opencontainers/image-spec/blob/master/media-types.md

raco setup: unused dependencies detected
  for package: "htdp-lib"
  on packages:
   "typed-racket-more"
   "rackunit-typed" for run
raco setup: unused dependency detected
  for package: "string-constants-doc"
  on package:
   "string-constants-lib" for run

'disappeared-use
'disappeared-binding
'sub-range-binders
'mouse-over-tooltips
'original-for-check-syntax
hidden property used by syntax-original?
'paren-shape
'origin
'protected
'module-language (used by make-meta-reader)

Keybase proof

I hereby claim:

I am jackfirth on github.
I am notjack (https://keybase.io/notjack) on keybase.
I have a public key ASBH2HHhXXPl5IX8fqkKchCqXxDyyxK_UbCO4u69yb_CZgo

To claim this, I am signing this object:

	#lang racket

	(require request
	fancy-app)

	(define (read-from-string s) (read (open-input-string s)))
	(define read-response-requester (wrap-requester-response read-from-string _))

	(define (header-requester key value requester)
	(add-requester-headers (list (format "~a:~a" key value)) requester))

	(define-syntax-rule (define-exception-type id parent-id raise-id)
	(begin
	(struct id parent-id ())
	(define-exception-raiser raise-id id)))

	(define-syntax-rule (define-exception-raiser raise-id constructor-id)
	(define (raise-id message)
	(raise (constructor-id message (current-continuation-marks)))))

	(define-syntax-rule (define-parameter-with param-expr with-id)
	(define-syntax-rule (with-id new-param-value-expr body ...)
	(parameterize ([param-expr new-param-value-expr])
	body ...)))

	(define-syntax-rule (define-parameter-call-with param-expr call-with-id)
	(define (call-with-id new-param-value thunk)
	(parameterize ([param-expr new-param-value])
	(thunk))))

	#lang racket

	(require (for-syntax syntax/parse))

	;; Macros created with define-syntax are functions from syntax objects to syntax
	;; objects. Syntax objects are basically s-expressions + a bunch of binding
	;; information and metadata.

	;; GRAMMAR: (when-let ([id condition-expr] ...) body ...)
	;; Executes body forms if every condition-expr is non-false, and binds the

Jacqueline Firth jackfirth

12 Days of Racket Packages - debug

Keybase proof

12 Days of Racket Packages - `debug`