Ммм, видимо заново проходим, вроде с тобой звёздочку разбирали :) А, дошло, вложенности там на уровне кайндов не выходит, т.к. есть уже вложенность на уровне типов. Есть лишь число параметров кайнда. Или снова вру? :) Кстати я правильно понимаю, что типы классов единственный вариант создания кайндов в хаскеле?
no subject
Date: 2008-01-16 09:53 pm (UTC)А, дошло, вложенности там на уровне кайндов не выходит, т.к. есть уже вложенность на уровне типов. Есть лишь число параметров кайнда.
Или снова вру? :)
Кстати я правильно понимаю, что типы классов единственный вариант создания кайндов в хаскеле?