programming-languages

7Ciepło

2Odpowiedz

Czy LLVM zapewnia wszelkie możliwości implementacji "zielonych wątków"/lekkich procesów?

Szukam projektowania równoległego języka z obsługą lekkich procesów ("zielonych wątków") w stylu Erlanga przy użyciu LLVM jako natywnego generatora kodu. Lekkie procesy są przydzielane do natywnych wą

16Ciepło

1Odpowiedz

Czy regularne algebraiczne typy danych w języku haskell są odpowiednikami gramatyk bez kontekstu? A co z GADTS?

Składnia algebraicznych typów danych jest bardzo podobna do składni Backus–Naur Form, która jest używana do opisu gramatyk bezkontekstowych. To mnie zastanowiło, jeśli pomyślimy o sprawdzaniu typu Has

7Ciepło

1Odpowiedz

Słowa kluczowe z i bez @ w Swift

W Swift czasami słowa kluczowe są zwykłymi słowami kluczowymi, a niektóre inne zaczynają się od @. Na przykład: weak, unowned, inout, class są proste Ale @final, @lazy zaczyna się od @. Czasami mamy n

5Ciepło

1Odpowiedz

Czy polimorfizm w językach programowania implikuje zależność między podzbiorem powiązanych typów?

Z Programming Languages: Principles and Paradigms, by Maurizio Gabbrielli, Simone Martini De Definition 8,5 systemie typu, w którym ten sam obiekt może mieć więcej niż jeden rodzaj mówi się polimorfic

17Ciepło

1Odpowiedz

Co to jest Axiom K?

Zauważyłem, że dyskusja "Axiom K" pojawia się częściej od czasu HoTT. Uważam, że jest to związane z dopasowywaniem wzorców. Jestem zaskoczony, że nie mogę znaleźć odniesienia w TAPL, ATTAPL lub PFPL.

12Ciepło

2Odpowiedz

Czy można się dowiedzieć, w jakim języku jest napisany plik exe?

Mam plik exe i dekompilowałem go z Ida. Mówiono programowi kodowanemu w Delphi, więc próbowałem dekompilować z DeDe, ale to się nie udało, nie ma wyjścia i błędu. Zastanawiam się, czy można znaleźć ję

11Ciepło

1Odpowiedz

Co to są "rodzaje słownictwa" i ile istnieje?

różnych językach programowania, z jaką się spotkałem podobnego composite types różnymi nazwami: Optional/Maybe Any Variant/Sum Record/Product Ludzie często używają terminu rodzaj słownictwa , Jeszcze

11Ciepło

1Odpowiedz

Dlaczego SML i OCaml są uważane za dialekty ML? Jaka jest definicja ML?

Istnieje wiele dialektów ML, a SML i OCaml są najbardziej popularne. Istnieje wiele różnic między SML i OCaml, ale oba są uważane za dialekty ML. Tak, Dlaczego SML i OCaml są uważane za dialekty ML? W

5Ciepło

2Odpowiedz

Co to jest Tuple? I tuple vs. List vs. Vector?

Czy możesz podać krótki opis Tuple? A kiedy go używać ponad List i Vector?

5Ciepło

1Odpowiedz

Dlaczego nie ma funkcji asin2() i acos2() podobnych do atan2()?

Z mojego rozumienia, funkcja atan2() istnieje w językach programowania, ponieważ sama nie może zawsze określić poprawnego theta, ponieważ wyjście jest ograniczone do -pi/2 do pi/2. Jeśli jest to przyp