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
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
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
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
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
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
> 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
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
> 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?
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
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
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
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
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.
>
>
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
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
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
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
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
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
>
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
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
22 matches
Mail list logo