type-theory

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

8Ciepło

1Odpowiedz

Ikony Tortoisehg nie są wyświetlane

Skopiowałem repozytorium (cały folder) z jednego komputera na drugi i dodałem repozytorium do środowiska roboczego TortoiseHG za pośrednictwem Plik-> Otwórz repozytorium. Wszystko działa poprawnie, z

30Ciepło

3Odpowiedz

Czy są użyteczne aplikacje dla klasy typu Divisible?

Ostatnio pracowałem nad API w Elm, gdzie jeden z głównych typów jest kontrowersyjny. Tak więc, zgłosiłem się dookoła, aby zobaczyć, co można zrobić z rodzajami przeciwwskazań i odkryłem, że the Contra

5Ciepło

1Odpowiedz

Mercurial - zamień normalne repo na nagie repo

zainstalowałem TortoiseHg z Mercurial. Inny programista naszego działu stworzył "normalne" repozytorium hg kilka miesięcy temu. Teraz muszę zmienić to repo na "puste". Czy to możliwe?

7Ciepło

1Odpowiedz

Czy jest to znaczące uogólnienie "skanów" dla arbitralnych ADT?

Zastanawiam się, w jaki sposób można uogólnić scanl na arbitralne ADT. Podejście Prelude ma traktować wszystko jako listę (tj. Foldable) i zastosować scanl w płaskim widoku struktury. Zamiast tego, my

37Ciepło

3Odpowiedz

Co to jest predykatywność?

Mam dość przyzwoitą intuicję co do typów, które Haskell zakazuje jako "niepredukcyjne": mianowicie te, w których forall pojawia się w argumencie do konstruktora typu innego niż ->. Ale co to jest pred

19Ciepło

1Odpowiedz

Jak systematycznie obliczać liczbę mieszkańców danego typu?

Jak systematycznie obliczać liczbę mieszkańców danego typu w Systemie F? Zakładając następujące ograniczenia: Wszyscy mieszkańcy wypowiedzenia, to znaczy bez dna. Wszyscy mieszkańcy nie mają skutków u

8Ciepło

2Odpowiedz

hg pokazuje zmodyfikowane pliki, które są niezmienione, dlaczego tak się dzieje?

Moje pytanie brzmi: co może powodować, że Mercurial wskaże (poprzez "status" lub TortoiseHgWorkbench) pliki jako "zmodyfikowane", gdy pozostaną niezmienione? Oto sytuacja: mam repozytorium lokalne na

5Ciepło

2Odpowiedz

f #: kodowanie parzystych i nieparzystych typów (indukcyjnych)?

Czytałem Practical Foundations for Programming Languages i odkryłem, że interesujące są iteracyjne i symultaniczne definicje. Udało mi się dość łatwo zakodować wzajemnie rekursywną wersję parzystych i

5Ciepło

1Odpowiedz

Jaki jest typ dolny?

W wikipedia, bottom type jest po prostu zdefiniowany jako "typ, który nie ma wartości". Jeśli jednak ten typ pusty jest b, produkt typu (b,b) również nie ma wartości, ale wydaje się inny niż b. Zgadza