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
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,
>>>
>>> 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
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
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
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
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
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
10 matches
Mail list logo