Stavo discutendo di F # e della programmazione funzionale con un amico la scorsa notte e mi ha fatto una domanda interessante. Come faresti il software embedded funzionante? Voglio dire, questo mi sembra una scelta abbastanza naturale in termini di codice apolidi, ma incorporata implica anche essere molto parsimoniosa con la memoria e non sono sicuro della storia per essere funzionale a tale riguardo.
Qualche suggerimento su lingue o pacchetti per l'integrazione con funzionalità?
Forth è una scelta eccellente per la programmazione di sistemi embedded. Essendo un linguaggio stack, può essere analizzato in termini di composizione di funzioni ( programmazione concatenativa ). Non vedo alcuna ragione per cui un tale linguaggio con aspetti più funzionali non possa essere implementato in modo efficiente, ma ancora non esiste (a mia conoscenza) tale cosa.
Un'opzione è Erlang . Dalla pagina di Wikipedia :
Erlang is a general-purpose concurrent, garbage-collected programming language and runtime system. The sequential subset of Erlang is a functional language, with strict evaluation, single assignment, and dynamic typing. For concurrency it follows the Actor model. It was designed by Ericsson to support distributed, fault-tolerant, soft-real-time, non-stop applications. It supports hot swapping, so that code can be changed without stopping a system.
While threads are considered to be a complicated and error-prone topic in most languages, Erlang provides language-level features for creating and managing processes with the aim of simplifying concurrent programming. Though all concurrency is explicit in Erlang, processes communicate using message passing instead of shared variables, which removes the need for locks.
The first version was developed by Joe Armstrong in 1986.2 It was originally a proprietary language within Ericsson, but was released as open source in 1998.
Leggi altre domande sui tag embedded-systems functional-programming