Login
Discover
Waves
Decks
Plus
Login
Signup
otaviomacedo
@otaviomacedo
25
Followers
2
Following
0
Resource Credits
Available
Used
Created
August 23, 2016
RSS Feed
Subscribe
Posts
Blog
Posts
Comments
Communities
Wallet
otaviomacedo
programming
2016-08-24 16:18
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
2016-08-23 15:43
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