> but its type system is pretty broken

Can you explain this? Thanks!