Re: [racket-users] Moving a Rust/Haskell abstract algebra library to Racket?

On Thursday, 21 January 2021 at 14:49:19 UTC+11 Siddhartha Kasivajhula wrote: Depending on what you're trying to accomplish, you may find the > relation/composition > module > (which I authored) to be of interest. It doesn't

Re: [racket-users] Moving a Rust/Haskell abstract algebra library to Racket?

On Thursday, 21 January 2021 at 10:22:45 UTC+11 Jens Axel Søgaard wrote: Den ons. 20. jan. 2021 kl. 08.43 skrev Stuart Hungerford < > stuart.h...@gmail.com>: > >> On Wednesday, 20 January 2021 at 12:34:59 UTC+11 Robby Findler wrote: >> >> I'm no expert on algebras, but I think the way to work on

Re: [racket-users] Moving a Rust/Haskell abstract algebra library to Racket?

Depending on what you're trying to accomplish, you may find the relation/composition module (which I authored) to be of interest. It doesn't model algebraic structures explicitly but uses them to generalize common composition

Re: [racket-users] Moving a Rust/Haskell abstract algebra library to Racket?

Den ons. 20. jan. 2021 kl. 08.43 skrev Stuart Hungerford < stuart.hungerf...@gmail.com>: > On Wednesday, 20 January 2021 at 12:34:59 UTC+11 Robby Findler wrote: > > I'm no expert on algebras, but I think the way to work on this is not to >> think "what Racket constructs are close that I might

Re: [racket-users] Unsafe structs

Hi Sam, I went through all my notes and prepared minimal (sometimes) working examples for most of the issues I mentioned. Let's go through it one by one. I assume that some of the complications I encountered were because my lack of experience with Typed Racket. I hope some of these examples will