<br><div class="gmail_quote">2010/1/29 Maurício CA:<span dir="ltr"></span><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div id=":1zy" class="ii gt">
Sorry if this looks weird, but do you know of experiences with<br>
functional programming, or "type programming", with C? Using macro<br>
tricks or just good specifications?<br>
</div></blockquote></div><br>This is probably not what you're looking for, but it's related: Single-Assignment C ("Functional Array Programming for High-Performance Computing")<br><br><a href="http://www.sac-home.org/">http://www.sac-home.org/</a><br>
<br>From the website: "SaC is an array programming language predominantly suited for application areas such as numerically intensive applications and signal processing. Its distinctive feature is that it combines high-level program specifications with runtime efficiency similar to that of hand-optimized low-level specifications. Key to the optimization process that facilitates these runtimes is the underlying functional model which also constitutes the basis for implicit parallelization. This makes SaC ideally suited for utilizing the full potential of modern CMP architectures such as multi-cores or the Cell processor."<br>
<br>Regards,<br>Sean<br>