To pytanie teoretyczne, ale po wielu latach programowania w tym, co teraz zdaję sobie sprawę, że jest to „normalna” technika imperatywna, wykorzystująca głównie C ++, odkryłem ten inny świat programowania funkcjonalnego, na który przypadkiem natknąłem się podczas przypadkowej nauki...
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 . Dlaczego typ opcji Scala...
Opuściłem pracę (aby przenieść się do innego kraju), gdzie przez większość czasu programowałem w Javascript i Haskell (jakiś python). Bardzo mi się podobało, ponieważ ludzie byli obiektywni, pozytywni, matematyczni, a mimo to zrobili mnóstwo rzeczy. To był naprawdę profesjonalny sklep. Teraz...
Więc robię dość zaangażowany klient javascript / html z dużą ilością wywołań ajax i innych zaangażowań w callback-ism. Zastanawiam się nad wykorzystaniem Fay do tego celu. Jestem świadomy Elm. Próbowałem i podobały mi się elementy FRP. Teraz szukam wiedzieć, czy podobna struktura jest możliwa w...
Zaraz rozpocznę projekt symulacji / modelowania. Wiem już, że OOP służy do tego rodzaju projektów. Jednak badanie Haskella skłoniło mnie do rozważenia zastosowania paradygmatu FP do modelowania układu komponentów. Pozwól mi rozwinąć: Załóżmy, że mam komponent typu A, charakteryzujący się zestawem...
W Haskell funktor typu Functor jest zdefiniowany następująco (patrz np. Wiki Haskell ): class Functor (f :: * -> *) where fmap :: (a -> b) -> f a -> f b O ile mi zrozumieć (proszę mnie poprawić, jeśli się mylę), taki funktor może mieć tylko jako kategoria docelowej kategorii...
Oto prosty problem programistyczny SPOJ: http://www.spoj.com/problems/PROBTRES/ . Zasadniczo zostaniesz poproszony o podanie największego cyklu Collatza dla liczb między i i j. (Cykl Collatz liczby $ n $ to liczba kroków, które ostatecznie można uzyskać z $ n $ do 1.) Szukałem sposobu Haskell,...
(uwaga: zadaję to pytanie, ponieważ dotyczy ono mechaniki pojęciowej, a nie problemu z kodowaniem) Pracowałem nad małym programem, który wykorzystywał sekwencję liczb Fibonacciego w swojej równowadze, ale zauważyłem, że jeśli przekroczyłem pewną liczbę, robi się to boleśnie powolne, przeglądając...
Tak jak papka, jak FP, w końcu wszystkie nasze programy mają strukturę. Oznacza to, że nie ma znaczenia, jak czyste lub funkcjonalne je wykonujemy - zawsze są tłumaczone na asembler, więc to, co faktycznie działa za maskami, to instrukcje, stany i pętle. Naśladujemy FP. Jako noob sprzętowy moje...
Uczę się programowania funkcjonalnego w Haskell . W międzyczasie studiuję teorię automatów, a ponieważ wydaje się, że obie pasują do siebie, piszę małą bibliotekę do zabawy z automatami. Oto problem, który zmusił mnie do zadania pytania. Badając sposób oceny osiągalności stanu, wpadłem na pomysł,...
Czy można użyć typów statycznych lub zależnych, aby udowodnić, że funkcja jest idempotentna? Przeszukałem Google i różne miejsca na StackOverflow / StackExchange w celu znalezienia odpowiedzi bez powodzenia. Najbliżej znalazłem rozmowę o Idrisie:
Wdrażamy bibliotekę kompresji macierzy opartą na zmodyfikowanej dwuwymiarowej składni gramatycznej. Teraz mamy dwa podejścia do naszych typów danych - które będzie lepsze w przypadku użycia pamięci? (chcemy coś skompresować;)). Gramatyki zawierają NonTerminals z dokładnie 4 produkcjami lub...
Intuicja opcjonalnego typu jak Maybe Intto, że albo nie ma żadnego Int (w ten sposób, nie Nothingistnieje), albo że istnieje jakiś Int; coś tam jest. Ma dla mnie sens, że nazywamy konstruktor typu dla przypadku „negatywnego” Nothing, ponieważ oznacza to dokładnie to, że tam nie Intma. Ale po co...
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...
Następująca deklaracja zawiera błąd: type Vec2d = (Float, Float) type Vec3d = (Float, Float, Float) -- Rect x y defines a rectangle spanning from (0,0) to (x,y) data Obj2d = Rect Float Float | Translate Vec2d Obj2d -- Cuboid x y z defines a cuboid spanning from (0,0,0) to (x,y,z) data Obj3d =...
Chcę zdefiniować klasę typów dla obiektów geometrycznych, które można przecinać razem: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies Chodzi o to, aby mieć funkcje przecięcia ogólnego...
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...
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...
Biorąc pod uwagę, że Ruby ma wbudowane dobre funkcje operacji na liście - redukuj, mapuj, zaznaczaj, zbieraj itp. Ma Procs, Blocks i Lambdas i ma ładne wsparcie iteracji ( eachrodzina), czy byłbym złą decyzją projektową, jeśli spróbuję napisać wszystkie moje ruby w jak najbardziej funkcjonalny...
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...