Chociaż dyskusje dowodzą silnych dowodów na normalizację, komentarz ten kontrastuje „model form normalnych” z „metodami czysto składniowymi”. To sprowadza mnie z powrotem do bardziej podstawowego pytania: czy nadal możemy dokładnie rozróżniać konstrukcje składniowe i semantyczne w obliczu modeli...
Strona „Advanced Scheme: Some Naughty Bits” stanowi: Kontynuacje są potężnym konstruktem sterowania przepływem, z którego można wyprowadzić prawie każdą inną strukturę przepływu sterowania [...]. Myślałem, że Scheme call/cc, związane (*) z operatorem J Petera Landina, może być wykorzystane do...
Dla potwierdzenia poprawności szukam użytecznego pojęcia równoważności programu dla systemów czystego typu (PTS) Barendregta; brakuje tego, dla wystarczającej liczby systemów określonego typu. Moim celem jest po prostu użycie tego pojęcia, a nie badanie go dla samego siebie.≅≅\cong Pojęcie to...
W semantyce języka programowania często słyszy się, że ludzie mówią o znaczeniu i denotacji . Nie wydają się być tacy sami. Jaka jest różnica? Czy ta pierwsza jest związana z semantyką operacyjną, a druga z semantyką denotacyjną?