title: Strict functional language which can be compiled into native code
body: <p>Recently I started looking at functional languages to make some algorithmic parts of my application more reliable. Of course I bumped into Haskell. But it prepared too many surprises  for me with its laziness. Sometimes simple things become very and very slow.</p>
  
  <p>So I'm wondering is there a language I can use to write small algorithms in functional style but without unnecessary laziness which causes more problems then helps.</p>
  
  <p>The program should be compiled into Win32/64 native code (preferably dll) and have comparable performance with C++.</p>