catpad: (Default)
catpad ([personal profile] catpad) wrote2009-10-06 03:03 pm

Программистское (остальным не читать)

Внезапно осознал (вру конечно, давно уже осознал) как это невыносимо скучно - программировать в терминах if, else, for, if, else, for, if, else, for...
Просто сил никаких же уже нет. Долой императивное программирование! Хочу новую парадигму!

[identity profile] mopexod.livejournal.com 2009-10-06 07:20 am (UTC)(link)
Ага, баблсорт на прологе.
Хотя, пожалуй, некоторые практические проблемы плохо описываются через if, else, for, if, else.

[identity profile] catpad.livejournal.com 2009-10-06 07:31 am (UTC)(link)
Ну, вообще-то практически все они описываются на С довольно хорошо. Но как надоело!

[identity profile] cema.livejournal.com 2009-10-06 08:52 am (UTC)(link)
Lisp? Допустим, clojure. Или вот Microsoft выпускает F#, это такой OCaml, т.е. ML. Ну на худой конец Haskell.

[identity profile] catpad.livejournal.com 2009-10-06 08:59 am (UTC)(link)
Всё подойдёт из списка.

[identity profile] kmmbvnr.livejournal.com 2009-10-07 01:25 pm (UTC)(link)
Интересно, станет ли F# мейнстримом?

[identity profile] gianthare.livejournal.com 2009-10-06 09:02 am (UTC)(link)
Ну типа, если бы я получал один цент за каждый написанный for ...

[identity profile] potan.livejournal.com 2009-10-06 09:38 am (UTC)(link)
Рефал. Хотя бы для экзотики :-).

[identity profile] catpad.livejournal.com 2009-10-06 10:52 am (UTC)(link)
Совсем не знаю такого.

[identity profile] kmmbvnr.livejournal.com 2009-10-07 01:18 pm (UTC)(link)
Да, да. Поддержим отечественного производителя!

[identity profile] zverok-kha.livejournal.com 2009-10-06 09:58 am (UTC)(link)
я даже на руби не помню, когда последний раз писал for (даже и синтаксиса его не помню). и if крайне редко набирается, и то скорее от лени.

[identity profile] catpad.livejournal.com 2009-10-06 10:54 am (UTC)(link)
Я создаю десятки тысяч форов и ифов каждый день! :)

Куда-то пропал мой коммент

[identity profile] gianthare.livejournal.com 2009-10-07 09:42 am (UTC)(link)
про то, что если бы я получал один цент за каждый написанный for, то ...
for по-моему больше достают, чем if, я теперь поэтому все форы с итераторами пишу, хоть какое-то разнообразие

Re: Куда-то пропал мой коммент

[identity profile] catpad.livejournal.com 2009-10-07 09:46 am (UTC)(link)
А я подумал, что ты его почему-то стёр.

Не, итераторы не помогают.
Буду программировать на Эрланге теперь.

Re: Куда-то пропал мой коммент

[identity profile] gianthare.livejournal.com 2009-10-07 09:59 am (UTC)(link)
Эрланг выглядит очень симпатично - этакий детерминистский Пролог смешанный с Оккамом (не Оккамлом)

[identity profile] joveli.livejournal.com 2009-10-06 10:36 am (UTC)(link)
а мы как-то перекладывали некий язык скучного псевдокода и обнаружили ряд забавных совпадений. К примеру псевдооператор "ifkey", был такой у нас, в русской раскладке выглядел "шалун". С тех пор стала замечать подобные штуки.

[identity profile] dzz.livejournal.com 2009-10-06 10:59 am (UTC)(link)
LISP?

[identity profile] dzz.livejournal.com 2009-10-06 11:04 am (UTC)(link)
Ещё вариант - полный переход от парадигмы if:then на try:except :)

[identity profile] catpad.livejournal.com 2009-10-06 11:19 am (UTC)(link)
То есть, перейти на парадигму "what if ?"

[identity profile] catpad.livejournal.com 2009-10-06 11:08 am (UTC)(link)
В принципе я хочу совсем новую парадигму, но и Лисп сойдёт, да.

[identity profile] gromozeka.livejournal.com 2009-10-06 03:21 pm (UTC)(link)
Рефал довольно забавный. Там ВСЕ делается через сопоставление с образцом и замену. Входные данные через последовательность сопоставлений и замен становятся выходными. Всякого рода трансляторы писать действительно удобно.

[identity profile] kmmbvnr.livejournal.com 2009-10-07 01:23 pm (UTC)(link)
Всего делов то, выбрать понравившиеся принципы (http://www.info.ucl.ac.be/~pvr/VanRoyChapter.pdf), составить из них новую парадигму и придумать язык ее реализующий.

[identity profile] yatur.livejournal.com 2009-10-06 02:22 pm (UTC)(link)
А меня if-else пока не достал, но достал шум. Когда надо тупому компилятору объяснять снова и снова тривиальные вещи.

[identity profile] taganay.livejournal.com 2009-10-06 06:52 pm (UTC)(link)
Про Пролог с Лиспом уже писали, можно ещё Ершол (http://ru.wikipedia.org/wiki/%D0%90%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B9_%D1%8F%D0%B7%D1%8B%D0%BA#.D0.95-.D0.BF.D1.80.D0.B0.D0.BA.D1.82.D0.B8.D0.BA.D1.83.D0.BC) попробовать. Будете программировать в парадигме если, иначе, нц, кц., etc

[identity profile] catpad.livejournal.com 2009-10-07 09:47 am (UTC)(link)
Да, я не нём в школе программировал. Там float писался "вещ".

[identity profile] kmmbvnr.livejournal.com 2009-10-07 01:20 pm (UTC)(link)
Выбирай Oz (http://en.wikipedia.org/wiki/Oz_(programming_language)) - истинно мультипарадигменный язык

[identity profile] catpad.livejournal.com 2009-10-07 01:22 pm (UTC)(link)
Да, точно, я и забыл о нём.