title: Are there any statically-typed functional languages?
body: <p>I'm coming from a statically-typed background and investigating functional programming, but I'm not entirely excited about dynamic typing. I'm curious about what kind of options are out there.</p>
  <p>One answer to start: ActionScript 3 is statically-typed and offers some functional paradigms, though AS3 programs don't often use them.</p>