[erlang] проблемы с pattern matching?

а почему ты посылаешь не экземпляр записи?

>а почему ты посылаешь не экземпляр записи?

Хм... ну может не быть записи, тогда высылается сообщение {norec}.
А вообще, разве не плохой стиль программирования посылать сообщение без атомов, указывающих, что оно содержит?

И да, третья ветвь в норме должна служить для выявления ошибочных сообщений, а если просто посылать запись...

я в эрланге конечно слабо соображаю, но мне кажется посылка сообщения должна выглядеть примерно так:

B ! #rec{}

>я в эрланге конечно слабо соображаю

Ну помолчите тогда, что ли..

Все работает, если пишется отдельно, а в составе большой системы - нет.

Покажи код (несколько строчек) вокруг кода посылки и получения, а то мало ли...

Покажи код (несколько строчек) вокруг кода посылки и получения, а то мало ли...

Мало ли что? %я в стартовом сообщении поменял app на rec, но это не важно... Получатель того сообщения:

...
if (App == noapp) ->
  Buf ! {get_next},
  receive
	{noapp} ->
		NApp = noapp,
		NQnt = 0;
	{app, App} ->
		NApp = App,
		NQnt = ?QUANT;
	A ->
		{app, NApp} = A,
		NQnt = ?QUANT
  end;
true ->
...

Отправитель:

receive
...
	{get_next} ->
	    NQ = Q,
	    if Sz > 0 ->
		    {app, App} = array:get(Sz - 1, Q),
		    Proc ! {app, App},
		    NSz = Sz - 1,
		    NMin = calc_min_force(Q, NSz - 1);
	       true ->
		    Proc ! {noapp},
		    NSz = Sz,
		    NMin = 0	       
	    end;
...
end

Совершенно случайно App не забинден ли уже в момент receive (см if (App == noapp) чуть выше)?

>Совершенно случайно App не забинден ли уже в момент receive (см if (App == noapp) чуть выше)?

Да, именно! Варнингов не было (и не должно), а я что-то не заметил. Спасибо.

Я вот не понимаю, почему сразу пинают платформу, коль вообще не в курсе дел. Erlang --- Ъ-интерпрайз. В таких базовых вещах багов нет. В передачи сообщений, линковке и тп тоже --- нет.

И вообще, нефиг использовать if. Забудь о нем. Раз и навсегда. И код конечно адов. Императивщина так и прет.

>И код конечно адов. Императивщина так и прет.

Спасибо тебе, о мудрый анонимный аналитик. Твоя мудрость настолько мудра, а ум настолько умен, что позволяют тебе судить о сущности программы, не видя ее основного кода. Так позволь же мне, о мудрый всевидящий анонимус, осмелиться просить твоего совета по направлению мыслей моих грешных в православное функциональное русло.

ты не понимаешь простейших вещей, что if/case и вообще все вычисляет значение. И даже из этого куска видно, что ты пишешь на ерланге как на сях

Какой смысл матчить один атом в кортеже?
{get_next} -> ...

почему не просто get_next -> ... ?

>if/case и вообще все вычисляет значение

И что? С чего ты взял, что я этого не понимаю?

>Какой смысл матчить один атом в кортеже?

{get_next} -> ...

почему не просто get_next -> ... ?

А есть принципильная разница?

Как по мне коряво выглядит и не имеет смысла, лишние скобки, хотя дело твое.