Programowanie funkcjonalne dla oprogramowania wbudowanego [zamknięte]

Rozmawiałem wczoraj wieczorem z F # i programowaniem funkcjonalnym z przyjacielem, który przyniósł mi interesujące pytanie. Jak zrobiłbyś wbudowane oprogramowanie funkcjonalne? Mam na myśli, że wydaje się to dość naturalne dopasowanie pod względem kodu bezstanowego, ale osadzenie oznacza również bardzo oszczędność pamięci i nie jestem pewien, czy historia jest funkcjonalna pod tym względem.

Wszelkie sugestie dotyczące języków lub pakietów do wbudowania w funkcjonalne?

Forth to doskonały wybór do programowania systemów wbudowanych. Będąc językiem stosowym, można go analizować pod kątem składu funkcji ( programowanie konkatenatywne ). Nie widzę powodu, dla którego taki język o bardziej funkcjonalnych aspektach nie mógłby być również skutecznie wdrożony, ale jak na razie nie istnieje (według mojej wiedzy).

Jedną z opcji jest Erlang . Ze strony wikipedii :

Erlang jest uniwersalnym, współbieżnym, zbierającym śmieci językiem programowania i systemem wykonawczym. Sekwencyjny podzbiór Erlanga jest językiem funkcjonalnym, z dokładną oceną, pojedynczym przypisaniem i dynamicznym pisaniem. W przypadku współbieżności jest to model Actora. Został zaprojektowany przez Ericsson do obsługi aplikacji rozproszonych, odpornych na uszkodzenia, działających w czasie rzeczywistym bez przerw. Obsługuje funkcję wymiany na gorąco, dzięki czemu kod można zmienić bez zatrzymywania systemu.

Podczas gdy wątki są uważane za skomplikowany i podatny na błędy temat w większości języków, Erlang zapewnia funkcje na poziomie językowym do tworzenia procesów i zarządzania nimi w celu uproszczenia programowania współbieżnego. Chociaż w Erlang cała współbieżność jest jawna, procesy komunikują się za pomocą przekazywania wiadomości zamiast wspólnych zmiennych, co eliminuje potrzebę blokowania.

Pierwsza wersja została opracowana przez Joe Armstronga w 1986 roku. 2 Był to pierwotnie zastrzeżony język Ericsson, ale został wydany jako open source w 1998 roku.