Fortran lives

[thedeemon]

Фортран знаменит, по крайней мере для меня, тем, что там можно было изменить (в том числе случайно) значение числа 5 (или другой константы). Причем это не текстовая замена а-ля #define в Си, а изменение в рантайме, затрагивающее и независимый код. Сегодня я узнал, что эта замечательная возможность сохранилась в Джаве и Питоне.

Comments

[yantayga.livejournal.com]

Но зачем?

[thedeemon.livejournal.com]

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

[justy-tylor.livejournal.com]

Там та же ситуация, чтобы лишний раз не боксить.

[some41.livejournal.com]

cpython глобально кеширует инты от -5 до 256 включительно, чтобы не создавать их много раз. еще кешируются все константы, используемые каждой функцией, так что для одной функции можно подменить значений любой константы. это, понятно, implementation detail.

[kurilka.livejournal.com]

Хацкель логичней :)
λ> let 2+2=5 in 2+2
5

[deni-ok.livejournal.com]

Можно иначе, используя полиморфность плюса и числовых литералов:

> newtype Oh = Oh Integer deriving Eq
> instance Show Oh where show (Oh n) = show n
> instance Num Oh where {2 + 2 = 5; fromInteger n = Oh n}
> default (Oh)
> 2 + 2
5

[kurilka.livejournal.com]

Это слишком многословно - навевает скуку :)

[deni-ok.livejournal.com]

Зато не мешает обычным плюсом пользоваться :)

> (2::Int) + (2::Int)
4

[nealar.livejournal.com]

> default (Oh)

это чит!

[deni-ok.livejournal.com]

Не чит, а законный инструмент разрешения неоднозначностей при вычислении полиморфных выражений.

[sassa-nf.livejournal.com]

god-like

[thedeemon.livejournal.com]

Ага, только оно + ломает, 2+3 уже не вычисляется.

[theiced.livejournal.com]

class Fixnum
  alias_method :boring_plus, :+

  def +(o)
    d = self == 2 and o == 2 ? 1 : 0
    self.boring_plus(o).boring_plus(d)
  end
end

puts 2 + 2

[thedeemon.livejournal.com]

Там на Руби есть поинтереснее вариант. Просто + перееопределять слишком банально.

[sassa-nf.livejournal.com]

и только в Агде получится не только 2+2=5, но и 5-2=2 (и ещё много чего)

_+_ : N -> N -> N
z + n = succ n
(succ m) + n = succ(m + n)

[lelf.livejournal.com]

> и только в Агде получится не только 2+2=5, но и

пфффф

2+2 : ℕ
2+2 = 5

[migmit.livejournal.com]

Я там не могу ответить, но

X = 5
% тут очень много кода
try
  % тут ещё до фига кода
  X = 2 + 2 % мегавычисление
catch
  _:_ -> ok % да хрена ли там падать
end,
io:format("2 + 2 = ~p~n", [X]).