Для тех, кто интересуется #Scala, я тут написал ответ на StackOverflow о том, как сконструировать тип зависимой функции не используя модный shapeless (специально для пуристов).
Суть вопроса вкратце: как написать штуку, которой можно дать натуральное N (в виде типа) и получить (каррированую) функцию от N аргументов (в примере складывающую N целых чисел). Что забавно, человек задал вопрос после того как увидел решение на #Idris.
http://stackoverflow.com/a/35946840/736957
Суть вопроса вкратце: как написать штуку, которой можно дать натуральное N (в виде типа) и получить (каррированую) функцию от N аргументов (в примере складывающую N целых чисел). Что забавно, человек задал вопрос после того как увидел решение на #Idris.
http://stackoverflow.com/a/35946840/736957
For those interested in #Scala, I wrote here a response to StackOverflow on how to construct the type of the dependent function without using a trendy shapeless (especially for purists).
The essence of the question is briefly: how to write a piece, which can be given a natural N (as a type) and get a (curried) function from N arguments (in the example, folding N integers). What is funny, the person asked the question after seeing the solution on #Idris.
http://stackoverflow.com/a/35946840/736957
The essence of the question is briefly: how to write a piece, which can be given a natural N (as a type) and get a (curried) function from N arguments (in the example, folding N integers). What is funny, the person asked the question after seeing the solution on #Idris.
http://stackoverflow.com/a/35946840/736957
У записи 4 лайков,
0 репостов.
0 репостов.
Эту запись оставил(а) на своей стене Лёша Лёша
