Difference between revisions of "Simple substance"
Jump to navigation
Jump to search
(Created page with "This term comes from the English translation of Monadology of Leibniz. It would be nice to consider it as the building blocks of a primitive language, such as arrows i...") |
|||
Line 1: | Line 1: | ||
This term comes from the English translation of [[Monadology]] of Leibniz. It would be nice to consider it as the building blocks of a primitive language, such as [[arrow]]s in [[Category Theory]]. | This term comes from the English translation of [[Monadology]] of Leibniz. It would be nice to consider it as the building blocks of a primitive language, such as [[arrow]]s in [[Category Theory]]. | ||
<noinclude> | |||
=References= | |||
<references/> | |||
==Related Pages== | |||
{{#ask: | |||
[[Category:Monad]] | |||
|format=category | |||
}} | |||
[[Category:Monad]] | |||
[[Category::單子]] | |||
</noinclude> |
Revision as of 03:16, 5 January 2022
This term comes from the English translation of Monadology of Leibniz. It would be nice to consider it as the building blocks of a primitive language, such as arrows in Category Theory.
References
Related Pages
B
C
D
G
K
L
- Lambda Calculus
- Lectures/"An Introduction to Combinator Compilers and Graph Reduction Machines" by David Graunke
- Lectures/"Functional distributed systems beyond request/response" by Melinda Lu
M
P
P cont.
S
V
- Video/"An Introduction to Combinator Compilers and Graph Reduction Machines" by David Graunke
- Video/"Functional distributed systems beyond request/response" by Melinda Lu
- Video/A monad is a monoid in the category of endofunctors. Whats the problem?
- Video/An Intuitive Introduction to Monads in Under 10 Minutes
- Video/Category Theory for the Working Hacker by Philip Wadler
- Video/Category theory for JavaScript programmers - 27:string diagrams
- Video/Composable application architecture with reasonably priced monads
- Video/Dana S. Scott Lambda Calculus, Then and Now
- Video/Dana S. Scott: Seventy Years Using Fixed Points
- Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 1) - λC 2018
- Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 2) - λC 2018
- Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 3) - λC 2018
- Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 4) - λC 2018
- Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 5) - λC 2018
- Video/Dana Scott & Jeremy Siek - Theory & Models of Lambda Calculus: Typed and Untyped (Part 6) - λC 2018
V cont.
- Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 1 of 5 - λC 2017
- Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 2 of 5 - λC 2017
- Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 3 of 5 - λC 2017
- Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 4 of 5 - λC 2017
- Video/Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 5 of 5 - λC 2017
- Video/Daniel Beskin - Category Theory as a Tool for Thought - Lambda Days 2020
- Video/Daniel Beskin- Category Theory as a Tool for Thought- λC 2019
- Video/Don't fear the Monad
- Video/Foundations of Programming Languages: Typed and Untyped Lambda-Calculus - Paul Downen - OPLSS 2018
- Video/Lambda Calculus - Computerphile
- Video/Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
- Video/Leibniz's Monads Explained
- Video/Monads (Emily Rhiel) 2021 03 21
- Video/Okay but WTF is a MONAD??????
- Video/Prof. Dana Scott - Geometry Without Points
- Video/Steven Syrek - Category Theory for People who Can't be Bothered to Learn It (Part 1) - λC 2018
- ... further results