recentpopularlog in


« earlier   
Generic programming of all kinds
Generic programming of all kinds. ~ A. Serrano, V.C. Miraldo. #FunctionalProgramming #Haskell
haskell  FunctionalProgramming 
yesterday by skchrko
The Little Typer | The MIT Press

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
books  FunctionalProgramming  math  programming  tutorial 
2 days ago by jefframnani
dry-rb is a collection of next-generation Ruby libraries
dry-rb helps you write clear, flexible, and more maintainable Ruby code. Each dry-rb gem fulfils a common task, and together they make a powerful platform for any kind of Ruby application.
ruby  functionalprogramming  monad 
8 days ago by andrewsardone

Copy this bookmark:

to read