[racket-users] Polished 3D package for some simulations

2021-04-07 Thread nate
Hello. I am exploring some physics ideas and I was thinking about making some 3D simulations to flesh out some of my ideas and to demonstrate them to others. Are there any polished packages for doing 3d stuff in racket? I looked just briefly a while back and didn’t have much luck. I think I foun

Re: [racket-users] Running user-supplied code in a place

2021-04-07 Thread David Storrs
Thanks, George. This helped a lot. On Wed, Apr 7, 2021 at 9:03 PM George Neuner wrote: > > > On 4/7/2021 5:34 PM, David Storrs wrote: > > I'm trying to expand a task manager to optionally use places and I'm > > having some trouble understanding the issue. > > > > ; test.rkt > > #lang racket > >

Re: [racket-users] Werid contract violation blame erros

2021-04-07 Thread Alex Harsányi
I think "define/contract" protects a function from other incorrect calls from the same module. So your "define/provide/contract" is not really "define/contract" + "provide". Here is an example illustrating the problem, where the call to "bar" correctly reports the contract violation, but the

Re: [racket-users] Running user-supplied code in a place

2021-04-07 Thread George Neuner
On 4/7/2021 5:34 PM, David Storrs wrote: I'm trying to expand a task manager to optionally use places and I'm having some trouble understanding the issue. ; test.rkt #lang racket (provide start) (define (start thnk) (sync (place ch (place-channel-put ch (thnk) ; x.rkt #lang racket (r

Re: [racket-users] Werid contract violation blame erros

2021-04-07 Thread Robby Findler
The idea is that a contract violation is not merely telling you "oh, someone said that you should get an integer? here and you didn't." That is what an assert macro might do. But contracts offer more. Contracts are also giving you information to help you hone in on where the error actually is in y

Re: [racket-users] Werid contract violation blame erros

2021-04-07 Thread Raoul Duke
Clueless newb here. Wait, why can't we have both? As a joe programmer on the street I would want the blame to be on b.rkt, and also on any function calling f() incorrectly from inside a.rkt. Reading this thread it sounds to me like that's not easily available? On Wed, Apr 7, 2021 at 4:22 PM Robby

Re: [racket-users] Werid contract violation blame erros

2021-04-07 Thread Robby Findler
No, I don't think it is a bad move if that's your goal! (I usually work at the file-level granularity but different code calls for different things.) I inferred from epi's message that that wasn't what was going on (perhaps incorrectly). Robby On Wed, Apr 7, 2021 at 4:37 PM David Storrs wrote:

Re: [racket-users] Re: Executable file size and raco demod

2021-04-07 Thread Matthew Flatt
At Wed, 7 Apr 2021 14:08:00 -0700 (PDT), Dexter Lagan wrote: > One last thing, I noticed that a small window appears top-left corner of > the screen before the full DrRacket window opens since 8.0.0.1x : That window's full title turns out to be "Recompiling quickscripts...". It's shown and hidden

Re: [racket-users] Re: Executable file size and raco demod

2021-04-07 Thread Philip McGrath
On Tue, Apr 6, 2021 at 7:54 PM Matthew Flatt wrote: > In the cross-compilation path that the release builds use, there was an > unintended layer of compression. (I noticed the size difference before, > but had not yet investigated.) Checking that again, if the extra layer > is used, the 10% or so

Re: [racket-users] Werid contract violation blame erros

2021-04-07 Thread David Storrs
I've always liked define/contract because it guarantees the safety of the function from erroneous calls by other functions in the module, which helps with debugging and testing. It sounds like you think that's a bad move? On Wed, Apr 7, 2021 at 4:35 PM Robby Findler wrote: > > The short answer:

[racket-users] Running user-supplied code in a place

2021-04-07 Thread David Storrs
I'm trying to expand a task manager to optionally use places and I'm having some trouble understanding the issue. ; test.rkt #lang racket (provide start) (define (start thnk) (sync (place ch (place-channel-put ch (thnk) ; x.rkt #lang racket (require "test.rkt") (start (thunk 'ok)) Result

Re: [racket-users] Re: Executable file size and raco demod

2021-04-07 Thread Dexter Lagan
Also, I caught a seg-fault yesterday, after having left a DrRacket 7.9 BC open for a couple of days on a basic servlet. I'll see if happens again with 8.0.0.x while I use it. Dex On Wednesday, April 7, 2021 at 11:08:00 PM UTC+2 Dexter Lagan wrote: > I updated window.rkt, and it fixed the s

Re: [racket-users] Re: Executable file size and raco demod

2021-04-07 Thread Dexter Lagan
I updated window.rkt, and it fixed the scrolling problem. It's exactly as it was with 7.9. Thanks! One last thing, I noticed that a small window appears top-left corner of the screen before the full DrRacket window opens since 8.0.0.1x : [image: small-window.PNG] I had trouble capturing it, a

Re: [racket-users] Werid contract violation blame erros

2021-04-07 Thread Dominik Pantůček
It is worth noting that it is relatively easy to implement a define/provide/contract syntax without any problems. In my two most active projects I use it extensively. In one case even with scribble/srcdoc to keep the contracts, scribblings and implementation in one place. The simplest version: (d

Re: [racket-users] Werid contract violation blame erros

2021-04-07 Thread Robby Findler
The short answer: you probably should use (provide (contract-out)) instead of define/contract. The slightly longer answer: when you write a contract, you are not just describing what the legal inputs and outputs are, you are also establishing a *boundary* between two regions of code. In the ca

[racket-users] Werid contract violation blame erros

2021-04-07 Thread epi via Racket Users
Hello Racket users, I am trying to understand a contract violation message that I am getting. Here is the file a.rkt: #lang racket (provide f) (define/contract (f a) (-> boolean? any/c) '()) and this is b.rkt: #lang racket (require "a.rkt") (f 3) I would ex

[racket-users] Judgement not holding

2021-04-07 Thread Beatriz Moreira
Hello, I'm trying to write a side condition to a function, where it checks if a is in an environment ß. I tried this judgement by adding (judgment-holds (anotin (ß-v ...) a #f)) at the end of the function but it is not working :( Thank you! --Beatriz (define-judgment-form Flint #:mode (anotin

[racket-users] Status of Prob. Programming Libraries in Racket?

2021-04-07 Thread Britt Anderson
I am new to Racket and I am trying to get an update on probabilistic programming in Racket. Both *drbayes* and *gamble *seem to have gone many years without an update and when I do a *raco pkg install *they both show errors. I think gamble's errors are mostly just documentation at the moment,

Re: [racket-users] Re: Executable file size and raco demod

2021-04-07 Thread Dexter Lagan
Thanks for the info, I'll try updating window.rkt and report back. What surprises me is that scrolling by keeping the mouse button down while hovering on the scrollbar is fast and smooth, while using a two-finger gesture is erratic and choppy (on top of the direction-change delay). I wonder if