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