Таким образом, сигнатура метода нарушается и все известные мне типизированные языки (в том числе и haxe) пресекут попытку переопределить метод с другим возвращаемым типом.
C++ не пресечёт. Виртуальная функция в наследуемом классе может возвращать указатель не на тот же тип, что возвращается в базовом, а на наследника возвращаемого типа (не обязательно того же типа, что и сам класс и его наследник).
В школе я ее немного переделал для себя, а именно добавил направление машины и возможность ее поворачивать каждый ход. В направлении «вперед» можно газовать, в направлении «назад» тормозить, плюс сила трения вбок, если скорость не была параллельна направлению машины. Затем вектор скорости изменялся на сумму сил газа/тормоза и трения, и машина перемещалась.
Второе слово вашего текста выглядит просто как Barcelona (неотличимо, без лишних пробелов или отступов), однако после c-таки нечто есть, при удалении 'c' стирается за 2 backspace. В названии же вкладки всё выглядит корректно.
ОС Windows, Sublime Text 3, Lucida Sans Unicode. Разные шрифты не помогают.
Мне понравилось, как вводятся уникодные в Agda2, сделал аналогично в SublimeText в UnicodeMath. С учётом наличия в Haskell base-unicode-symbols и прагмы UnicodeSyntax, выходит удобно.
Хотя, в общем-то, и там ничего такого нет. Разворачивается оно в это:
let g1, val = match x {
Good1(g1, val) => g1, val
_ => { return 0 }
}
let result = match g1.body {
Good2(result) => result
_ => { panic!("Blah") }
}
return result + val;
Спасибо. Макрос try! оказался простым, а вот реализация biased_match от меня ускользает. Ощущение, что там какой-то хак, потому что прямой разворот макроса выглядит каким-то странным.
попробоватьмучаться с современнуюой IDE, вместо того чтобы мучаться с VIM и подобными?fixed :)
C++ не пресечёт. Виртуальная функция в наследуемом классе может возвращать указатель не на тот же тип, что возвращается в базовом, а на наследника возвращаемого типа (не обязательно того же типа, что и сам класс и его наследник).
Это не исследование, разумеется
ОС Windows, Sublime Text 3, Lucida Sans Unicode. Разные шрифты не помогают.