is there any NON-garbage-collected functional programming language? Something suitable for real-time or deterministic timing usage?