Wow. You're fantastic Matthew, thank you.
> Thanks for delaying this question until the first day that I know the
answer!
No problem. I'm nice like that. ;>
On Wed, Jan 6, 2016 at 2:15 PM, Matthew Flatt wrote:
> Racket is using the too-old version of "libssl.dylib" that is provided
> by the
On Jan 6, 2016, at 2:01 PM, JCG wrote:
>
>> I will say this as the first Racketeer and Typed Racketeer: if you just want
>> to program in an explicitly-statically typed language (possibly with
>> inference), you might wish to broaden your scope of search. There are other
>> expressively type
I’ve used the invocation
scribble --prefix my-prefix.tex
with a file my-prefix.tex
that starts off
\documentclass{book} %% You could use whatever class you need here
\PassOptionsToPackage{usenames,dvipsnames}{color}
...
I’m not sure whether
Racket is using the too-old version of "libssl.dylib" that is provided
by the OS. The too-old version doesn't work with some servers.
For that server, I get the same error in v6.3. It works for me with the
development version of Racket --- but only because I've been working on
this problem (and re
Hi folks,
tl;dr: How do I make HTTPS calls from within Racket?
Background:
I co-write a play-by-post RPG (
https://forums.sufficientvelocity.com/threads/marked-for-death-a-rational-naruto-quest.24481/
-- stop by if you're curious; the barrier to entry is low). The players
all vote to control
There's not currently a simple way to replace "scribble.tex".
Probably you can hack anything by providing an alternate prefix file
(i.e., replacement for "scribble-prefix.tex"). For example, I bet it
would be possible to make the prefix file end with an unfinished
comment, have the comment swallow
Hey all,
I'm currently trying to use a custom tex style file with scribble.
Unfortunately this style file conflicts with the line
"\usepackage[usenames,dvipsnames]{color}" in the "scribble.tex" file
include by the scribble to tex compiler.
Is there any way to tell scribble to use a different "scr
On Wednesday, January 6, 2016 at 11:01:56 AM UTC-8, JCG wrote:
> > I will say this as the first Racketeer and Typed Racketeer: if you just
> > want to program in an explicitly-statically typed language (possibly with
> > inference), you might wish to broaden your scope of search. There are other
Hi Matthew,
The Web server doesn't do any special to prevent or make possible what
you're talking about. Other orthogonal Racket features will help you
though. The key is dynamic-rerequire. A great library for doing stuff
like this the reloadable package:
https://github.com/tonyg/racket-reloadabl
Matthew,
There's a nice package for helping with this here:
https://github.com/tonyg/racket-reloadable/
It's maybe not quite as automatic as having the templates be
dynamically loaded, so probably we should add a way to do that too.
Sam
On Wed, Jan 6, 2016 at 2:32 PM, Matthew Eric Bassett wrot
Hi all,
I often use serve/servlet to launch my webapp. Often from the repl
while I'm developing.
One major annoyance I have, however, is that I cannot easily hot-swap
code. If I change a required dependency I then need to kill the process
(usually re-enter! from the repl to update the changed d
On Tue, 05 Jan 2016 22:50:48 -0600,
Benjamin Greenman wrote:
>
> Sounds great! Two suggestions:
>
> 1. A `raco contract-profile` command to run the main submodule in a
> file.
I agree, that would be a great addidion!
> 2. Make even less output by default -- just the overall runtime &
> by-calle
On Wed, Jan 6, 2016 at 2:01 PM, JCG wrote:
>
> So, two things come to mind, Racket and SBCL because I've used them before,
> and the ML family - Haskell, OCaml, and Scala. Having tried Scala, I like
> the language but the associated environmental baggage appeared heavy and
> brittle from buil
> I will say this as the first Racketeer and Typed Racketeer: if you just want
> to program in an explicitly-statically typed language (possibly with
> inference), you might wish to broaden your scope of search. There are other
> expressively typed languages that come with good libraries. Most
On Wed, Jan 6, 2016 at 12:32 PM, JCG wrote:
>
> One question that concerns me is whether the following statement is correct:
>
> A typed program that does not have conditions based upon type predicates,
> e.g. port? or integer?, should act the same when stripped of its types.
A typed program sho
I alluded to a compilation option to enable/disable types, much in the way of
typed/racket
and
typed/racket/no-check.
In my foray into using Typed Racket, two performance issues persist,
compilation speed and runtime speed of my hybrid code. The reasons why are
clear and the fact that
On Jan 6, 2016, at 12:34 AM, JCG wrote:
> On Tuesday, January 5, 2016 at 2:12:44 PM UTC-5, Matthias Felleisen wrote:
>> Late but I want to record principles and experiences in this thread:
>>
>
>> I don't understand this bullet. Bullet 1 says your code is now completely
>> typed. Our experie
On Jan 5, 2016, at 9:51 PM, Emmanuel Oga wrote:
> On Tuesday, January 5, 2016 at 11:12:44 AM UTC-8, Matthias Felleisen wrote:
>> TR is intended for people who wish to add types retroactively.
>
> Not sure I understand this stance:
>
> * Does this mean if I want to use types proactively, TR is
Hello people,
I've been fumbling around with cyclic dependencies and such and have started
looking at signatures and units. I manage to make the cycles work out in a
couple different ways, but I'm running into trouble when I try to put different
parts in different files the way I want them. As
19 matches
Mail list logo