(no subject)

[aruslan]

Сижу в четвёртой главе Grokking Nemerle.

Пока не очень понял, как делать функцию, принимающую саму себя в качества аргумента.

То есть типа такого:

module test1
{
	public Main() : void
	{
		def test(cc) // cc - это test и есть.
		{
			()
		}
		test(test);
		
		/*
		def fib_(last1,last2,cur,cc)
		{
			if(cur<=0)
				last2
			else
				cc(last2,last2+last1,cur-1,cc)
		}
		def t = fib_(0,1,5,fib_);
		*/
	}
}

Очевидным образом тип - циклический.
Вывести его невозможно, явно указать - тоже.

Видимо, так просто нельзя, и правильнее использовать порождающие функции.

Буду пробовать.


Update: Можно, конечно, вот так:

	def cc_cast = cc :> int * int * int * object -> int;
	cc_cast(last2,last2+last1,cur-1,cc)

Но не с первого же дня такие злобные хаки...

Comments

[octavarium.livejournal.com]

ничего не понял.
зачем это нужно?

[aruslan.livejournal.com]

"это" - это что? :)
Немерле или передача функции ей же самой?
Если передача функции - интересно понять, как оно работает со сложными типами.
Скажем, с рекурсивными.
И как сделать генераторы и комбинаторы.
И как сделать pattern matching на сложных структурах.