Skip to content
Navigation menu
Search
Powered by
Search
Algolia
Search
Log in
Create account
DEV Community
Close
Functional fundamentals Series' Articles
Back to DrBearhands's Series
Types as propositions, programs as proofs
DrBearhands
DrBearhands
DrBearhands
Follow
Nov 15 '18
Types as propositions, programs as proofs
#
functional
#
math
#
logic
40
reactions
Comments
7
comments
7 min read
Functional program boundaries
DrBearhands
DrBearhands
DrBearhands
Follow
Dec 13 '18
Functional program boundaries
#
functional
10
reactions
Comments
3
comments
2 min read
Pure vs impure FP
DrBearhands
DrBearhands
DrBearhands
Follow
Feb 15 '19
Pure vs impure FP
#
functional
10
reactions
Comments
Add Comment
2 min read
Lazy, eager and greedy evaluation
DrBearhands
DrBearhands
DrBearhands
Follow
Feb 21 '19
Lazy, eager and greedy evaluation
#
functional
8
reactions
Comments
9
comments
3 min read
Ending the series
DrBearhands
DrBearhands
DrBearhands
Follow
Feb 24 '19
Ending the series
9
reactions
Comments
4
comments
1 min read
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account