вникнуть в тайп-левел? или нужно штудировать тапл подробно и без этого никак (хотя там может этого и нету) ?
Чтото читал , вроде понятно на простых примерах, но общей картины нету
сейчас накидаю https://repository.brynmawr.edu/cgi/viewcontent.cgi?referer=&httpsredir=1&article=1009&context=compsci_pubs
https://www.cs.ox.ac.uk/projects/utgp/school/andres.pdf
Обсуждают сегодня