Почему синглетоны это хорошо, и как можно приблизиться к зависимым типам на языке их неподдерживающем:
http://www.seas.upenn.edu/~sweirich/papers/haskell12.pdf
И теория и практика этого подхода, расширение FC до FCD (FC with dependent types), сравнение с языками с зав типами прилагается:
https://cs.brynmawr.edu/~rae/papers/2015/thesis/eisenberg-thesis-proposal.pdf
Приятного чтения!
http://www.seas.upenn.edu/~sweirich/papers/haskell12.pdf
И теория и практика этого подхода, расширение FC до FCD (FC with dependent types), сравнение с языками с зав типами прилагается:
https://cs.brynmawr.edu/~rae/papers/2015/thesis/eisenberg-thesis-proposal.pdf
Приятного чтения!
Why singletons are good, and how you can get closer to dependent types in their unsupported language:
http://www.seas.upenn.edu/~sweirich/papers/haskell12.pdf
And the theory and practice of this approach, the extension of FC to FCD (FC with dependent types), a comparison with languages with factory types is attached:
https://cs.brynmawr.edu/~rae/papers/2015/thesis/eisenberg-thesis-proposal.pdf
Enjoy reading!
http://www.seas.upenn.edu/~sweirich/papers/haskell12.pdf
And the theory and practice of this approach, the extension of FC to FCD (FC with dependent types), a comparison with languages with factory types is attached:
https://cs.brynmawr.edu/~rae/papers/2015/thesis/eisenberg-thesis-proposal.pdf
Enjoy reading!
У записи 1 лайков,
0 репостов,
100 просмотров.
0 репостов,
100 просмотров.
Эту запись оставил(а) на своей стене Alexander Vershilov
