Comments on: JavaScript: безопасный код http://john.5070.info/2009/10/javascript-%d0%b1%d0%b5%d0%b7%d0%be%d0%bf%d0%b0%d1%81%d0%bd%d1%8b%d0%b9-%d0%ba%d0%be%d0%b4/ :-) Thu, 25 Feb 2010 08:02:40 +0000 http://wordpress.org/?v=2.8 hourly 1 By: RedChrom http://john.5070.info/2009/10/javascript-%d0%b1%d0%b5%d0%b7%d0%be%d0%bf%d0%b0%d1%81%d0%bd%d1%8b%d0%b9-%d0%ba%d0%be%d0%b4/comment-page-1/#comment-185 RedChrom Fri, 09 Oct 2009 08:30:47 +0000 http://john.5070.info/?p=193#comment-185 Ocamljs, там не хватает некторых dom properties, проблемы с юникодом и так по мелочи. Ocamljs, там не хватает некторых dom properties, проблемы с юникодом и так по мелочи.

]]> By: John Lepikhin http://john.5070.info/2009/10/javascript-%d0%b1%d0%b5%d0%b7%d0%be%d0%bf%d0%b0%d1%81%d0%bd%d1%8b%d0%b9-%d0%ba%d0%be%d0%b4/comment-page-1/#comment-184 John Lepikhin Fri, 09 Oct 2009 07:53:58 +0000 http://john.5070.info/?p=193#comment-184 Что патчил? Что патчил?

]]> By: RedChrom http://john.5070.info/2009/10/javascript-%d0%b1%d0%b5%d0%b7%d0%be%d0%bf%d0%b0%d1%81%d0%bd%d1%8b%d0%b9-%d0%ba%d0%be%d0%b4/comment-page-1/#comment-183 RedChrom Fri, 09 Oct 2009 07:32:16 +0000 http://john.5070.info/?p=193#comment-183 Btw, если кто собирётся писать что-то серьёзное на ocamljs то ко мне можно обращаться за патчами, ибо хуй знает когда в апстриме их закоммитят :) Btw, если кто собирётся писать что-то серьёзное на ocamljs то ко мне можно обращаться за патчами, ибо хуй знает когда в апстриме их закоммитят :)

]]> By: RedChrom http://john.5070.info/2009/10/javascript-%d0%b1%d0%b5%d0%b7%d0%be%d0%bf%d0%b0%d1%81%d0%bd%d1%8b%d0%b9-%d0%ba%d0%be%d0%b4/comment-page-1/#comment-182 RedChrom Fri, 09 Oct 2009 07:30:55 +0000 http://john.5070.info/?p=193#comment-182 Всё-таки с ocamljs есть проблемы с типами, точнее в его интерфейсе к внешнему миру. Ибо некоторые js функции могут вернуть null, вместо element и это дело нужно явно чекать. Тем не менее если обвернуть более высокоуровневый и безопасный интерфейс - жить можно. >бОльшая часть скрипта всё равно будет алгоритмом, RPC и т.д. Вот главная минус всяких jQuery, это предположение, что весь DOM свёрстан ручками, а надо только свистелки и перделки добавлять по идентификаторам. У меня весь DOM из js строиться и еботни со этим DOM дофига. Манипуляции с DOM из ocaml очень не привычны, но привыкаешь и ошибок действительно получается меньше. Всё-таки с ocamljs есть проблемы с типами, точнее в его интерфейсе к внешнему миру. Ибо некоторые js функции могут вернуть null, вместо element и это дело нужно явно чекать. Тем не менее если обвернуть более высокоуровневый и безопасный интерфейс – жить можно.
>бОльшая часть скрипта всё равно будет алгоритмом, RPC и т.д.
Вот главная минус всяких jQuery, это предположение, что весь DOM свёрстан ручками, а надо только свистелки и перделки добавлять по идентификаторам. У меня весь DOM из js строиться и еботни со этим DOM дофига. Манипуляции с DOM из ocaml очень не привычны, но привыкаешь и ошибок действительно получается меньше.

]]> By: John Lepikhin http://john.5070.info/2009/10/javascript-%d0%b1%d0%b5%d0%b7%d0%be%d0%bf%d0%b0%d1%81%d0%bd%d1%8b%d0%b9-%d0%ba%d0%be%d0%b4/comment-page-1/#comment-181 John Lepikhin Wed, 07 Oct 2009 14:53:21 +0000 http://john.5070.info/?p=193#comment-181 Теперь сюрприз: сделать логическую ошибку на языке с хорошо развитой системой типов очень сложно :) С использованием OUnit (система для написания юнит-тестов) ошибку допустить предельно сложно. С проектированием алгоритмов в каком-нибудь Coq и вовсе невозможно. К слову, в oProxy было за всю историю лишь 2-3 логических ошибки(!). И то, саппорт их не видел. Их заметил только я т.к. они были минорными. А то, из-за чего имел проблемы саппорт — это не логические ошибки, а ошибки в моём ДНК: 1. Апрельская проблема: не надо использовать POSIX-потоки. Они очень тяжёлые. 2. Сентябрьские дауны: плохо давать процессу ничем не ограниченное количество файлов. В драке за FD процесса и ОС всегда почему-то побеждает ОС. Согласись, обе ошибки к алгоритмической логике отношения не имеют. Касаетельно браузерной совместимости. Так ведь и на окамле точно так же всё можно описать. Тем более, что таких узких мест на большой скрипт обычно очень мало: бОльшая часть скрипта всё равно будет алгоритмом, RPC и т.д. Теперь сюрприз: сделать логическую ошибку на языке с хорошо развитой системой типов очень сложно :) С использованием OUnit (система для написания юнит-тестов) ошибку допустить предельно сложно. С проектированием алгоритмов в каком-нибудь Coq и вовсе невозможно.

