(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

[justy-tylor.livejournal.com]

Можно поинтересоваться, а что вызвало потребность грокнуть? Что-то никаких особых идей за этим миксом Java(C#)/Pascal/OCaml не наблюдается. Пролистать доки и сложить в архив - имхо, оптимально.

[aruslan.livejournal.com]

Макросы.

[justy-tylor.livejournal.com]

Хм, заценил. Сам когда-то рисовал похожие реализации макросов, возмущаясь лисповской идеей обозначать параметры по месту использования. Подстановки, ветвления, [if] - для preprocessing time, (if) - для compile time... Когда времени было много и делать нехрен. -_-

Эту часть действительно стоит посмотреть более детально. На первый взгляд макросы Nemerle напоминают не только TH/camlp4, но и одновременно что-то вроде opencxx. Есть на подумать.

[aruslan.livejournal.com]

На самом деле - еще и scala.
Причём camlp4 + scala, даже как-то так.
Впрочем, ничего из перечисленного я внимательно не смотрел, так что disclaimer.