In my programming languages course we are reviewing type inference, i didnt get very well how to make this task. I all ready search at the bibliography of my course (PLAI by Shriram krishnamurthi) which actually sucks big cock since he jump lots of steps in the few examples he expose. Does anybody know how to make the type inference of the following function?:(define(for-each f lst)(if (not null? lst     (begin (f car lst for-each f                          (cdr lst)))))
Type inference example?
programming languages;type inference;type checking