Gömülü Yazılım için Fonksiyonel Programlama [kapalı]

Kapalı. Bu soru konu dışı . Şu anda cevapları kabul etmiyor.

Bu soruyu geliştirmek ister misiniz? Soruyu Yazılım Mühendisliği Yığın Değişimi için konuyla ilgili olacak şekilde güncelleyin .

5 yıl önce kapalı .

Dün gece bir arkadaşımla F # ve Fonksiyonel Programlamayı tartışıyordum ve bana ilginç bir soru getirdi. Gömülü yazılımı işlevsel olarak nasıl yapardınız? Bu durum, vatansız kod açısından oldukça doğal bir uyum gibi görünüyor, ancak gömülü de bellekle çok tutumlu olmayı gerektiriyor ve bu açıdan işlevsel için hikayeden emin değilim.

İşlevsel gömülü diller veya paketler hakkında herhangi bir öneriniz var mı?

functional-programming embedded-systems

— Onorio Catenacci
kaynak

Bu bağlantı ftp.cs.york.ac.uk/pub/malcolm/thesis.html adresine yardımcı olabilir . Postscript dosyasını indirin ve okuyun.

— Ubermensch

@Ubermensch teşekkürler ama bu bağlantıya erişmeye çalıştığımda bir hata alıyorum.

— Onorio Catenacci

Lütfen bu SO sorusuna bir göz atın . Sorduğunuza çok yakından benziyor gibi görünüyor. Ve bu sayfayı Haskell.Atom ile Arduino programlama ile uğraşan

— Bhargav Bhat

@OnorioCatenacci Bu bağlantı fiili postscript dosyasıdır ftp.cs.york.ac.uk/pub/malcolm/thesis.ps.Z

— Ubermensch

Ayrıca ilginizi çekebilir Büyük boyutlu gerçek zamanlı sistemler için Haskell kullanma: nasıl (eğer?)?

— Mark Booth

Yanıtlar:

Forth , gömülü sistem programlama için mükemmel bir seçimdir. Bir yığın dili olarak, fonksiyon kompozisyonu ( birleştirilmiş programlama ) açısından analiz edilebilir . Daha işlevsel yönlere sahip böyle bir dilin de etkili bir şekilde uygulanamamasının bir nedenini görmüyorum, ancak henüz (bildiklerime göre) böyle bir şey yok.

— Jon Purdy
kaynak

Birleştirici programlama, İşlevsel programlama için çok farklı bir paradigmadır, ancak Haskell işlevsel dil dilinin bazı basitleştirilmiş yönlerini uygulayan işlevsel bir ileri ( eğlence ) vardır .

— Mark Booth

@MarkBooth: Çok farklı değil; Birleştirici programlama (hemen hemen tanım gereği), yüksek dereceli birleştiricilerin yoğun bir şekilde kullanılmasını sağlar ve birçok fonksiyonel kavram, doğrudan birleştirici koda dönüşür.

— Jon Purdy

Bir seçenek Erlang . Gönderen wikipedia sayfası :

Erlang , genel amaçlı eşzamanlı, çöp toplamalı programlama dili ve çalışma zamanı sistemidir. Erlang'ın ardışık alt kümesi, katı değerlendirme, tekli atama ve dinamik yazarak işlevsel bir dildir. Eşzamanlılık için Aktör modelini takip eder. Ericsson tarafından dağıtılmış, hataya dayanıklı, yumuşak gerçek zamanlı, kesintisiz uygulamaları desteklemek üzere tasarlanmıştır. Çalışırken değiştirmeyi destekler, böylece kod bir sistemi durdurmadan değiştirilebilir.

İş parçacıkları birçok dilde karmaşık ve hataya açık bir konu olarak kabul edilirken, Erlang eşzamanlı programlamayı basitleştirmek amacıyla süreçler oluşturmak ve yönetmek için dil düzeyinde özellikler sunar. Erlang'da tüm eşzamanlılık açık olmasına rağmen, işlemler paylaşılan değişkenler yerine mesaj geçişi kullanarak iletişim kurar ve bu da kilit ihtiyacını ortadan kaldırır.

İlk sürüm 1986 yılında Joe Armstrong tarafından geliştirildi. 2 Orijinal olarak Ericsson içinde tescilli bir dildi, ancak 1998 yılında açık kaynak olarak piyasaya sürüldü.

— Mark Booth
kaynak