Re: [racket-users] Experiences with Racket on RISC-V?

2019-01-07 Thread 'Paulo Matos' via Racket Users
On 07/01/2019 22:38, Andrei Formiga wrote: > Sorry to slightly hijack the thread here, but what would be a good > RISC-V dev board to experiment with Racket on it? I have the HiFive Unleashed which I recommend: https://www.sifive.com/boards/hifive-unleashed -- Paulo Matos -- You received

Re: [racket-users] triggering servlet on GET parameters

2019-01-07 Thread Jesse Alama
On 7 Jan 2019, at 0:16, Matthew Butterick wrote: Don't know if it would be an instructive example, but the Pollen project server [1], though not intended for production use, is a self-contained HTTP server that handles dynamic generation of HTML (it even works with Scribble files), which

Re: [racket-users] Re: Functional augmenting

2019-01-07 Thread Neil Van Dyke
David Thrane Christiansen wrote on 1/7/19 6:02 PM: A quick grep of the source makes it look like there's at least some support for these. But the docs are certainly less easy to navigate than Scribble docs! The developer of Swindle, Eli Barzilay, was one of the developers of Scribble, as

Re: [racket-users] Re: Functional augmenting

2019-01-07 Thread Neil Van Dyke
George Neuner wrote on 1/7/19 4:49 PM: Though I mostly agree with you, your "advice" does have its uses: http://www.gigamonkeys.com/book/object-reorientation-generic-functions.html     in particular see the sections on method combinations. Thank you; I should've looked it up before

Re: [racket-users] Matching against alpha-equivalence classes in Redex?

