2 Replies - 1712 Views - Last Post: 18 June 2013 - 10:07 AM

#1 macosxnerd101  Icon User is online

  • Self-Trained Economist
  • member icon




Reputation: 10464
  • View blog
  • Posts: 38,783
  • Joined: 27-December 08

[Link] Understanding Algebras and Haskell

Post icon  Posted 12 June 2013 - 10:05 PM

I found this article quite intriguing. It discusses F-Algebras and really hits at the lower-levels of what constitutes an algebra. It's neat that it brings it back to Haskell so nicely. This should hopefully be a fun read for any of the math enthusiasts!

https://www.fpcomple...anding-algebras
Is This A Good Question/Topic? 1
  • +

Replies To: [Link] Understanding Algebras and Haskell

#2 raspinudo  Icon User is offline

  • D.I.C Head
  • member icon

Reputation: 61
  • View blog
  • Posts: 232
  • Joined: 19-September 11

Re: [Link] Understanding Algebras and Haskell

Posted 13 June 2013 - 05:36 PM

Thanks for this!
Was This Post Helpful? 0
  • +
  • -

#3 ishkabible  Icon User is offline

  • spelling expret
  • member icon




Reputation: 1622
  • View blog
  • Posts: 5,709
  • Joined: 03-August 09

Re: [Link] Understanding Algebras and Haskell

Posted 18 June 2013 - 10:07 AM

I'll have to read this! Thanks!

I think I found an error already however:

ExprF a = Const Int
        | Add a a
        | Mul a a

This is not recursive!

this on the other is what I believe he meant

ExprF a = Const Int
        | Add (ExprF a) (ExprF a)
        | Mul (ExprF a) (ExprF a)


edit: lol, nope! He did mean what he wrote. I read the next paragraph!

This post has been edited by ishkabible: 18 June 2013 - 10:10 AM

Was This Post Helpful? 0
  • +
  • -

Page 1 of 1