Re: [racket-users] making a language that can return the body of a function

2017-05-29 Thread Vityou
It turns out that I can just do: (define-syntax (new-lambda stx) (syntax-parse stx [(_ (parameter:id) body:expr) #'(lambda-structure 'parameter body (lambda (parameter) body))])) because my lambda-calculus l

Re: [racket-users] Racket for Kids in 2017

2017-05-29 Thread Matthias Felleisen
[off topic] As far as 1-1 experiences go, I doubt very much that a parent can do much worse than an average “education professional.” Due to our outreach program, I have seen amazing education professionals and people in the same profession who clearly contribute to the crisis of the education

Re: [racket-users] making a language that can return the body of a function

2017-05-29 Thread Matthias Felleisen
This is totally different technology. See http://www.ccs.neu.edu/racket/pubs/#esop2001-cff > On May 28, 2017, at 11:17 PM, Vityou wrote: > > I just noticed that the stepper for intermediate student with lambda pretty > much does what I want. I guess I can look into that. > > On Sunday, May

Re: [racket-users] Racket for Kids in 2017

2017-05-29 Thread Stephen De Gabrielle
I'm no expert either :) I *am* keen that any kid (like my 12yo son) doesn't end up having a bad experience. I think there is a big difference between the TRS-80 I typed BASIC into and the options kids have now & I'm not sure regular parents who like me, aren't education professionals, can provide

[racket-users] Call for participation: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury

2017-05-29 Thread p.achten
- C A L L F O R P A R T I C I P A T I O N - TFP 2017 === 18th Symposium on Trends in Functional Programming