language-design

13Ciepło

1Odpowiedz

Compiler błąd o wykres klasa jest nie finitary powodu ekspansywnie rekurencyjnego typu parametru

Z tego kawałka kodu: trait B[T] trait C[T] class A[T] extends B[A[C[T]]] pojawia się następujący błąd: error: class graph is not finitary because type parameter T is expansively recursive cl

scala inheritance compiler-construction types language-design 2011-09-24

---

7Ciepło

1Odpowiedz

Specyfikacja języka podstawowego schematu

Uczę się na mojej drodze do schematu i jestem szczególnie zainteresowany tym, jak język jest skonstruowany. Próbuję znaleźć miły opis podstawowej składni implementacji Scheme. Nie wiem wystarczająco d

syntax lisp scheme language-design 2011-06-29

---

7Ciepło

3Odpowiedz

Dlaczego w klasach statycznych należy zdefiniować metody rozszerzania C#?

Rozumiem, że metody rozszerzania C# muszą być statyczne. Czego nie rozumiem, dlaczego te rozszerzenia nie mogą być zdefiniowane w klasach niestatycznych lub ogólnych? Aktualizacja: Interesuje mnie prz

c# static extension-methods language-design 2011-08-23

---

7Ciepło

1Odpowiedz

Różnice podczas zastępowania odziedziczonych pól konstruktora?

Rozważmy prostą klasę Scala: class A(val d: Int) Czy istnieje różnica w Scala (zarówno w zachowaniu lub wygenerowanego kodu bajtowego) pomiędzy class B(d: Int) extends A(d) i class B(override val

scala inheritance constructor language-design field 2011-07-11

---

11Ciepło

6Odpowiedz

Jakie opcje składni/funkcje języka Scala usunęły z czasem (i dlaczego)?

Tytuł prawie podsumowuje moje pytanie. Deprecjonacja i usunięcie dziedziczenia klasy spraw są całkiem nowe i zastanawiam się, które rzeczy zostały usunięte/znacznie zmienione przed tym. Pamiętam coś o

scala programming-languages syntax language-design language-features 2011-07-25

---

6Ciepło

4Odpowiedz

Ogólne C# pytanie

Następująca klasa ma dwie metody, w których M1 narzeka "nie wszystkie ścieżki kodu zwracają wartość", a M2 nie. Pytanie: W jaki sposób kompilator rozwiązuje M2 w kontekście wartości zwracanej? Jak ins

c# exception-handling language-design 2011-09-13

---

36Ciepło

2Odpowiedz

Promocja danych dla uzależnionych od wyzwań

Po zapoznaniu się z ghc 7.4. przedpremierowe notatki i dokument Giving Haskell a Promotion, nadal jestem zdezorientowany, co faktycznie robisz z promowanymi typami. Na przykład podręcznik GHC podaje n

haskell types language-design dependent-type 2011-12-22

---

19Ciepło

5Odpowiedz

Dlaczego musimy nazwać parametry metody interfejsu?

W języku C# musimy nazwać parametry metody interfejsu. Rozumiem, że nawet jeśli nie musisz, robi tak by pomóc czytelnikowi zrozumieć znaczenie, jednak w niektórych przypadkach to nie jest naprawdę pot

c# interface parameters language-design 2011-12-23

---

6Ciepło

2Odpowiedz

kompilatory + odwołania międzyklasowe: w jaki sposób javac robi to szybko, co kompilatory C++ robią powoli?

enter link description here W jaki sposób kompilator Java może tak szybko rozwiązywać odwołania między klasami, jeśli masz kilka klas, które odnoszą się do siebie nawzajem i używają nawzajem swoich me

java compiler-construction language-design 2012-02-12

---

9Ciepło

2Odpowiedz

Dlaczego nie są argumenty dla symboli File.new zamiast ciągów?

Zastanawiam się, dlaczego ludzie, którzy napisali bibliotekę File postanowili wprowadzić argumenty, które określają tryb otwierania pliku w ciągach zamiast symboli. Na przykład, to jak to jest teraz:

ruby language-design symbols 2011-09-24

---