2019-01-07 Thread Robby Findler
The true expert on this is, of course, Paul (now cc'd) but I think that the short answer is that you cannot have two different binding occurrences that are the same variable. That's just not how things work. :( In this case, I think you can probably just substitute in for the variable, tho, in

[racket-users] Matching against alpha-equivalence classes in Redex?

2019-01-07 Thread Joey Eremondi
I'm modelling dependent types in redex, and I've got a rule that looks like this: [ (WellFormed (EnvExt x gU Gamma)) (Check (EnvExt x gU Gamma) gu gV) --- "CheckLamPi" (Check Gamma (CanonicalLam x gu) (CanonicalPi x gU

Re: [racket-users] Re: Functional augmenting

2019-01-07 Thread David Thrane Christiansen
> Swindle/CLOS does implement generic functions, but I'm not aware that it > also implements the before / after / around methods that we have been > talking about. But then, it does so much I may just have missed > something ... its documentation can be tough to read at times. A quick grep of

Re: [racket-users] Re: Functional augmenting

2019-01-07 Thread George Neuner
On 1/7/2019 5:32 PM, David Thrane Christiansen wrote: > The basic generics machinery isn't terribly hard to implement inside a > compiler. I'm not sure though how I would do it on top of Racket. I'm > sure I could hack up some ugly macros that would work, but it seems like > it needs to be

Re: [racket-users] Re: Functional augmenting

2019-01-07 Thread David Thrane Christiansen
> The basic generics machinery isn't terribly hard to implement inside a > compiler. I'm not sure though how I would do it on top of Racket. I'm > sure I could hack up some ugly macros that would work, but it seems like > it needs to be a language to be done right. What about Swindle?

Re: [racket-users] Experiences with Racket on RISC-V?

2019-01-07 Thread Neil Van Dyke
These are pretty new, and the prices are higher than other ISAs with economies-of-scale and mostly long-amortized development costs (and there's perhaps no loss-leaders or dumping for market share or lock-in, like we sometimes see in industry). The HiFive1 is more like a $60 Arduino or maybe

Re: [racket-users] Re: Functional augmenting

2019-01-07 Thread George Neuner
On 1/7/2019 2:23 PM, Neil Van Dyke wrote: George Neuner wrote on 1/7/19 1:12 PM: Your examples look a lot like what is possible using Lisp's generic functions: specifically "before", "after" and "around" functions. Before/after/around are what I call "advice".  Advice is a lifesaver when

Re: [racket-users] Experiences with Racket on RISC-V?

2019-01-07 Thread Andrei Formiga
Sorry to slightly hijack the thread here, but what would be a good RISC-V dev board to experiment with Racket on it? On Mon, Jan 7, 2019 at 3:19 PM David Thrane Christiansen < da...@davidchristiansen.dk> wrote: > Den man. 7. jan. 2019 kl. 01.45 skrev Paulo Matos : > > I don't really understand

Re: [racket-users] Re: Functional augmenting

2019-01-07 Thread Neil Van Dyke
George Neuner wrote on 1/7/19 1:12 PM: Your examples look a lot like what is possible using Lisp's generic functions: specifically "before", "after" and "around" functions. Before/after/around are what I call "advice".  Advice is a lifesaver when you need it and there's no good documented

Re: [racket-users] Debugging Judgements in Redex?

2019-01-07 Thread Joey Eremondi
Perfect, that did the trick, thanks! On Wednesday, January 2, 2019 at 7:52:40 PM UTC-8, Robby Findler wrote: > > Did you try using `current-traced-metafunctions` ? It is poorly named, > I know. And, even worse, I see that the docs don't actually say that > it traces judgment forms too. > >

Re: [racket-users] Experiences with Racket on RISC-V?

2019-01-07 Thread David Thrane Christiansen
Den man. 7. jan. 2019 kl. 01.45 skrev Paulo Matos : > I don't really understand the risky bet comment. What's a risky bet? To > use Racket on RISC-V for production? Well, yes, it doesn't run yet. > RacketCS doesn't compile because the RISC-V backend for Chez is not > finished, Racket doesn't

Re: [racket-users] Re: Functional augmenting

2019-01-07 Thread David Storrs
On Mon, Jan 7, 2019 at 1:12 PM George Neuner wrote: > Hi David, > > On 1/7/2019 12:57 PM, David Storrs wrote: > > I haven't worked with Racket's generics before, but a quick skim through > the documentation suggests that no, that's not it. Racket generics appear > to relate to collections and

Re: [racket-users] Re: Functional augmenting

2019-01-07 Thread George Neuner
Hi David, On 1/7/2019 12:57 PM, David Storrs wrote: I haven't worked with Racket's generics before, but a quick skim through the documentation suggests that no, that's not it.  Racket generics appear to relate to collections and structs, whereas I was looking for something that operates on

Re: [racket-users] Re: Functional augmenting

2019-01-07 Thread David Storrs
On Sun, Jan 6, 2019 at 4:28 PM George Neuner wrote: > On Fri, 4 Jan 2019 13:30:43 -0500, David Storrs > wrote: > > >Racket's OO system has the 'augment' family of functionality that allows > >you to change how a function works. I'm wondering if there's a way to do > >something similar in

Re: [racket-users] Functional augmenting

2019-01-07 Thread David Storrs
Thank you, Philip. This is helpful. On Fri, Jan 4, 2019 at 9:04 PM Philip McGrath wrote: > I can't think of "something similar in functional Racket" (of course you > can write purely functional programs with racket/class, but I know what you > mean). I think it would be fairly easy to

Re: [racket-users] triggering servlet on GET parameters

2019-01-07 Thread Jay McCarthy
You can use web-server/servlet and you don't need to use web-server/dispatch if you don't want to. Your design seems good to me. On Sun, Jan 6, 2019 at 10:33 AM Stephen De Gabrielle wrote: > > Thank you Jay and David, > > Your suggestions were good, #:servlet-regexp #rx"" lets me capture the >

Re: [racket-users] Does here any HtDP-y recipe for classic DP algorithm like backPack?

2019-01-07 Thread Matthias Felleisen
I would love to help, but I have only a faint clue as to what this message means: — please use a link that we can access — please send a runnable program — what’s ps1 — what’s ps2 — what’s OOM I am also not quite sure as for your motivation. HtDP is a book for beginners with design

Re: [racket-users] Experiences with Racket on RISC-V?

2019-01-07 Thread 'Paulo Matos' via Racket Users
On 05/01/2019 00:55, David Thrane Christiansen wrote: > Hi Paulo et al, > > Thanks for the info! It sounds like Racket or Racket-on-Chez is a bit > of a risky bet for a RISC-V project with a quick turnaround, but I'll > keep my eyes peeled for the future. > > Thanks again! Hi, I don't