Pytania otagowane jako typing

14
Jak mam wytłumaczyć rodzicom, że uczę się języków programowania?
Obecnie kończę mgr informatyki. Interesuję się językami programowania, szczególnie systemami typu. Zainteresowałem się badaniami w tej dziedzinie i w następnym semestrze rozpocznę doktorat na ten temat. Oto prawdziwe pytanie: jak mogę wyjaśnić, co (chcę) zrobić osobom bez wcześniejszej wiedzy w dziedzinie informatyki lub dziedzin pokrewnych? Tytuł pochodzi od faktów, że …
1
Jakie są główne różnice między polimorfizmem wierszy a podtypami
Często słyszę, że polimorfizm szeregowy jest lepszym podejściem niż podliczanie, ale mam trudności ze znalezieniem czegokolwiek porównującego je szczegółowo. Szczególnie interesuje mnie perspektywa użytkownika systemu. Natrafiłem na ten post na blogu, ale pozostawia mi więcej pytań niż wcześniej. Na przykład twierdzi, że system z podtypami przypisuje jeden typ, podczas gdy …
20 typing 
3
Funkcja ML typu „a ->” b
Nasz profesor poprosił nas o przemyślenie funkcji w OCaml, która ma ten typ 'a -> 'b tj. funkcja jednego argumentu, który może być czymkolwiek, i który może zwrócić coś innego. Myślałem o użyciu raisefunkcji, która ignoruje jej argument: let f x = raise Exit Ale profesor powiedział, że istnieje rozwiązanie, …
1
Wnioskowanie typu na podstawie ograniczeń z danymi algebraicznymi
Pracuję nad językiem genealogicznym ML opartym na wyrażeniach, więc oczywiście wymaga wnioskowania typu> :) Teraz próbuję rozszerzyć oparte na ograniczeniach rozwiązanie problemu wnioskowania typów, oparte na prostej implementacji w EOPL (Friedman i Wand), ale są to eleganckie algebraiczne typy danych. To, co mam do tej pory, działa płynnie; Jeśli wyrażenie …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.