What we're about
This is a group for people interested in actual computer science, which has only a functional underpinning. Explicit types can make functional programming easier. That means Haskell and secondarily, Ocaml.
Implicit types are OK for very small programs, but harmful for larger programs. Did you realize that types have algebraic properties and are "often" differentiable? You don't have to be good at algebra, tho, it just helps. There is an underlying "reasoning by analogy," the one kind people have been seen to getting smarter at.
Don't get your shirt sleeve caught in the automatic machinery and hang onto your hat!