К слову, в oProxy было за всю историю лишь 2-3 логических ошибки(!). И то, саппорт их не видел. Их заметил только я т.к. они были минорными. А то, из-за чего имел проблемы саппорт — это не логические ошибки, а ошибки в моём ДНК:
1. Апрельская проблема: не надо использовать POSIX-потоки. Они очень тяжёлые.
2. Сентябрьские дауны: плохо давать процессу ничем не ограниченное количество файлов. В драке за FD процесса и ОС всегда почему-то побеждает ОС.

Согласись, обе ошибки к алгоритмической логике отношения не имеют.

Касаетельно браузерной совместимости. Так ведь и на окамле точно так же всё можно описать. Тем более, что таких узких мест на большой скрипт обычно очень мало: бОльшая часть скрипта всё равно будет алгоритмом, RPC и т.д.

]]> By: yumaa http://john.5070.info/2009/10/javascript-%d0%b1%d0%b5%d0%b7%d0%be%d0%bf%d0%b0%d1%81%d0%bd%d1%8b%d0%b9-%d0%ba%d0%be%d0%b4/comment-page-1/#comment-180 yumaa Wed, 07 Oct 2009 14:08:01 +0000 http://john.5070.info/?p=193#comment-180 имею некоторый опыт по написанию скриптов на javascript, и имхо валидность кода ещё пол-дела. и если код на ocaml очарователен по виду, но получившийся в результате ocamljs скрипт - страшный как моя жизнь. логическую ошибку искать в таком... при одной мысли в дрожь бросает :) или ещё чего хуже, под разные браузеры править, чтобы работало одинаково. имею некоторый опыт по написанию скриптов на javascript, и имхо валидность кода ещё пол-дела. и если код на ocaml очарователен по виду, но получившийся в результате ocamljs скрипт – страшный как моя жизнь. логическую ошибку искать в таком… при одной мысли в дрожь бросает :) или ещё чего хуже, под разные браузеры править, чтобы работало одинаково.

]]>