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

Hi Racketeers, I'd like to try re-implementing a library for experimenting with abstract algebraic structures in Racket (that is groups, fields, rings etc, not algebraic data types like sum or product types). With Racket's strong numeric hierarchy and programmable programming language

Re: [racket-users] Unsafe structs

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 that you have to iterate ‘struct-type-info’ to enumerate the supertypes.

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

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 coopt to express what > I want?" but instead to think "what do I want my programs to look like"

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

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 coopt to express what I want?" but instead to think "what do I want my programs to look like" and then design the language from there, reusing libraries as they seem