you will laugh but...

Nov. 1st, 2019 09:40 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
I just figured out yesterday that yes, Tree[T] is a monad over T. Obvious, but. Same with BinaryTree[T]. Also, BinaryTree[T] does not seem to me applicative.

(My previous attempt to slap together a monad-looking functor were wrong.)  
Tags:
  • Add Memory
  • Share This Entry
This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting
 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi
patryshev.com

June 2025

S M T W T F S
1 2345 6 7
8 9 10 11 121314
15161718 1920 21
222324252627 28
2930     

Most Popular Tags

Active Entries

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 29th, 2025 02:35 pm
Powered by Dreamwidth Studios