> On Jan 18, 2019, at 10:22 PM, jackhfi...@gmail.com wrote:
>
>
> - A separation between using lists as homogeneous collections and using lists
> as fixed-size tuples. So there'd be a separate `tuple?` data type that's
> structurally equivalent to a list but meant to be used differently. For
On Thu, 17 Jan 2019 18:08:00 -0800 (PST), Brian Adkins
wrote:
>Aha! Thanks for the quick reply. I'll have to rethink how I'm handling
>logging.
One thing you might try is to use dynamic-wind in your main thread, so
you can cleanly end loggin and shut down your logging thread even if
the main th
On 1/17/2019 11:41 AM, Anthony Carrico wrote:
Weird!
A procedure is a (branching) sequence of instructions.
Non-programmers have an accurate notion of the word from outside of
computer programming in recipes and instruction manuals.
A function maps inputs to outputs.
Non-programmers often u
When it comes to collections and data structures, what would you all like
to see in Racket2? New APIs? Changes to existing APIs? Whole new paradigms?
Something else?
I've got my own wishlist and maybe someday I'll implement a few things on
it as packages, but I'm curious what everyone else thin
I'm wondering, are there any good examples out there of using #:inv with
Redex-judgments? Particularly with asserting that some other judgment holds
on the output.
For example, I've got:
#:contract (SomeJudgment Gamma tt gv gU)
#:inv ,(judgment-holds (SomeOtherJudgment gv gU))
The problem I
Hi,
A couple of days ago I finally noticed the search link for
docs.racket-lang.org #lang module documentation:
http://docs.racket-lang.org/search/index.html?q=H%3A (170!)
I was very pleased to see this because I had no idea how many languages had
been developed.
I recently found #lang pop-pl is
It would be wonderful if someone started such a tutorial for RacketScript so
that we had a driving usecase for the language development — Matthias
> On Jan 18, 2019, at 10:58 AM, Stephen De Gabrielle
> wrote:
>
> Hi,
>
> While looking at an issue with the rendering of the Continue tutoria
Hi all,
I am an absolute beginner in Racket.
I wrote the following function which deals with Cantor pairing function.
(define (EnumTriplet n)
(define inter (Enum n))
(define z (fst inter))
(define result (Enum (snd inter)))
(define x (fst result))
(define y (snd result))
x
;;y
;;z
re: https://github.com/racket/web-server/issues/50
Hi,
I've copied comment on the Continue issue from GitHub because I consider
Continue and important and valuable resource. It is linked from the Racket
home page, I've referred to it many times and continue(Ha!) to do so as I
learn more about bui
Hi,
While looking at an issue with the rendering of the Continue tutorial, I
got to thinking that Continue, as a flagship tutorial for Racket, needs new
sections to cover changes in web development practice, especially
supporting client side web frameworks(angular,Ember,Vue,React) by building
back
Hi,
An opportunity for a PLT-savvy compiler developer. For an ad from
Habana, see below. In short:
Habana is a start-up based in Tel-Aviv, Israel, developing specialised
hardware for deep-learning libraries/APIs/frameworks (TensorFlow,
PyTorch, Cafe2, mxnet, ONNX). They're interested in someone
11 matches
Mail list logo
