Выражение и инструкции

но ведь тогда если был бы такой язык программирования — то тогда был бы огромный риск возникновения следующей ситуации:

(пишу фрагмент кода на импровизированном гипотетическом языке)

допустим есть некоторая функция в библиотеке:

require 'low_level_some'

def do_super_some(v)
    if v => 1000
        do_big_some(v)
    else
        do_small_some(v)
    end
end

как видим — программист библиотеки здесь забыл указать ``nil`` перед концом функции ``do_super_some()``

но допустим — это не страшно, так как ``do_big_some()`` всегда возвращает ``nil``, и ``do_small_some()`` тоже всегда возвращает ``nil``.

а теперь представим что неожиданно ``do_big_some()`` начинает возвращать в случае успеха что-то другое [допустим это случается после — после pacman -Syu # :)]

....и в результате — функция ``do_super_some()`` начинает возвращать непонятную почти-безсистемную ерунду..

а другой программист — позже может подумать что ``do_super_some()`` возвращает не безсистемную ерунду, а вполне определённое «успех если != nil».. и вот он баг на ровном месте!

:-( :-(

как видим — программист библиотеки здесь забыл указать ``nil`` перед концом функции ``do_super_some()``

Oh no, not this shit again.

и вот он баг на ровном месте!

И где же тут баг? Вывод типов тебе в помощь. А при динамической типизации на это вообще насрать.

И где же тут баг? Вывод типов тебе в помощь.

да. вывод типов — спас бы.

а теперь представим что неожиданно ``do_big_some()`` начинает возвращать в случае успеха что-то другое [допустим это случается после — после pacman -Syu # :)]

nil — всего лишь константа, такая же как и ноль (<type 'int'>). Можно подставить ноль на место nil, или лучше строку «pony.org.ru», чтобы увидеть что return тут не причем.

Мифические примеры из головы такие мифические. Попиши на Руби что ле.

если был бы такой язык программирования

Он уже есть и не один.

как видим — программист библиотеки здесь забыл указать ``nil`` перед концом функции ``do_super_some()``

Ничего он не забыл. Результатом функции будет результат if'а, результатом которого в данном случае будет или do_big_some(v) или do_small_some(v). Если у if-elif'а нет ветки else, то логично считать результатом if'а в случае несоответствия всем ветвям некоторый None в динамических языках, а в языках со статической типизацией или считать весь такой if Unit'ом или же Option<тип результата ветвей>.

начинает возвращать непонятную почти-безсистемную ерунду

Она начнет ее возвращать, только если программист идиот и под строчками его когда нет никакой человеко-понятной проблемной области.

Попиши на Руби что ле.

а как на нём пописать-то, если там библиотек кот наплакал? (кроме web.. для web — там много всего, кажется)