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

On Sunday, 31 January 2021 at 08:07:27 UTC+11 Jens Axel Søgaard wrote: Den tor. 21. jan. 2021 kl. 05.06 skrev Stuart Hungerford < > stuart.h...@gmail.com>: > >> [...] >> By using the Rust trait system (and later Haskell typeclasses) I could >> create structure traits/typeclasses that don't clash

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

Den tor. 21. jan. 2021 kl. 05.06 skrev Stuart Hungerford < stuart.hungerf...@gmail.com>: > My project is really aimed at supporting self-directed learning of > concepts from abstract algebra. > I was taught many years ago that to really understand something to try > implementing it in a high

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

On Mon, Jan 25, 2021 at 6:52 AM Jens Axel Søgaard wrote: That's a very interesting project. You are so to speak optimizing for > readability. > I immediately get a vision of a SICM-like book, but for algebra instead of > classical mechanics. > > Racket will be a good choice, since macros give

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

Den tor. 21. jan. 2021 kl. 05.06 skrev Stuart Hungerford < stuart.hungerf...@gmail.com>: > On Thursday, 21 January 2021 at 10:22:45 UTC+11 Jens Axel Søgaard wrote: > > > Back to your project - what is the goal of the project? > > Making something like GAP perhaps? > > Do you want your users to

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

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

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

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

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] 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

[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