Столкнулся в учебнике М.Сухарева "Золотая книга Delphi" в разделе "передача по значению параметров ссылочных типов данных" с примером, который, по-моему, некорректный. Приводится такая процедура:

Но как я нашел в некоторых источниках, определить таким образом параметр невозможно, т.к. при вызове процедуры создается новый тип : ^Double и обратиться к этой процедуре я могу только определив перед этим какой-то тип

И второй момент, относящийся к первому оператору процедуры: как я понимаю до процедуры New() указатель P=nil и, вследствие этого, получается при выполнении оператора P^ := 150; "access violation" (обращение к пустому указателю).
Прав я здесь или нет? Если нет, то в чем?  

А самому проверить не вариант? Это же 2 секунды.

Да у меня как раз получается так, как я описываю. Просто, если это описывается в учебнике, может есть какие-то альтернативные варианты.  

Ну если у Вас получается так, как Вы описываете, значит все правильно делаете. А в книгах часто бывают опечатки.