Login
Discover
Waves
Communities
Login
Signup
otaviomacedo
@otaviomacedo
25
Followers
2
Following
0
Follow
Email digest
Resource Credits
Available
Used
Created
2016-08-23 15:23
RSS Feed
Subscribe
Blog
Blog
Posts
Comments
Communities
Wallet
otaviomacedo
programming
10y
!
Low reputation account with an unverified outbound link, Reveal content
Nested types and function composition
In Scala and other typed functional languages – notably Haskell – monads are structures that allow the programmer to take a sequence of computations, each defined for a certain context, and chain them
$ 0.000
1
2
otaviomacedo
computer-science
10y
!
Low reputation account with an unverified outbound link, Reveal content
From loop invariants to recursion invariants
Until very recently, the major commercial programming languages were based on the idea of update in place. C, C++, Pascal, Java etc presuppose that the way to solve a programming problem is to have procedures
$ 0.000
5
