kompilierbare (funktionale) Sprachen für .NET

[SebE]

Ja, ich weiß schon, dass Haskell und F# die einzigen funktionalen Sprachen sind, die ich erwähnte.
Ich wollte es aber nicht nur darauf beschrängen - wusste nur nicht, wie man diese Art der "unkonventionellen" (vor allem im Sinne von .NET) Sprachen nennt (also Ruby, Python, auch Smalltalk, ...).

Mein Anliegen ist folgendes:
Ich hab im Studium einen kleinen Einblick in die Sprache Python erhalten (wie schnell man einen Server/Client erstellen kann).

Ich dachte mir, dass ich die verschiedenen Anforderungen (Socket-Verbindung aufbauen, etc) eines SW-Projektes in den dafür geeignetsten Sprachen implementieren könnte.
Und dafür brauch ich natürlich erst einmal die Sprachen, die mir zur Verfügung sethen (könnten).

Zusätzlich wär es super, wenn:
- kostenlos
- in VS integrierbar
- Binaries erstellt werden (mindestens DLL)