Хорошо, когда по кусочку кода, влезающему на экран можно сказать корректен он или нет, никуда больше не подглядывая и не помня никаких дополнительных фактов (в качестве домашнего задания могу предложить самостоятельно придумать 5 причин, по которым это хорошо). Хорошо, если из локальной корректности каждого кусочка вашего кода следует корректность всей вашей программы. Получается этакое свойство локальной проверяемости.
Это практически те слова, которыми Yaron Minsky объяснял выбор Окамла для их трейдинговой системы в Jane Street.
Тут гораздо более важен стиль написания кода, чем выбор языка, имхо. Но все же, интересно. Кто этот Минский, что за система и где эти его слова почитать/послушать?
В какой-то момент мы серьёзно задумывались о переносе отдельных критических систем из программ на VB сидящих в электронных таблицах в приятную, прилично действующую программу на C#. И одной из тех вещей, которая убила этот проект была сложность чтения этого чёртового кода, о котором мы так пеклись.
Там было две вещи, которые убили этот проект. Одной была многословность, факт того что там было настолько много строчек кода для чтения. А второй была то, что люди находили объектно-ориентированный подход настолько сложным для восприятия.
Ну вот кстати: That year, Yaron Minsky started working at Jane street, and having some experience with OCaml as a graduate student at Cornell started using OCaml for quantitative research. ... using C# for systems software, the firm decided in 2005 to switch to using OCaml as the primary development language
Другими словами: 1. Cмотрели на убогий C# 2.0. 2. Смотрели экс-студенты, которых ещё в универе основательно подсадили на OCaml.
Это практически те слова, которыми Yaron Minsky объяснял выбор Окамла для их трейдинговой системы в Jane Street.
Reply
Reply
послушать http://ocaml.janestreet.com/?q=node/61
Reply
Reply
Reply
В какой-то момент мы серьёзно задумывались о переносе отдельных критических систем из программ на VB сидящих в электронных таблицах в приятную, прилично действующую программу на C#. И одной из тех вещей, которая убила этот проект была сложность чтения этого чёртового кода, о котором мы так пеклись.
Там было две вещи, которые убили этот проект. Одной была многословность, факт того что там было настолько много строчек кода для чтения. А второй была то, что люди находили объектно-ориентированный подход настолько сложным для восприятия.
http://lionet.livejournal.com/37311.html
Reply
Ну вот кстати:
That year, Yaron Minsky
started working at Jane street, and having some experience with OCaml as a
graduate student at Cornell started using OCaml for quantitative research.
...
using C# for systems software, the firm decided in 2005 to
switch to using OCaml as the primary development language
Другими словами:
1. Cмотрели на убогий C# 2.0.
2. Смотрели экс-студенты, которых ещё в универе основательно подсадили на OCaml.
Я бы очень удивился, если бы они выбрали C#! :))
FLAME OFF
Reply
Сколько студентов подсадили в своё время на C# 2.0 и они его выбрали - не передать словами.
FLAME OFF
Reply
Leave a comment