Coq и agda ещё типизированнее) 25 апр. 2016 г. 21:34 пользователь "Alex Chistyakov" <[email protected]> написал:
> > > 2016-04-25 21:31 GMT+03:00 Alexander Q <[email protected]>: > >> golang типизированный? Умение отличить строку от целого не делает языке >> типизированным. >> > > Когда я последний раз смотрел, типизация в языке golang была "static, > strong". > Куда уж типизированнее. > > > >> Хотя бы немного полиморфизма не мешает. >> >> On Mon, Apr 25, 2016, 21:30 Andrey Kovbovich <[email protected]> >> wrote: >> >>> Игры лучше писать на erlang. Haskell/Ocaml unmaintainable. >>> 25 апр. 2016 г. 21:20 пользователь "Vladimir Timofeev" < >>> [email protected]> написал: >>> >>> 2016-04-25 21:15 GMT+03:00 Alexander Q <[email protected]>: >>>> > Haskell! Надежность результата и лёгкость рефакторинга >>>> непревзойдённые. >>>> > >>>> >>>> Эмм... это конечно моё личное мнение, но: >>>> 1. Время компиляции, очень долгое. >>>> 2. Программистов мало. >>>> 3. По моему опыту (чтение исходников и конфигурирование xmonad), с >>>> рефакторингом и пониманием кода всё плохо. А есть автоматические >>>> средства рефакторинга и нормальный IDE? >>>> 4. Очень легко написать очень медленный или жадный до памяти код. >>>> >>>> > >>>> > On Mon, Apr 25, 2016, 21:12 Vladimir Timofeev <[email protected]> >>>> wrote: >>>> >> >>>> >> 2016-04-25 21:03 GMT+03:00 Alex Chistyakov <[email protected]>: >>>> >> > >>>> >> > Вы зачем-то пишете сложную логику на динамически типизированном >>>> языке >>>> >> > программирования. >>>> >> > Зачем это делать в 2016 году, я не очень понимаю. Видимо, вы просто >>>> >> > любите >>>> >> > Perl. >>>> >> > >>>> >> >>>> >> А на каком языке программирования лучше писать "сложную логику" (я бы >>>> >> ещё добавил: логику, которую часто нужно менять) в 2016 году? (да да, >>>> >> я знаю, что рассылка про Perl, но у меня есть довольно много "за" >>>> этот >>>> >> язык именно для таких целей). >>>> >> >>>> >> -- >>>> >> Vladimir Timofeev <[email protected]> >>>> >> -- >>>> >> Moscow.pm mailing list >>>> >> [email protected] | http://moscow.pm.org >>>> > >>>> > >>>> > -- >>>> > Moscow.pm mailing list >>>> > [email protected] | http://moscow.pm.org >>>> > >>>> >>>> >>>> >>>> -- >>>> Vladimir Timofeev <[email protected]> >>>> -- >>>> Moscow.pm mailing list >>>> [email protected] | http://moscow.pm.org >>>> >>> -- >>> Moscow.pm mailing list >>> [email protected] | http://moscow.pm.org >>> >> >> -- >> Moscow.pm mailing list >> [email protected] | http://moscow.pm.org >> >> > > -- > Moscow.pm mailing list > [email protected] | http://moscow.pm.org > >
-- Moscow.pm mailing list [email protected] | http://moscow.pm.org
