Table of Contents

1 (ninth RacketCon)

2 Saturday, 09:30–10:30 Aaron Turon: Governing Rust

2.1 pre-1.0

  • internal project for improving performance and security

2.2 1.0

  • strives for eager consensus
  • accommodate external groups
  • address "why wasn't I consulted" problem
  • define stakeholders and decision makers
  • create rfc system
  • goal is to understand trade-offs
  • schedule a final review
  • there needs to be an end to rational addition
  • the goal needs to get to a consensus but an outcome
  • balance is between shipping and consensus

2.3 post-1.0

3 10:50–11:50

3.1 Phil Hagelberg: In Production: creating physical objects with Racket

3.2 Conor Finegan: ADQC: From Normalcy to Adequacy

4 14:00–15:00

4.1 Bradley M. Kuhn: Conservancy and Racket: What We Can Do Together!

4.2 Greg Hendershott: Racket and Emacs: Fight!

5 15:20–16:20

5.2 Vlad Kozin: #lang wishful thinking (will! it be so)

6 16:40–17:40

6.1 Andrew Blinn: Fructure: A Structured Editing Engine in Racket

6.2 John Clements: Computational models and one big problem with the stepper

7 Sunday, 09:30–10:30 Matthew Flatt: State of Racket

8 2017 Keynote: Dan Friedman & Will Byrd: Reasoned Schemers

https://github.com/webyrd

(run* (q)
      (conde
       [(== q 5)]
       [(== q 6)]))

(define my-append (l s)
  (cond
   [(null? l) s]
   [(cons (car l)
          (my-append (cdr l) s)]))

8.1 Three Rules: Simply-typed Lambda Calculus

  • var
  • abs
  • app

8.2 Quines/Twines

8.3 A Unified Approach to Solving Seven Programming Problems (Functional Pearl)

9 Review

Author: Jason Walsh

Created: 2020-07-31 Fri 17:51

Validate