Re: [racket-users] GitHub API package?

Tony’s as used by Jay —- Matthias > On Apr 7, 2017, at 1:20 AM, 'John Clements' via Racket Users > wrote: > > It looks like pkgn.racket-lang.org has two different GitHub API repos, and > neither of them has been updated since 2015. One is Sam’s, one is from

[racket-users] Announcing Leibniz, a new language in the Racket universe

Now available for your friendly Racket installation: Leibniz, a digital scientific notation What's a digital scientific notation? For those who come from a programming language background, it's a specification language for scientific computing. However, it is designed for use in documents

Re: [racket-users] string-split bug?

You want (string-split ";;" ";" #:trim? #f) not (string-split ";;" ";" #:repeat? #t) On Fri, Apr 7, 2017 at 8:04 AM, Jean-François Trevien wrote: > Hello, > > When i enter the following command: > (string-split ";;" ";" #:repeat? #t) > I expect a list of 3 empty

Re: [racket-users] [Shameless self-promotion] Articles about programming-language theory for working programmers in Racket

FWIW, I found that blog post interesting as a reductio ad absurdum to (indirectly) motivate DSLs. Clearly, if we take a general-purpose language and take away constructs that can (albeit inadequately) express domain concepts (e.g., numbers, structs, etc.), we end up with an unmanageable mess.

Re: [racket-users] [Shameless self-promotion] Articles about programming-language theory for working programmers in Racket

Leandro, Before I say anything else, I really enjoyed your "playing the game with plt redex”. I have encoded many games in Redex (sometimes for fun to show my sons, sometimes to explain “specification” especially “executable specification” to students on Sw Dev courses). So I was very happy

Re: [racket-users] [Shameless self-promotion] Articles about programming-language theory for working programmers in Racket

Yes, that’s how we think. See Manifesto v 2.0. > On Apr 7, 2017, at 5:32 PM, Vincent St-Amour > wrote: > > FWIW, I found that blog post interesting as a reductio ad absurdum to > (indirectly) motivate DSLs. > > Clearly, if we take a general-purpose language