algebraic-data-types

10Ciepło

3Odpowiedz

reprezentowanie ograniczenia map jako ADT

oto problem zabawki: A (roguelike) 2D mapa składa się z komórek kwadratowych, które każdy mieć istotny (rock lub powietrza). Każda komórka ma cztery granice (N, S, E i W). Każda granica jest dzielona

12Ciepło

2Odpowiedz

Dlaczego potrzebujemy "algebraicznych typów danych"?

Czytałem niektóre wyjaśnienia rodzajów algebraiczne danych: The Algebra of Algebraic Data types I The Algebra of Algebraic Data types II The Algebra of Algebraic Data types III The Algebra of Data, an

9Ciepło

1Odpowiedz

testowanie Równość bez wyraźnego dowodu, że konstruktorzy dane są injective

Czy możliwe jest zdefiniowanie prostego składniowej pojęcia równości (podobny do tego, co GHC może automatycznie czerpać jako przykład Eq dla typu Haskell 98), bez jawnie dowodzi, że każdy konstruktor

8Ciepło

4Odpowiedz

Utwórz konstruktor danych dla częściowo zastosowanego typu w Haskell

Czy jest możliwe utworzenie konstruktora danych dla częściowo zastosowanego typu w Haskell? ghci sesja: Prelude> data Vector a b = Vector {x::a, y::b} Prelude> :t Vector Vector :: a -> b -> Vector a

12Ciepło

2Odpowiedz

Jaka jest różnica między konstruktorami wartości a krotkami?

It's written, że krotki Haskella są po prostu inną składnią dla algebraicznych typów danych. Podobnie są przykłady jak przedefiniować konstruktory wartości za pomocą krotek. Na przykład typ danych Drz

20Ciepło

1Odpowiedz

Najlepszy sposób definiowania typów danych algebraicznych w języku Python?

Wiem, że Python NIE jest Haskellem ani Ocamlem, ale jaki jest najlepszy sposób definiowania algebraicznych typów danych w Pythonie (2 lub 3)? Dzięki!

6Ciepło

1Odpowiedz

Typy i podtypy uporządkowanych w OCaml

Obecnie próbuję wykonać przetwarzanie strony mahjong w OCaml i od samego początku napotykam na coś, co mnie trapi. Podam wam przykłady oparte na kartach, ponieważ nie chcę nikogo mylić z terminologią

5Ciepło

1Odpowiedz

Modelowanie algebraicznych typów danych przy użyciu relacyjnej bazy danych

Załóżmy, że piszesz aplikację w OCaml/F #/SML/Haskell i chcesz zachować dane w relacyjnej bazie danych. Łatwo jest odwzorować typy produktów (rekordy i krotki) na relacje, ale jak odwzorować typy wari

8Ciepło

3Odpowiedz

Symulowanie ADT w Javie

Aplikacja może działać w dwóch trybach - "w czasie rzeczywistym", w której analizuje każdą aktualizację do stanu świata, lub "próbkowaną", gdy patrzy tylko na stan świata co T milisekund . Gdybym pisa

8Ciepło

1Odpowiedz

Jaki jest cel algebraicznych typów danych bez konstruktora?

W Haskell można określić typ danych algebraicznych bez konstruktora: data Henk Ale jaki jest cel takiego typu lub rodzaju (?), Który nie posiada konstruktora?