>> 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 implemen
3. I don't see any boundaries where you describe -- can you say more?
>>>
>>> Run typed-performance.rkt and see:
>>
>> This might be related to
>> https://github.com/racket/typed-racket/issues/289.
>>
>
> So basically my unsafe-reprovide module should probably use some syntax
> trickery to gen
I was just told this topic is off-topic on the racket discord--clearly an
injustice:
[image: image.png]
On Mon, 19 Apr 2021 at 04:16, Adam Golding wrote:
> Also I just discovered this:
> http://www.michaelburge.us/2017/11/28/write-your-next-ethereum-contract-in-pyramid-scheme.html
>
> On Mon, 1
>>>
>>> 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:
>>> https://blog.racket-lang.org/2017/11/adding-refinement-types.html)
>>> isn't quite able to prove everythi
On Sun, Apr 18, 2021 at 3:05 AM Dominik Pantůček
wrote:
>
> 0. Thank you very much for looking into this.
>
> On 18. 04. 21 4:57, Sam Tobin-Hochstadt wrote:
> > Ok, three parts:
> >
> > 1. Is it possible to make `average` on `Byte` provably produce a
> > `Byte`? This is not going to be possible wi
On Sun, Apr 18, 2021 at 09:05:11AM +0200, Dominik Pantůček wrote:
...
...
>
> I would really like to be able to reason about the Integer bounds (and
> therefore signs) dynamically. So that when you have something like:
>
> (: square (-> Fixnum Nonnegative-Fixnum))
> (define (square x)
> (fx* x
In general, I think the package submission form has no validation. I made the
mistake of putting in a version number (rather than using that field to add a
new version sub-form) and it spat back an empty form. Took me ages to figure
out what I was doing wrong.
On Mon, Apr 19, 2021 at 01:06:22AM
Also I just discovered this:
http://www.michaelburge.us/2017/11/28/write-your-next-ethereum-contract-in-pyramid-scheme.html
On Mon, 19 Apr 2021 at 03:42, Adam Golding wrote:
> Beatri please tell us more and publish to Github :-) It seems to me that
> some racketers should enter the https://mora
Hi folks,
I posted my first package the other day (that eyesore of Cobalt 2 theme).
My repo has a 'main' branch instead of 'master'. pkgs.racket-lang.org
didn't display any error when I clicked on the 'Save Changes' button. It
simply went back to the package list, as if nothing had happened.
Beatri please tell us more and publish to Github :-) It seems to me that
some racketers should enter the https://moralis.io/hackathon/ to make
racket contracts work across other smart contract systems, as this platform
has already done some of the boring leg work, otherwise, how will the idea
of a
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 website so that newcomers can find it easier, just a thought.
>
> Maybe below the link to slack?
>
> --
> You received this message because yo
11 matches
Mail list logo
