haskell
Jak działa ten fragment zaciemnionego kodu Haskella?
Podczas czytania http://uncyclopedia.wikia.com/wiki/Haskell (i ignorując wszystkie "obraźliwe" rzeczy), natknąłem się na na ... zaimportowaniu Data.Function i Control.Applicative), ghci wyświetla listę wszystkich potęg 2.
Jak działa ten fragment kodu?
Co oznacza składnia "Just" w Haskell?
Przeszukałem internet w celu wyjaśnienia, co robi to słowo kluczowe. Każdy samouczek Haskell, na który patrzyłem, zaczyna uży ... em, ale to prawie wszystko, czego udało mi się nauczyć.
Dobre wyjaśnienie tego, co oznacza Just byłoby bardzo mile widziane.
Jaki jest kombinatoryczny odpowiednik logiki intuicjonistycznej?
Niedawno ukończyłem kurs uniwersytecki, który zawierał Haskella i Agda (zależny typowany język programowania funkcyjnego) i z ... jego znaczenia? Np. w:
forall a : Int -> a < 0 -> a + a < a
Czy to samo może być wyrażone bez użycia forall?
Konkretny przykład pokazujący, że monady nie są zamknięte pod kompozycją (z dowodem)?
Powszechnie wiadomo, że funktory aplikacyjne są zamknięte pod składem, ale monady nie. Mam jednak problem ze znalezieniem ko ... aw monad.
Każdy przykład (z dołączonym dowodem) wystarczy; niekoniecznie Szukam dowodu na powyższy przykład w szczególności.
Jak stworzyć wielowariadową funkcję Haskella?
Potrzebuję funkcji, która pobiera dowolną liczbę argumentów (wszystkich tego samego typu), robi coś z nimi, a następnie zwrac ... ja zwraca inną funkcję, która pobiera dokładnie tyle argumentów, ile var zdefiniowanych w funkcji-wydaje się być niemożliwe).
Dlaczego Haskell (czasami) jest określany jako "najlepszy imperatywny język"?
(mam nadzieję, że to pytanie jest na temat-próbowałem szukać odpowiedzi, ale nie znalazłem ostatecznej odpowiedzi. Jeśli okaż ... daje powód, aby uzasadnić, że Haskell jest uważany za najlepszy imperatywny język -- Czy rzeczywiście jest to bardziej żart?
Haskell: Where vs. Let
Jestem nowy w Haskell i jestem bardzo zdezorientowany gdzie vs. Let. Oba wydają się mieć podobny cel. Przeczytałem kilka poró ... yrażenie let jest wyrażeniem, podczas gdy klauzula where nie jest -- jest częścią składni deklaracji funkcji i wyrażeń case.
Guards vs. if-then-else vs. cases in Haskell
Mam trzy funkcje, które znajdują n-ty element listy:
nthElement :: [a] -> Int -> Maybe a
nthElement [] a = Nothing
n ... preferowanymi? A co za tym idzie, jak mielibyście wybrać pomiędzy używaniem strażników, twierdzeń if-then-else i przypadków?
Jak rozpoznać monadyczne wzorce projektowe?
Uczę się Haskella zaczynam rozumieć koncepcję monad i zaczynam używać znanych monad w moim kodzie, ale wciąż mam problemy z p ... ania monadycznego? Jakie jest twoje podejście, kiedy zdajesz sobie sprawę, że jakiś kod byłby lepiej przekształcony w monadę?
Czy ktoś ma jakieś zalecenia dotyczące rozpoczynania pracy w programowaniu funkcjonalnym? [zamknięte]
Szukam jakichś ebooków, które pomogą mi w nauce programowania funkcyjnego. Nie zdecydowałem jeszcze, w jakim języku będę się ... Narodzenie i chcę go załadować przydatnymi materiałami dla mojego niekończącego się dążenia do zostania lepszym programistą.
Biblioteka Haskell do rysowania 2D [zamknięta]
W zasadzie chcę stworzyć okno pełnoekranowe i narysować na nim tekst w różnych kolorach i rozmiarach (a także zaktualizować e ... go pygame w Pythonie i szukam podobnej biblioteki (powinna być dość łatwa w użyciu).
+ 1 jeśli obsługuje również wejście...
Jak mogę odinstalować wersję pakietu Cabal?
Happstack Lite mi się psuje, bo dostaje blaze-html w wersji 0.5 i chce wersji 0.4. Cabal mówi, że obie wersje 0.4.3.4 i 0.5 ... e jest ignorowane. A z zaakceptowaną odpowiedzią Dona Stewarta możesz usunąć dokładnie tę wersję, którą chcesz wyeliminować.
Jak używać fix i jak to działa?
Byłem nieco zdezorientowany dokumentacją fix (chociaż myślę, że rozumiem, co ma teraz zrobić), więc spojrzałem na kod źródłow ... okolwiek przekazane do id daje to samo z powrotem (nie wspominając o tym, że pochłania to nie czas procesora). Co robię źle?
forall w Scali
Jak pokazano poniżej, w Haskell, możliwe jest Przechowywanie w liście wartości z heterogenicznymi typami z pewnymi ograniczen ... [ShowBox]
heteroList = [ShowBox (), ShowBox 5, ShowBox True]
Jak mogę osiągnąć to samo w Scali, najlepiej bez podtypowania?
Porównanie Haskell vs. Prolog [zamknięte]
Jakie problemy lepiej rozwiązać w prologu niż w Haskell? Jakie są główne różnice między tymi dwoma językami?
Edit
Czy istnieje Biblioteka Haskella (rodzaj logicznego solvera), która może naśladować funkcjonalność prologu?
Monady jako dodatki
Czytałem o monadach w teorii kategorii. W jednej z definicji monad używa się pary funkcji pomocniczych. Monada jest definiowa ... rii kategorii, ale nie widziałem żadnego wyjaśnienia Monad Haskella w kategoriach dopełnień funkcyjnych. Ktoś o tym pomyślał?
Dlaczego seq jest zły?
Haskell ma magiczną funkcję o nazwie seq, która pobiera argument dowolnego typu i redukuje go do słaba Głowa normalna forma ... ugerował, że dając seq, rnf, par i podobny typ jak funkcja id, a nie Funkcja const Jak jest teraz, byłby ulepszeniem. Jak to?
Typy wyższe z C++
To pytanie jest dla ludzi, którzy znają zarówno Haskell (lub jakikolwiek inny język funkcjonalny, który obsługuje typy o wyżs ... > *
<A> M<A> pure(A a);
<A, B> M<B> bind(Transformer<A, M<B>> t, M<A> a);
}
Dlaczego leniwa ocena jest przydatna?
Od dawna zastanawiam się, dlaczego leniwa ocena jest przydatna. Jeszcze nikt mi nie wyjaśnił w sposób, który ma sens; w większości kończy się to gotowaniem do "zaufaj mi".
Uwaga: nie mam na myśli memoizacji.
Mieszanie Erlanga i Haskella
Jeśli kupiłeś paradygmat programowania funkcyjnego, są szanse, że spodoba ci się zarówno Erlang, jak i Haskell. Oba mają czy ... John twierdzi, że GC jest powolny i nie przyspieszył tak bardzo, chciałbym być w stanie przeciwstawić się niektórym liczbom.