Comprehension syntax
I continued thinking about collections in SLinks. I did not find the perfect solution yet in spite of discussing it with Jeremy. I checked out P. Buneman's (and others) paper 'Comprehension Syntax' which makes me understand better some things in CPL, but doesn't solve my problem. I also (re-)read P. Wadler's 'Comprehending Monads'. I must admit (maybe I shouldn't say that considering who will read this post) that the monad concept still isn't completely natural for me. I am getting closer to a solution though and hopefully tomorrow I will have a first draft of what I might look like.
I also started to modify my system to accept more base types (integers to start with), and corrected a resistant bug that I hadn't noticed in the typing algorithm.