Re: [racket-dev] Building Racket 8.2 on Termux/Android

2021-10-19 Thread wesley bitomski
body of get-ffi-obj*. I'll start messing around with linker flags tomorrow. On Tue, Oct 19, 2021, 19:37 Matthew Flatt wrote: > At Tue, 19 Oct 2021 16:25:33 -0700 (PDT), Wesley Bitomski wrote: > > ffi-lib: could not load foreign library > > path: [all opened] > > system e

[racket-dev] Building Racket 8.2 on Termux/Android

2021-10-19 Thread Wesley Bitomski
OK. I'm pretty deep in this rabbithole, but forgive me if I'm skipping some details. I've spent a good portion of yesterday, and a unreasonable chunk of today, trying to build Racket for aarch64 on Android using Termux for the build environment (yes, I'm building this on the target (a phone),

Re: [racket-users] Pattern Matching

2020-09-29 Thread Wesley Bitomski
Hello Beatriz, Is this something like contracts with parameters? That sounds neat, actually. Anyway, this seems more like syntax analysis rather than string matching, but I'm not entirely certain as to what your approach is. I can't access the file you linked. If this _is_ syntax analysis,

[racket-users] Re: Working with JSON using Typed Racket

2020-03-30 Thread Wesley Bitomski
Hello Ed, I generally get some mileage out of using custom predicates (those that are made with define-predicate) and pattern matching when tearing into JSON structures in Typed Racket. Occurrence typing seems to work with if, cond and assert, along with match's predicate matcher (? form).

[racket-users] Re: handin: allow !test/exn/msg?

2016-04-14 Thread Wesley Bitomski
On Wednesday, April 13, 2016 at 4:17:41 PM UTC-4, johnbclements wrote: > Unless I’m misreading docs and source code, there’s currently no handin > utility function that allows checking of the exception message. > > I propose adding !test/exn/msg, that accepts a regexp in addition to its > other

Re: [racket-users] Messing with 2htdp/image & universe, got a weird problem

2016-04-10 Thread wesley bitomski
I had just remembered that I forgotten the attachment. After further messing about, I figured that 100 cars provided the best balance of ridiculousness and smoothness. Enjoy! -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from

Re: [racket-users] Messing with 2htdp/image & universe, got a weird problem

2016-04-10 Thread wesley bitomski
car * cursor * G. What this does is a very unreal animation of cars dancing around the cursor that moves rather naturally. Attached is the final product of that work. Thanks guys for the encouragement! On Sun, Apr 10, 2016 at 1:35 PM 'John Clements' via Racket Users < racket-users@googleg

[racket-users] Messing with 2htdp/image & universe, got a weird problem

2016-04-10 Thread Wesley Bitomski
Attached is some source code I've been playing with. I'm trying to come up with an approximate simulation of gravity between a very massive (but inertia-less) mouse cursor and a handful of semi-massless circles. For a test, I'm only simulating a single body. This world program will render the