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

2021-01-21 Thread Stuart Hungerford
On Fri, Jan 22, 2021 at 12:56 AM Hendrik Boom wrote: > [...] > > You might also want to look at the implementations of category theory in Agda. > Agda is a language which unifies execution and correctness proof to some > extent. > > Not that you want to implement catagory theory, but category the

Re: [racket-users] Unsafe structs

2021-01-21 Thread Sam Tobin-Hochstadt
On Wed, Jan 20, 2021 at 5:16 PM Dominik Pantůček wrote: > > 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

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

2021-01-21 Thread Hendrik Boom
On Wed, Jan 20, 2021 at 08:06:45PM -0800, Stuart Hungerford wrote: > 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 F

Re: [racket-users] Unsafe structs

2021-01-21 Thread George Neuner
On 1/20/2021 1:53 AM, Sorawee Porncharoenwase wrote: However, ‘struct-field-info-list’ returns only fields defined by the actual type and does not include fields that were inherited. What I don’t see is any simple way to get at the struct’s inheritance hierarchy —- it seems