Как правильно готовить JavaScript?

[nivanych]

Собственно, вопрос

Comments

[mr_aleph]

CoffeeScript?

[nivanych]

Прикольно, спасибо!
Его описать в Agda2/Haskell будет гораздо проще.
Может быть, даже и частично семантику получится.
Жаль только, что оно ещё не релиз, то есть, возможно,
что будет меняться без полной обратной совместимости.

[dmzlj]

тут какой-то народ заморачивался с генерацией в js их scheme. по моему, так и надо с ним.

[nivanych]

Ну вот меня засомневали вариантом пользовать YHC.

[mr_aleph]

mr. Florian Loitsch created one such compiler: http://www-sop.inria.fr/indes/scheme2js/

[nivanych]

Ну вот. Такими темпами, глядишь, уговорят и на Схему перелезть ;-)

[anonymous]

jQuery + нативно проще всего

[ex_juan_gan]

Я бы не заморачивался. Джаваскрипт язык не нудный, и бойлерплейта там почти нету, всё можно делать ортогонально и читабельно.

[nivanych]

Мне бы очень хотелось писать как клиента так и сервера, пользуясь общими абстракциями, как общими библиотеками.
В случае голого джава-скрипта это будет возможно, если только всё писать на нём, чего мне бы не хотелось.

[thesz]

Типы нужны, модули нужны.

Голый JS очень труден для больших проектов.

[nivanych]

Вот именно...
У меня почти полная свобода действий и даже запас по времени, поэтому я и хочу попробовать агду.
Как все знают про хаскель, это не только очень хороший императивный язык, но и очень хорошо подходит для быдло-копипаст-кодинга, точнее, минимизирует хреновые последствия от подобного написания кода.
Так вот, агда2, вроде бы, в этом отношении не хуже ;-)
Но вот что делать с веб-частью...
Там у меня запасу почти не будет...
Пока что, варианта два - либо не заморачиваться и как-нибудь написать бравзерную часть на голом жабаскрипте, либо генерировать его из описания на Haskell/Agda2, к чему мне даже mr_aleph показал забавную штуку, позволяющую сильно упростить генерацию.

[thesz]

Генерировать. ;)