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...
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,...
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 6 lat temu . Po prostu nie rozumiem,...
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...
Większość składni Haskell ma piękno czystości. Ale składnia rekordu wygląda brzydko. To niewygodne. Czuje coś w rodzaju mieszanki z C. Wymaga przecinka i nawiasów klamrowych. Haskell ma tabulator, separacja liniowa. Wygląda więc zbyt wyczerpująco, niż początkowo wymaga. Dlaczego jest tak...
Trudno powiedzieć, o co tu pytają. To pytanie jest dwuznaczne, niejasne, niepełne, zbyt szerokie lub retoryczne i na obecną formę nie można w rozsądny sposób odpowiedzieć. Aby uzyskać pomoc w wyjaśnieniu tego pytania, aby można je było ponownie otworzyć, odwiedź centrum pomocy ....
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...
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...
Chciałem wypróbować grafikę w Haskell. Z tego, co widziałem, dostępne biblioteki są albo interfejsami do bibliotek C / C ++, albo ich abstrakcją z minimalnymi funkcjami. Biblioteki wysokiego poziomu nie wydają się odpowiadać moim potrzebom, dlatego pozostały mi interfejsy niższego...
W poprzednich pytaniach powiedziano mi, że funkcjonalne języki programowania nie są odpowiednie dla systemów dynamicznych, takich jak silnik fizyki, głównie dlatego, że mutowanie obiektów jest kosztowne. Jak realistyczne jest to stwierdzenie i
Jednym z założeń programowania funkcjonalnego jest stosowanie funkcji czystych. Funkcja Pure to taka, która nie powoduje skutków ubocznych i jest względnie przezroczysta. Gettery nie są referencyjnie przezroczyste - jeśli Setter jest wywoływany między wywołaniami Gettera, wartość zwrotna Gettera...
Zastanawiam się, co lepiej zaprojektować pod kątem użyteczności / konserwacji, a co lepiej, jeśli chodzi o dopasowanie do społeczności. Biorąc pod uwagę model danych: type Name = String data Amount = Out | Some | Enough | Plenty deriving (Show, Eq) data Container = Container Name deriving (Show,...
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...
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...
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...
Zamknięte . To pytanie jest oparte na opiniach . Obecnie nie przyjmuje odpowiedzi. Chcesz poprawić to pytanie? Zaktualizuj pytanie, aby można było na nie odpowiedzieć faktami i cytatami, edytując ten post . Zamknięte 4 lata temu . Jestem głównie...