ruby pearls

[sassa_nf]

2.2.0 :004 > ':xyz'.split(/:/)[0]
=> ""
2.2.0 :005 > ''.split(/:/)[0]
=> nil
2.2.0 :006 > 'xyz'.split(/:/)[0]
=> "xyz"

2.2.0 :001 > weak_key = lambda {|c| c.split(/:/, 2)[0]}
2.2.0 :002 > weak_key('xyz:1986')
NoMethodError: undefined method `weak_key' for main:Object

2.2.0 :003 > def weak_key(x

Comments

[thedeemon]

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

[sassa_nf]

и что-то еще правильными кложурами и lexical scope не проникся, да

[thedeemon]

Конечно, определение метода это вам не определение функции какой, с замыканием. Нечего тут! Есть локальные переменные, есть поля объекта, какие еще замыкания, какой еще лексикал скоуп?

[nponeccop]

Это ты ещё питона не видел! Там трипл фейспалм.

[vinslivins]

методы динамические. вызов метода перетёр предыдущее определение метода.

а константы лексические. плюс в рельсах (а это обычное применение руби) они сломаны под волшебную загрузку, поэтому рельсы это скорее диалект руби.

[nivanych]

Пи-исчисление - строгая основа объектно-ориентированного программирования, да.

[thedeemon]

Что-то в этом есть, недаром кульминацией ООП стал Эрланг.

[nivanych]

Ага, именно его и вспомнил (ну там не пи, правда).
Только окромя эрланга, никакие из ОО и близко к этой теме (исчисление процессов в основе языка) не подходили.
Ну и не уверен, можно ли эрланг называть ОО ;-)

[nponeccop]

У MPI есть стандартные биндинги к С++! И ОО, и message passing в одном флаконе!

[nivanych]

Даа, это они близко подошли к исчислению процессов в основе языка ;-)

[nponeccop]

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

Мне вот интересно, можно ли нарушить в Эрланге инварианты пи-исчисления. Думаю как два пальца.

Ну и интересно, есть ли industrial unsound provers :)

[nivanych]

> sound реализации исчислений возможны только в пруверах

[nponeccop]

> industrial unsound provers :)

Unsound - это если доказательство, что код удовлетворяет спецификации, не означает, что код удовлетворяет спецификации.

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

[nponeccop]

> Нет совести и контроля?

Не совсем. Необходимо, чтобы в военное время синус мог достигать четырёх.