Thanks Stephen, perhaps you can help get the ball rolling again--I had
written to suggest that racketers may want to enter the moralis hackathon
as there are some points of convergence:
- racket seeks to bridge multiple languages, moralis seeks to bridge
multiple blockchains with different smart
Dear all,
I write to apologise for my behaviour.
I inappropriately deleted a post and subsequent discussion from the Racket
Discord.
I believe this community is for all kinds of developers making all kinds of
programs with Racket, and I want everyone to feel welcome to participate in
On Mon, Apr 19, 2021 at 3:19 PM Dominik Pantůček
wrote:
>
> >>>
> >>> However, I would suggest that the right fix here is to use refinement
> >>> types, and specify exactly what you want. Unfortunately, the
> >>> refinement types feature (good intro here:
> >>>
It's a little more complicated than that -- the _constraints_ have to
be linear -- that is, the expressions in the refinements, but the
expressions reasoned about can be more general. However, it doesn't do
very much useful with multiplication by bounded values at the moment.
Sam
On Mon, Apr 19,
On Sat, 17 Apr 2021 05:02:00 -0700 (PDT)
Dan Synek wrote:
> I am trying to implement a variation of define. In order to do that I am
> trying to understand the source of the define macro in racket.
> It calls a function normalize-definition which looks like this:
> (define-values
@Adam What I see with your link is a giant wall of text, It is quite
overwhelming to get greeted by huge correspondence like that.
This thread was simply about helping somebody who wants to find help with
basic racket problems find a place where there are people who can help in
an interactive
IRC + Matrix? I've just been using mIRC, lol
On Tue, 20 Apr 2021 at 04:45, Yury Bulka
wrote:
> Just my 5 cents...
>
> Recently I had to register on a discord "server" to ask a question
> within another community - and the experience was of a high barrier of
> entry. I needed to provide my age,
Just my 5 cents...
Recently I had to register on a discord "server" to ask a question
within another community - and the experience was of a high barrier of
entry. I needed to provide my age, confirm my email, then (that might be
an issue of that particular "server" - I'm not sure) I was forced
I'm not so sure now: https://groups.google.com/g/racket-users/c/SkJAKkQhlgw
On Mon, 19 Apr 2021 at 03:39, Adam Golding wrote:
> seconded
>
> On Sun, 18 Apr 2021 at 14:56, schle...@gmail.com
> wrote:
>
>>
>> The racket discord is managed quite well, I think it should be added to
>> the racket
>> Of course Ben's hint at unsafe-reprovide is something I'd like to
>> investigate.
>
> My hint turned into a PR and merged a few years ago.
> https://github.com/racket/typed-racket/pull/657
>
I read that one yesterday - it does not address the issue fully. I meant
the hint at really
10 matches
Mail list logo
