haskell
Jakieś Realne Doświadczenia Z Wykorzystaniem Pamięci Transakcyjnej Oprogramowania? [zamknięte]
Wydaje się, że ostatnio wzrosło zainteresowanie frameworkami STM (software transactional memory) i rozszerzeniami języków. C ... sprzecznych informacji na ten temat) czy użyłbyś STM ponownie, czy wolałbyś użyć innej współbieżności abstrakcja jak aktorzy?
Korzystanie z Haskell dla dużych systemów czasu rzeczywistego: jak (jeśli?)?
Byłem ciekaw, czy możliwe jest zastosowanie mocy Haskell do osadzonego realtime world, i w googling znalazłem Atom Pakiet. ... e" - jestem ciekaw, czy jest możliwe zapewnienie, że czas pauzy, gdy główne zadanie nie jest wykonywane jest poniżej 0,5 ms.
Monady z Join () zamiast Bind()
Monady są zwykle wyjaśnione na przemian return i bind. Jednak domyślam się, że można również zaimplementować bind w kategoria ... turn, fmap i join? (Tj. nie wspominając w ogóle o >>=.) Myślę, że może to pomoże mi pogrążyć się w moim głupim mózgu...
Wdrożenie tłumacza języka w Haskell
Chcę zaimplementować imperatywnego tłumacza języka w Haskell (w celach edukacyjnych). Trudno mi jednak stworzyć odpowiednią a ... monad / transformatorów monad / innych technik? itd.
Czy ktoś zna dobre artykuły / referaty/tutoriale / źródła na ten temat?
Dlaczego pisanie kompilatora w języku funkcjonalnym jest łatwiejsze? [zamknięte]
Myślałem nad tym pytaniem bardzo długo, ale naprawdę nie mogłem znaleźć odpowiedzi w Google, jak również podobne pytanie na S ... za tym -- czy narzędzie językowe w języku funkcjonalnym nie jest wolniejsze niż w jakimś języku niskopoziomowym, takim jak C?
Jak grać z kontrolą.Monad.Pisarz w haskell?
Jestem nowy w programowaniu funkcyjnym i ostatnio uczę się w Learn You a Haskell , ale kiedy przeszedłem Ten rozdział , utk ... ny, jak karmić data constructor I get a Writer.
Myślę, że to może być problem związany z wersją I moja wersja ghci to 7.4.1
Czym jest ograniczenie monomorfizmu?
Zastanawiam się, jak kompilator Haskella czasami wnioskuje typy, które są mniej
polimorficzny niż tego się spodziewałem, np. ... us nie jest polimorficzny?
Jest to kanoniczne pytanie o ograniczenie monomorfizmu w Haskell
jak omówiono w meta pytanie.
Unikanie podnoszenia za pomocą transformatorów monad
Mam problem z którym stos transformatorów monad (lub nawet jeden transformator monad) przekracza IO. Wszystko jest dobrze, z ... est naprawdę mieszanych typów? Czy nie byłoby miło, gdyby GHC dorzuciło trochę cukru składniowego (np., <-$ = <- lift)?
Przegląd bibliotek Haskell i ich jakość [zamknięty]
Chcę wykorzystać Haskell w produkcji. Posiada wiele bibliotek, ale nie wszystkie są stabilne, gotowe do użycia i dobrze rozwi ... hould użyj
jest teraz mnóstwo bibliotek Haskella. Co z tym zrobimy?
popularne pakiety Haskell: raport Q2 2010
Dziękuję.
Izomorfizm Curry ' ego-Howarda
Przeszukałem Internet i nie mogę znaleźć żadnych wyjaśnień CHI, które nie przekształcą się gwałtownie w wykład o teorii logik ... jak to zrobić.
To wydaje się mieć sens, ale to nie jest zbyt ciekawe . Więc najwyraźniej musi być w tym coś więcej niż to...
Dobre materiały na temat wykorzystania programowania funkcjonalnego w tworzeniu gier? [zamknięte]
Jestem całkiem nowy w tym paradygmacie programowania funkcyjnego, ale jak na razie go lubię. Ponieważ zajmuję się tworzeniem ... as". Jak powiedziałem wcześniej, jest to oczywiste, ale to, o co pytam, są pewne zasoby na ten temat, jeśli istnieją. Dzięki!
Utrzymanie złożonego stanu w Haskell
Załóżmy, że budujesz dość dużą symulację w Haskell. Istnieje wiele różnych typów jednostek, których atrybuty aktualizują się ... an w innych obiektach bez przenoszenia kilku rzeczy na stosie połączeń. Ale słyszałem, że aktorzy w Haskell są marszczy brwi.
foldl jest rekurencyjny, więc dlaczego foldr działa szybciej niż foldl?
Chciałem przetestować foldl vs foldr. Z tego, co widziałem, powinieneś używać folddl nad foldr, kiedy tylko możesz, ze względ ... e jestem zdezorientowany, dlaczego foldr pokonuje foldl. Czy nie powinien to być oczywisty przypadek, w którym foldl wygrywa?
Jak działa czerpanie w Haskell?
algebraiczne typy danych (ADTs) w Haskell mogą automatycznie stać się instancjami niektórych typeclasse s (jak Show, Eq) p ... riving ogranicza się tylko do pewnych typów? Dlaczego nie mogę napisać własnego typeklasa, który może być / align = "left" /
"type family" vs "data family", w skrócie?
Jestem zdezorientowany, jak wybrać pomiędzy data family i type family. Strona wiki na TypeFamilies {[16] } zawiera wiele szcz ... m to lepiej zrozumieć. Czy istnieje Diagram Venna lub drzewo decyzyjne, które mogę śledzić, aby odróżnić, kiedy użyć którego?
Haskell: Konwersja Int na String
Wiem, że można przekonwertować String na liczbę z read:
Prelude> read "3" :: Int
3
Prelude> read "3" :: Double
3.0
Ale jak pobrać String reprezentację Int wartości?
Jak działa ST monad?
Rozumiem, że monada ST jest czymś w rodzaju młodszego brata IO, który z kolei jest monadą stanu z dodatkiem magii RealWorld. ... na forall)?
Po prostu wyrzucam pomysły i byłbym naprawdę wdzięczny komuś bardziej kompetentnemu niż ja, aby mi to wyjaśnić.
Tekst lub Bajt
Dzień dobry.
Jedyną rzeczą, której teraz nienawidzę w Haskell jest ilość pakietów do pracy z string.
Najpierw użyłem natyw ... o zakodowany i gotowy do użycia, a jego konwersja jest głupotą, ale taka konwersja musi mieć miejsce gdzieś poza htmltoItems.
Jak zrobić projekt Haskell cabal z biblioteki + wykonywalne, które nadal działają z runhaskell / ghci?
Jeśli zadeklarujesz bibliotekę + sekcje wykonywalne w pliku cabal, unikając podwójnej kompilacji biblioteki , umieszczając bi ... cany layout projektu
buduje tylko to, co jest potrzebne raz
pozwala na użycie runhaskell
ma czystą strukturę bez hacki?
Soczewki funkcjonalne
Mógłby mi ktoś wyjaśnić funkcjonalne soczewki? To zaskakująco trudny temat dla google i nie poczyniłem żadnych postępów. Wiem tylko, że zapewniają one podobną funkcjonalność get / set niż w OO.