In this seminar we talked about loops in Typescript. First, we have seen the different types of loops that exist on languages, focusing on recursive loops, since they are the ones used by Typescript. We talked about their structure and looked at some code examples. Then we have seen how to simulate map, filter and reduce loops at type level, and finally we have done some exercises to put into practice what we have learned.