Pytania otagowane jako pl.programming-languages

Języki programowania, w szczególności koncentrując się na ich semantyce.

3
Czytnik, pisarz monady
Niech będzie CCC . Niech być bifunctor produkt na . Ponieważ Cat to CCC, możemy curry :( × ) C ( × )CCC(×)(×)(\times)CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B Kategoria funktora ma zwykłą strukturę monoidalną. C⇒CC⇒CC \Rightarrow C Monoid w …
2
Status quo teorii kategorii i monad w teoretycznych badaniach informatycznych?
Tło . Jestem studentem studiów licencjackich, który interesuje się badaniami związanymi z teorią kategorii, monadami i Haskellem, i chcę znaleźć temat do mojej pracy licencjackiej w tej dziedzinie. Spojrzałem na gazetę Eugenio Moggi , „ Pojęcia obliczeń i monad ”, 1991, i jeszcze niewiele z tego rozumiem. Prawdopodobnie będę potrzebować …
3
Czy istnieje jakaś teoria języka programowania opisująca obce interfejsy funkcji (FFI) i powiązania wielu języków?
Czy istnieje jakaś teoria języka programowania opisująca obce interfejsy funkcji (FFI) i powiązania wielu języków? Zadałem kilka problemów związanych z implementacją przepływu stosu , co tutaj nie jest odpowiednie. Ale chciałbym zapytać z widoku tej strony i zobaczyć, co mógłbym stąd uzyskać. Naprawdę doceniam twoją odpowiedź! Dzięki Dave'owi Clarke'owi za …
4
Programowanie wnioskowania o własnym kodzie źródłowym
Inspiracją dla tego pytania jest następujące (niejasne) pytanie: Jakie są podstawy programowania / logiczne podstawy posiadania sztucznej inteligencji, która mogłaby rozumować własny kod źródłowy i go modyfikować? To wcale nie jest rygorystyczne, więc oto moja próba wyciągnięcia z tego konkretnego pytania. Interesują mnie dwie rzeczy: (A) Język programowania P, który …
2
Pełna kompletność a pełna abstrakcja tłumaczenia programu
Wysiłki związane z weryfikacją kompilatora często sprowadzają się do udowodnienia, że ​​kompilator jest w pełni abstrakcyjny: zachowuje i odzwierciedla (kontekstowe) równoważności. Zamiast dostarczania pełnych dowodów abstrakcji, niektóre ostatnie (oparte na kategoriach) prace weryfikacyjne kompilatora Hasegawy [ 1 , 2 ] i Egger i in. glin. [ 3 ] udowodnić pełną …
1
Czy MALL + nieograniczone typy rekurencyjne Turing jest kompletne?
Jeśli spojrzysz na rekurencyjne kombinatory w nierozpisanym rachunku lambda, takie jak kombinator Y lub kombinator omega: ωY==(λx.xx)(λx.xx)λf.(λx.f(xx))(λx.f(xx))ω=(λx.xx)(λx.xx)Y=λf.(λx.f(xx))(λx.f(xx)) \begin{array}{lcl} \omega & = & (\lambda x.\,x\;x)\;(\lambda x.\,x\;x)\\ Y & = & \lambda f.\,(\lambda x.\,f\;(x\;x))\; (\lambda x.\,f\;(x\;x)) \\ \end{array} Oczywiste jest, że wszystkie te kombinatory kończą kopiowanie gdzieś w swojej definicji. Co więcej, …
4
Jedność parametryczna a parametryczność binarna
Ostatnio zainteresowałem się parametrownością po obejrzeniu artykułu LICS Bernardy'ego i Moulina z 2012 r. ( Https://dl.acm.org/citation.cfm?id=2359499 ). W tym artykule internalizują one jednoargumentową parametryczność w systemie czystego typu z typami zależnymi i podpowiadają, w jaki sposób można rozszerzyć konstrukcję na dowolne arie. Wcześniej widziałem tylko parametr binarny. Moje pytanie brzmi: …
1
Utrzymanie porządku na liście w w Czas
Problem z utrzymaniem porządku (lub „utrzymaniem porządku na liście”) polega na obsłudze operacji: singleton: tworzy listę z jednym elementem, zwraca do niej wskaźnik insertAfter: dany wskaźnik do elementu wstawia nowy element po nim, zwracając wskaźnik do nowego elementu delete: dany wskaźnik do elementu usuwa go z listy minPointer: biorąc pod …
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.