Pytania otagowane jako haskell

Funkcjonalny język programowania

1
Kompozycja Przykład oprogramowania transakcyjnej pamięci
Jedną z głównych zalet programowej pamięci transakcyjnej, o której zawsze się wspomina, jest kompozycyjność i modułowość. Różne fragmenty można łączyć w celu wytworzenia większych elementów. W programach opartych na blokadach często tak nie jest. Szukam prostego przykładu ilustrującego to faktycznym kodem. Wolałbym przykład w Clojure, ale Haskell też jest w …
11 haskell  clojure  stm 
2
Utrzymanie stanu bez przydziału
Uczę się programowania funkcjonalnego i mam problem ze zrozumieniem, w jaki sposób niektóre konkretne scenariusze są wdrażane bez użycia przypisania. Poniższy prosty problem w zasadzie podsumowuje moje zamieszanie. Napisz program, który odbiera zdarzenia dotyczące zmian w danej strukturze danych i emituje zdarzenia, gdy ta struktura danych osiągnie określony stan. Mam …
1
Konieczność nauki rozszerzenia języka haskell do produkcji
Podstawowy język Haskell jest naprawdę prosty. Pochodząc z tła OO, główną trudnością jest dostosowanie się do czysto funkcjonalnego paradygmatu. Ucząc się „podstawowego” języka Haskell, zawsze brałem pod uwagę rozszerzenia językowe jako zabawki dla osób CS lub eksperymenty dla przyszłych wersji języka (jak from future import ???w Pythonie). Jednak kiedy zacząłem …
10 haskell 
2
Typy w Lisp i Scheme
Widzę teraz, że rakieta ma typy. Na pierwszy rzut oka wydaje się niemal identyczny z pisaniem Haskell. Ale czy CLP Lispa obejmuje niektóre kosmiczne typy Haskell? Tworzenie bardzo ścisłego typu Haskell i obiektu w dowolnym języku OO wydaje się nieco podobne. Po prostu wypiłem trochę pomocy kool Haskell i jestem …
4
STDOUT i jego zanieczyszczenie
Przeczytałem wiele książek i artykułów na temat programowania funkcjonalnego i wciąż wstydzę się, że nie jestem w stanie zrozumieć na pewno niektórych bardzo podstawowych pojęć. Jedną z głównych idei programowania funkcjonalnego jest to, że to samo wejście zawsze powinno generować takie samo wyjście. Dlatego powiedzmy, że zapytanie bazy danych lub …
2
Dlaczego Bounded nie jest podklasą Enum w Haskell
Wygląda na to, że każda instancja Bounded powinna mieć rozsądną implementację Enum. Nie mogę osobiście wymyślić kontrprzykładu, chociaż jeśli ktoś wymyśli taki, który nie jest patologiczny, zrozumiem, dlaczego tak nie jest. Z robienia :ina dwóch typach klas wydaje się, że jedynym wyjątkiem obecnie w standardowej bibliotece są krotki, które są …
1
Architektury komputerowe NIE oparte na macierzach [zamknięte]
Zamknięte . To pytanie musi być bardziej skoncentrowane . Obecnie nie przyjmuje odpowiedzi. Chcesz poprawić to pytanie? Zaktualizuj pytanie, aby skupiało się tylko na jednym problemie, edytując ten post . Zamknięte 4 lata temu . Mówi, że oryginalny artykuł Wadlera o Monadach dla programowania funkcjonalnego (Haskell) Innym pytaniem o długiej …
2
Wnioskowanie typu w Golang / Haskell
Czytałem, że Go nie ma prawdziwego wnioskowania o typie w takim sensie, jak języki funkcjonalne, takie jak ML lub Haskell, ale nie byłem w stanie znaleźć prostego do zrozumienia porównania dwóch wersji. Czy ktoś mógłby wyjaśnić w podstawowych terminach, w jaki sposób wnioskowanie o typie w Go różni się od …
1
Matematyka potrzebna była do zrozumienia teorii stojącej za systemem typów Haskella?
Ostatnio bardzo się zainteresowałem Haskellem. Próbując nauczyć się nowych pojęć (np . Słowo kluczowe forall i monada ST ) i ogólnie systemu typów Haskella, ciągle napotykam pojęcia z teorii kategorii i rachunku lambda . Zastanawiam się więc: Jakie inne gałęzie matematyki są ważne dla silnego zrozumienia systemu typów Haskella? Czy …
2
Magazyn danych w pamięci w Haskell
Chcę wdrożyć magazyn danych w pamięci dla usługi internetowej w Haskell. Chcę uruchamiać transakcje w STMmonadzie. Kiedy google hash table steam Haskell otrzymuję tylko to: Data. BTree. HashTable. STM.nazwa modułu i złożoność sugerują, że jest to zaimplementowane jako drzewo. Myślę, że tablica powinna być bardziej wydajna dla zmiennych tablic mieszających. …
2
Czy kompozycja funkcji Haskell jest przykładem wzorca architektonicznego rur i filtrów
Wzorzec architektoniczny rur i filtrów definiuje się jako łańcuch elementów przetwarzających, ułożonych w taki sposób, że wyjście każdego elementu stanowi wejście następnego . Każdy przykład wydaje się rozważać połączenie międzyprocesowe lub między wątkami realizowane przez pewnego rodzaju bufor współdzielony. Wydaje mi się, że kompozycja funkcji Haskella wykonuje to samo zadanie. …
2
Kto pierwszy ukuł termin funkcja wyższego rzędu i / lub obywatel pierwszej klasy?
Zrozumiałem, że na długo przed Haskell, O'Caml lub LISP funkcje wyższego rzędu były przedmiotem badań akademickich, a w matematyce Schönfinkel (w 1967 r.) I Haskell Curry (w 1968 r.) Stosowali już techniki takie jak curry, ale że było zanim było dostępne w dowolnym języku programowania. Schemat, według Wikipedii , był …
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.