Working in Typed Racket, consider a struct like this:
(struct point
([x : Real]
[y : Real]))
Is there a way to express the type of those points whose y field is, say,
0? In other words, I'd like a talk about point structs where x varies
freely, but y is always 0. Obviously, I can make a fu
l.com wrote:
> According to https://docs.racket-lang.org/ts-reference/type-ref.html,
> `Zero` exists.
>
> On Sat, Jan 16, 2021 at 8:14 AM je...@lisp.sh wrote:
>
>> Working in Typed Racket, consider a struct like this:
>>
>> (struct point
>> ([x : Real
Save the date: March 26 & 27
AMATEUR NIGHT FOR RACKETEERS!!
The Racketfest Organizers
Offer a Proud Prelude to
the Next Racketfest
in
GATHER.TOWN!!
A Chance to Show Your Skills,
Hidden Talents, and New Work in
the Racket Programming Language
& Mingle with Your Fellow Racketeers
https://racketf
On Thursday, December 10, 2020 at 3:06:52 PM UTC+1 jay.mc...@gmail.com
wrote:
The expected thing for you to do is to
>
> 1. Create a new account
> 2. Add that new account as an author to the packages
> 3. Remove your old account as an author to the packages
>
> If you want, though, I can do a sea
#lang web-server is brilliant. This #lang is, in my view, a really
excellent example of Racket's take on language-oriented programming. I find
that the performance of continuations is just fine, given my limited use of
them, and after a while you get used to the limitations and just program
aro
Friday and Saturday, March 26 & 27, 2021 is the next edition of Racketfest,
the little Racket conference that could. On the homepage (
https://racketfest.com) you'll see an impressive lineup of 22 (!) talks
from a star-studded array of Racket enthusiasts of all kinds.
This year Racketfest goes o
I'm implementing a tokenizer as a custom input port using
`make-input-port`. My thinking is that `peek-char-or-special` and
`read-char-or-special` will be the primary interface to the tokenizer; port
locations will also be used. In this case, the input port should emitting
characters as well as
Is it possible to make your own byte encoder? Section 4.5.4 of the
reference talks about them and describes the handful of built-in ones. I
don't see a way of making my own byte encoders, though. I'd like to have my
own way of validating bytes and performing replacements, similar to what is
don
or (b)
above. Naturally, I'd prefer not to have to have a private variant of
Racket, and I'd rather not roll my own encoder in C. If there's no other
way, I'll do it. But maybe I'm overlooking something simpler.
On Friday, April 23, 2021 at 7:01:45 AM UTC+2 je...@lisp.
I'm not sure if what I'm seeing is a bug or whether I'm using the package
system incorrectly, but here goes:
I just submitted a package to the package server whose source is a simple
URL. It's not a Git repo accessible via HTTPS; it's a Fossil repo, with a
server running that serves up a plain
Is it possible to change my email address on the package server? It doesn't
appear so, but perhaps I'm missing something. If not, what would be the
recommended way of accomplishing an email change? I can create a new
account, of course. But how to claim ownership of an existing package? Can
one
er 10, 2020 at 6:44:41 AM UTC+1 je...@lisp.sh wrote:
> Is it possible to change my email address on the package server? It
> doesn't appear so, but perhaps I'm missing something. If not, what would be
> the recommended way of accomplishing an email change? I can create a new
>
I'm working on a tokenizer for that involves some level of "self-healing":
if the input port contains an unexpected character, an error token is to be
emitted, but computation isn't over -- we are to continue by substituting
the bad character with a good one, emitting that, too (thereby recoveri
weird continuation stuff like capture
> the part of the continuation since the handler was installed and apply it
> to multiple characters to see if one works (but that would not work well
> with stateful objects like input ports).
>
> Ryan
>
> [*] or argument, if that turns
14 matches
Mail list logo
