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 t
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 sound
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 well
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 incorrectly
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 tha
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 gV
> 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 the
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 a
> 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?
https://
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 R
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 y
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 th
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 inte
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.
>
> Robb
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 compil
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 st
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 arb
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 functi
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 implement
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
> r
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 recipe
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 really
22 matches
Mail list logo
