recentpopularlog in

ianweatherhogg : recursion   64

MonadFix is Time Travel
MonadFix is a pretty difficult concept, and I personally found muchof the existing content about it online to be somewhatunhelpful. I answereda request for a...
nix  fix  monad  recursion 
21 days ago by ianweatherhogg
MonadFix is Time Travel
MonadFix is a pretty difficult concept, and I personally found muchof the existing content about it online to be somewhatunhelpful. I answereda request for a...
monad  fix  haskell  recursion 
august 2017 by ianweatherhogg
Grokking Fix
This post is intended for beginners of functional programming interested in an exploration of laziness, Haskell, and recursion
haskell  fix  identity  recursion  point 
december 2016 by ianweatherhogg
Recursion: Dream Within a Dream - Gustavo Duarte
Recursion is magic, but it suffers from the most awkward introduction in
programming books. They’ll show you a recursive factorial …
c  recursion  stack  memory  cache  5* 
december 2014 by ianweatherhogg
Learn You an Agda - William DeMeo
This is a markdown version of the tutorial
Learn You an Agda and Achieve Enlightenment!
by Liam O’Connor-Davis. I made this version for my own …
agda  helloworld  proof  peano  recursion  math  emacs  for  all  5* 
november 2014 by ianweatherhogg
Blog Archive - Gustavo Duarte
Blog Archive 2014 What Does an Idle CPU Do?
Oct 29 2014 posted in Internals, Linux, Software Illustrated When Does Your OS Run?
Oct 28 2014 posted …
c  linux  cpu  architecture  memory  lowlevel  hackage  stack  recursion  tail  call  optimization  5* 
october 2014 by ianweatherhogg
Recursive Type Signatures in Scala - Originate Developer Blog
Have you seen a type signature like this before? 1
trait T[U <: T[U]] If you’re like me, you’ve come across this type signature, and …
recursion  type  class  scala 
june 2014 by ianweatherhogg
spiking the solution — Simulating the Call Stack
Simulating the Call Stack In this post we will write some Scala helper code that allows you to evaluate non-tail recursive functions as if they were tail recursive. This is done behind the scenes...
scala  stack  simulation  recursion  fibonacci  tail  call  optimization  binary  tree  free  monad  5*  overflow 
may 2014 by ianweatherhogg
Trampolining through mutual recursion with Clojure - Jake McCrary
The other day I stumbled across some Clojure code that used mutual recursion. Mutual recursion can be a valuable tool when solving a problem. …
clojure  trampoline  recursion 
july 2013 by ianweatherhogg
toying with TCO in elisp
toying with TCO in elisp - Gist is a simple way to share snippets of text and code with others.
emacs  tail  recursion  lexical  bind  macro  gist  lisp 
may 2013 by ianweatherhogg

Copy this bookmark:





to read