I've been using Crystal recently, and I have fallen in love with flow-based typing. It gives me the feeling of freedom dynamic types have while still being fully checked. I just wish it had intersection types.