Pytania otagowane jako functional-programming

1
Wpisz systemy zapobiegające wyciekom pamięci związanym z lenistwem?
Być może głównym źródłem problemów z wydajnością w Haskell jest przypadek, gdy program nieumyślnie tworzy masę nieograniczonej głębokości - powoduje to wyciek pamięci i potencjalne przepełnienie stosu podczas oceny. Klasycznym przykładem jest definiowanie sum = foldr (+) 0w Haskell. Czy są jakieś systemy typów, które statycznie wymuszają brak takich udarów …
3
Czy klasa prymitywnych funkcjonałów rekurencyjnych jest równoważna z klasą funkcji, które płód kończy?
Płód, jeśli o nim nie słyszałeś, możesz przeczytać tutaj . Wykorzystuje system „macierzy wywołań” i „grafów wywołań”, aby znaleźć wszystkie „zachowania rekurencyjne” wywołań rekurencyjnych w funkcji. Pokazanie, że funkcja się kończy, pokazuje, że wszystkie zachowania rekurencyjne wywołań rekurencyjnych wykonanych do funkcji są zgodne z pewnym „porządkiem leksykograficznym”. Jego sprawdzanie zakończenia …
1
Jakie są możliwe implementacje klas typów Haskell i jakie są ich (nie) zalety?
O ile mi wiadomo, funkcja Haskella z ograniczeniami klas typów jest wewnętrznie kompilowana do funkcji z dodatkowymi argumentami, które otrzymują słowniki z niezbędnymi implementacjami poszczególnych klas typów. Czy istnieją inne możliwości kompilowania klas typów? Jeśli tak, jakie są ich (nie) zalety? A jakie kompilatory ich używają?
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.