[racket-users] Cycle in loading. Units, (sub)modules, files...

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

Re: [racket-users] Typed/Untyped cost reduction and experience

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

Re: [racket-users] Typed/Untyped cost reduction and experience

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

Re: [racket-users] typed compilation option again

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

[racket-users] typed compilation option again

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

Re: [racket-users] Typed/Untyped cost reduction and experience

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

Re: [racket-users] HTTPS problem with net/url

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: [racket-users] HTTPS problem with net/url

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

Re: [racket-users] using a different "scribble.tex"

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

Re: [racket-users] hot reloading code and html templates for web app development

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

Re: [racket-users] hot reloading code and html templates for web app development

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:

Re: [racket-users] Typed/Untyped cost reduction and experience

> 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

Re: [racket-users] Typed/Untyped cost reduction and experience

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

Re: [racket-users] Potential Contract Profiler UI Change

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 & >

[racket-users] hot reloading code and html templates for web app development

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

Re: [racket-users] Typed/Untyped cost reduction and experience

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

[racket-users] HTTPS problem with net/url

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

Re: [racket-users] using a different "scribble.tex"

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

[racket-users] using a different "scribble.tex"

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