Przeczytałem trochę na temat semantyki denotacyjnej (DS) i jestem bardzo zaintrygowany procesem projektowania programów komputerowych, w których typy i funkcje mają silne i wyraźne odwzorowania na matematykę. Czy są jakieś zasoby, które szczegółowo omawiają projektowanie programów opartych na DS?...
Podczas nauki języka Haskell spotkałem się z wieloma samouczkami próbującymi wyjaśnić, czym są monady i dlaczego monady są ważne w Haskell. Każda z nich używała analogii, więc łatwiej byłoby uchwycić sens. Ostatecznie mam 3 różne poglądy na to, czym jest monada: Widok 1: Monada jako...
Jedną z rzeczy, z którą nigdy nie do końca się pogodziłem w Haskell, jest to, w jaki sposób można uzyskać stałe polimorficzne i funkcje, których typu zwrotu nie można określić na podstawie ich typu wejściowego, np. class Foo a where foo::Int -> a Niektóre z powodów, że mi się nie...
Wiem, że jest to bardzo szerokie, dwuznaczne i być może filozoficzne pytanie. Do tego stopnia, że najważniejsze słowo kluczowe w pytaniu - „silny” typ systemu - samo w sobie jest źle zdefiniowane . Pozwól mi więc wyjaśnić, co mam na myśli. Ogólny kontekst pytania W Ruby on Rails budowaliśmy...
Zamknięte. To pytanie jest nie na temat . Obecnie nie przyjmuje odpowiedzi. Chcesz poprawić to pytanie? Zaktualizuj pytanie, aby było tematem dotyczącym wymiany stosów inżynierii oprogramowania. Zamknięte 4 lata temu . Chcę przeczytać o czysto...
Dlaczego Haskell ma wbudowaną funkcję if/then/elsezależną od Booltypu zamiast prostej funkcji bibliotecznej? Jak na przykład if :: Bool -> a -> a -> a if True x _ = x if False _ y =
Języki funkcjonalne z definicji nie powinny utrzymywać zmiennych stanu. Dlaczego zatem Haskell, Clojure i inni udostępniają implementacje programowej pamięci transakcyjnej (STM)? Czy istnieje konflikt między dwoma
Zastanawiałem się, skąd pochodzi słowo „let” używane w Lisp, Clojure i Haskell. Czy ktoś wie, w jakim języku się
Mam pewne doświadczenie w pisaniu małych narzędzi w Haskell i uważam, że korzystanie z nich jest bardzo intuicyjne, szczególnie w przypadku pisania filtrów (używania interact), które przetwarzają standardowe wejście i przesyłają je do standardowego wyjścia. Ostatnio próbowałem użyć jednego takiego...
Czytałem, że Hindley-Milner nie działa z systemami typów, które mają podklasy, i istnieją inne funkcje systemu typów, które również nie działają z nim dobrze. Go ma obecnie bardzo ograniczone wnioskowanie o typach u :=operatora. Ale Go nie ma podklas w tradycyjnym sensie, tylko interfejsy, które...
Pracuję nad nauką języka Haskell i natknąłem się na trzy różne sposoby radzenia sobie z błędami w funkcjach, które piszę: Potrafię po prostu pisać error "Some error message.", co rzuca wyjątek. Mogę zwrócić funkcję Maybe SomeType, w której mogę, ale nie muszę, zwrócić tego, co chciałbym...
Warunki te zostały wymienione na moim kursie uniwersyteckim. Szybkie wyszukiwanie w Google wskazało mi kilka prac uniwersyteckich, ale szukam prostego
Czy istnieją jakieś teoretyczne powody (na przykład, że sprawdzanie typu lub wnioskowanie o typach stałyby się nierozstrzygalne), lub praktyczne (zbyt trudne do prawidłowego wdrożenia)? Obecnie możemy owijać w coś newtypepodobnego newtype Pair a = Pair (a, a) a następnie mieć Pair :: * ->...
Wyjaśniając kombinator Y w kontekście Haskell, zwykle zauważa się, że prosta implementacja nie będzie sprawdzać typu w Haskell ze względu na jego typ rekurencyjny. Na przykład z Rosettacode : The obvious definition of the Y combinator in Haskell canot be used because it contains an infinite...
Niedawno zapoznałem się z przewodnikiem „ Naucz się świetnego dobrego Haskella” i jako praktykę chciałem rozwiązać z nim problem dotyczący projektu Euler 5 , który określa: Jaka jest najmniejsza liczba dodatnia, która jest równomiernie podzielna przez wszystkie liczby od 1 do 20? Postanowiłem...
Przez długi czas byłem programistą Java, ale ostatnio dołączyłem do zespołu Haskell. W świecie Java, jeśli masz duży projekt, w którym pracuje kilka zespołów, powszechnym podejściem jest użycie serwera artefaktów, takiego jak Maven, w celu ułatwienia i przyspieszenia rozwoju. Liczne narzędzia do...
Wiem, że Haskell ma już możliwość parametryzacji typu nad innym typem (podobnie do programowania szablonów w C ++), ale zastanawiam się, czy Haskell może również sparametryzować typ nad wartościami - czy obsługuje typy zależne. W przypadku typów zależnych można uzyskać typ sparametryzowany nad...
Załóżmy, że chcę napisać bibliotekę, która zajmuje się wektorami i macierzami. Czy można upiec wymiary na typy, aby operacje niezgodnych wymiarów generowały błąd w czasie kompilacji? Na przykład chciałbym, aby podpis produktu kropkowego był podobny dotprod :: Num a, VecDim d => Vector a d...
Zamknięte . To pytanie musi być bardziej skoncentrowane . Obecnie nie przyjmuje odpowiedzi. Chcesz poprawić to pytanie? Zaktualizuj pytanie, aby skupiało się na jednym problemie, edytując ten post . Zamknięte 5 lat temu . Istnieje kilka ram sieci dla...
Zablokowana . To pytanie i odpowiedzi są zablokowane, ponieważ pytanie jest nie na temat, ale ma znaczenie historyczne. Obecnie nie akceptuje nowych odpowiedzi ani interakcji. Jestem zaangażowany w nauczaniu matematyki na zajęciach z wymaganiami, takimi jak i