Wyniki wyszukiwania dla "lambda-calculus"

3 odpowiedź

Co oznacza „zastępowanie przechwytywania”?

Podczas czytania rachunku Lambda na Wiki natknąłem się na ten terminPrzechwytywanie unikanie podstawień. Czy ktoś może wyjaśnić, co to znaczy, ponieważ nie m...

1 odpowiedź

KOŃCOWY żeton PLIKU z flexem i bizonem (działa tylko bez niego)

OK, to dziwne pytanie, ponieważ to, co tutaj mam, działa tak, jak chcę. To, co robię, to pisanie parsera dla wyrażenia rachunku lambda. Wyrażenie może być je...

6 odpowiedzi

„Jakiej części Hindley-Milner nie rozumiesz?”

I przysięgać kiedyś była na sprzedaż koszulka z nieśmiertelnymi słowami:Jaka częśćczy tynie Rozumiesz?W moim przypadku odpowiedź brzmi ... wszystko!W szczegó...

4 odpowiedź

Jakie są poprawne semantyki zamknięcia na zmiennej pętli? [Zamknięte]

3 odpowiedź

Python: zagnieżdżone lambdy - `s_push: przepełnienie stosu parsera Błąd pamięci`

3 odpowiedź

Czy można to wyrazić w stylu bez punktów?

Biorąc pod uwagę następujące wyrażenie sumujące IEnumerable liczb: