aruslan | (no subject)

Сижу в четвёртой главе 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)

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

Flat | Top-Level Comments Only

А что за штука такая, этот Grokking Nemerle?

Это учебник по Nemerle для чайников.
А Nemerle - это язык, который скоро станет очень модным.
А вот тут - рассказ про его макросы.

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

Макросы.

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

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

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

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

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

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

Макросы как в лиспе! Это, наверно, язык будущего.
Спасибо!