Pytania otagowane jako type-systems

system typów to zbiór reguł, które przypisują właściwość o nazwie typ do różnych konstrukcji - takich jak zmienne, wyrażenia, funkcje lub moduły - z których składa się program komputerowy.

7
Czy system typów Haskell stanowi przeszkodę w zrozumieniu programowania funkcjonalnego? [Zamknięte]
Studiuję Haskell w celu zrozumienia programowania funkcjonalnego, oczekując, że zastosuję wgląd w innych językach (głównie Groovy, Python, JavaScript). Wybrałem Haskell, ponieważ miałem wrażenie, że jest on bardzo czysto funkcjonalny i nie pozwala na poleganie na stanie. Nie zdecydowałem się uczyć Haskell, ponieważ byłem zainteresowany nawigacją po wyjątkowo sztywnym systemie typów. …
9
Czy są jakieś wzorce projektowe, które są możliwe tylko w dynamicznie pisanych językach, takich jak Python?
Czytałem powiązane pytanie Czy istnieją jakieś wzorce projektowe, które są niepotrzebne w dynamicznych językach, takich jak Python? i pamiętam ten cytat na Wikiquote.org Wspaniałą rzeczą w dynamicznym pisaniu jest to, że pozwala wyrazić wszystko, co jest obliczalne. A systemy typu nie-systemy są zazwyczaj rozstrzygalne i ograniczają cię do podzbioru. Ludzie, …
1
Wnioskowanie typu w Javie 8
Czy wprowadzenie nowej notacji lambda (patrz np. Ten artykuł ) w Javie 8 będzie wymagało pewnego rodzaju wnioskowania typu? Jeśli tak, to w jaki sposób nowy system typów wpłynie na język Java jako całość?
6
Jaki jest kompromis dla wnioskowania o typie?
Wygląda na to, że wszystkie nowe języki programowania lub przynajmniej te, które stały się popularne, korzystają z wnioskowania o typach. Nawet Javascript dostał typy i wnioskowanie o typach przez różne implementacje (Acscript, maszynopis itp.). Wygląda mi to świetnie, ale zastanawiam się, czy są jakieś kompromisy lub dlaczego powiedzmy, że Java …
3
Dobry ogólny system typów
Powszechnie przyjmuje się, że niektóre rodzaje Java zawiodły w ważnych sprawach. Połączenie symboli wieloznacznych i granic spowodowało powstanie poważnie nieczytelnego kodu. Jednak gdy patrzę na inne języki, naprawdę nie mogę znaleźć ogólnego systemu typów, z którego programiści są zadowoleni. Jeśli weźmiemy pod uwagę następujące cele projektowania takiego systemu typów: Zawsze …
7
Czy węgierska notacja stanowi obejście dla języków z niewystarczająco ekspresyjnym pisaniem statycznym? [Zamknięte]
W artykule Erica Lipperta Co słychać w notacji węgierskiej? , twierdzi, że celem notacji węgierskiej (dobrego rodzaju) jest: rozwinąć pojęcie „typu”, tak aby obejmowało informacje semantyczne oprócz informacji o reprezentacji pamięci. Prostym przykładem może być przedrostek zmiennej reprezentującej współrzędną X z „x” i zmiennej reprezentującej współrzędną Y z „y”, niezależnie …
6
Jakie są zastrzeżenia związane z wdrażaniem podstawowych typów (takich jak int) jako klas?
Przy projektowaniu i wykonawczym języka programowania obiektowego, w jakimś jednym punkcie musi dokonać wyboru o realizacji podstawowych typów (jak int, float, doublelub odpowiedników) jako klasy lub czegoś innego. Wyraźnie, języków z rodziny C mają tendencję nie je zdefiniować jako klasy (Java ma specjalnych typów prymitywnych, C # wdraża je jako …
4
Systemy typów: nominalne vs. strukturalne, jawne vs. dorozumiane
Jestem trochę zdezorientowany różnicą między systemami typu nominalnego i strukturalnego. Czy ktoś może wyjaśnić, czym się różnią? Z tego co rozumiem: Nominalna: Kompatybilność typów zależy od nazwy typu. Strukturalny: Kompatybilność typów oparta jest na strukturze typów, np. W C, jeśli 2 zmienne są typami struktur o różnych nazwach, ale o …
6
Jaka jest typowa procedura stosowana, gdy kompilatory sprawdzają statycznie typ „złożone” wyrażenia
Uwaga: Kiedy użyłem „złożonego” w tytule, mam na myśli, że wyrażenie ma wiele operatorów i operandów. Nie to, że samo wyrażenie jest złożone. Niedawno pracowałem nad prostym kompilatorem do zestawu x86-64. Skończyłem główny front kompilatora - leksykon i parser - i jestem teraz w stanie wygenerować abstrakcyjne drzewo syntaktyczne mojego …
1
Czy wnioskowanie Hindley-Milner może działać w języku Go?
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 wyglądają bardzo podobnie do klas …
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.