форумы  помощь  поиск  регистрация  майллист  вход/выход  слежка

Вариант для распечатки		Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Изначальное сообщение		[ Отслеживать ]

"Facebook открыл код статического анализатора для языка JavaS..."	+/–
Сообщение от opennews (??) on 21-Ноя-14, 22:50
Facebook представил (https://code.facebook.com/posts/0000000000000000/flow-a-new-.../) новый открытый проект Flow (http://flowtype.org/), в рамках которого подготовлена система для статического анализа типов для языка JavaScript. Основной целью разработки является упрощение поиска ошибок в коде на языке JavaScript, без дополнительных трудозатрат на его аудит, а также предоставление средств для снижения уровня ошибок при  разработке новых проектов. Проект написан на языке OCaml и распространяется (https://github.com/facebook/flow) под лицензией BSD. В качестве метода выявления ошибок применяется автоматическое определение типов переменных на основании контекста, с  дальнейшим отслеживанием их корректного использования. Например, если переменная участвует в арифметическом действии, то запись в неё строкового значения будет рассматриваться как потенциальная ошибка. Flow позволяет при проверке разделять динамический по своей задумке код, от кода, в котором используются неизменные типы. Flow также обеспечивает продвинутый механизм выявления проблем со значениями null и массивами. Поддерживаются многие новые возможности, представленные в спецификации ECMAScript 6, такие как деструкторы, классы, расширенные объекты, опциональные параметры и такие расширения API, как Map, Set, Promise. При анализе JavaScript-модулей поддерживаются спецификации CommonJS / Node.js. Кроме проверки корректности кода, Flow может использоваться для преобразования обычного Javascript в представлении с явным указанием типов, а также выполнение обратной конвертации. Например, из "function foo(x, y)" в "function foo(x: string, y: number): string" и наоборот. Типизированное представление синтаксически напоминает метод указания типов в языках AtScript (http://www.opennet.me/opennews/art.shtml?num=41006) и TypeScript (http://www.opennet.me/opennews/art.shtml?num=39488). Управлять процессом проверки можно через специальные аннотации в комментариях к коду. В том числе можно осуществить проверку только определённых частей web-приложения. URL: https://code.facebook.com/posts/0000000000000000/flow-a-new-.../ Новость: http://www.opennet.me/opennews/art.shtml?num=41105
Ответить | Правка | Cообщить модератору

Сообщения по теме

[Сортировка по времени | RSS]

1. "Facebook открыл код статического анализатора для языка JavaS..."	+10 +/–
Сообщение от User (??) on 21-Ноя-14, 22:50
Используем костыльный язык для разработки и потом пишем различные утилиты для разгребания этих костылей...
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

	2. "Facebook открыл код статического анализатора для языка JavaS..."	+/–
	Сообщение от Stax (ok) on 21-Ноя-14, 23:16
	> Используем костыльный язык для разработки > Проект написан на языке OCaml ???
	Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

	4. "Facebook открыл код статического анализатора для языка JavaS..."	+4 +/–
	Сообщение от A.Stahl (ok) on 21-Ноя-14, 23:34
	Ок... Используем древний и мёртвый язык для разгребания костылей ненужных языков... А давайте на Форте напишем компилятор(ну или транслятор) Ада...
	Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

	6. "Facebook открыл код статического анализатора для языка JavaS..."	+/–
	Сообщение от day on 21-Ноя-14, 23:58
	А легко, я вот на яваскрипте форт пишу
	Ответить | Правка | ^ к родителю #4 | Наверх | Cообщить модератору

	15. "Facebook открыл код статического анализатора для языка JavaS..."	+1 +/–
	Сообщение от Аноним (??) on 22-Ноя-14, 21:16
	> А легко, я вот на яваскрипте форт пишу А я вот левой пяткой правое ухо чешу!
	Ответить | Правка | ^ к родителю #6 | Наверх | Cообщить модератору

	13. "Facebook открыл код статического анализатора для языка JavaS..."	+1 +/–
	Сообщение от Vkni (ok) on 22-Ноя-14, 16:22
	> ??? OCaml - очень удобный язык для создания компиляторов, а под костыльным языком подразумевался JavaScript, очевидно.
	Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

	16. "Facebook открыл код статического анализатора для языка JavaS..."	+/–
	Сообщение от Аноним (??) on 22-Ноя-14, 21:16
	> OCaml - очень удобный язык для создания компиляторов, При том настолько удобный, что им практически никто не пользуется.
	Ответить | Правка | ^ к родителю #13 | Наверх | Cообщить модератору

	17. "Facebook открыл код статического анализатора для языка JavaS..."	+/–
	Сообщение от k.bxya.ru on 03-Дек-14, 01:17
	> При том настолько удобный, что им практически никто не пользуется. Ну вот, в фейсбуке на нем уже PHP-компилятор и JS-компилятор во всю используются.
	Ответить | Правка | ^ к родителю #16 | Наверх | Cообщить модератору

	3. "Facebook открыл код статического анализатора для языка JavaS..."	+/–
	Сообщение от Аноним (??) on 21-Ноя-14, 23:33
	Вообще-то лучший на данный момент язык и инфраструктура, с ним связанная.
	Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

	5. "Facebook открыл код статического анализатора для языка JavaS..."	+1 +/–
	Сообщение от RazrFalcon (ok) on 21-Ноя-14, 23:49
	Для веба - да.
	Ответить | Правка | ^ к родителю #3 | Наверх | Cообщить модератору

	7. "Facebook открыл код статического анализатора для языка JavaS..."	+4 +/–
	Сообщение от User (??) on 22-Ноя-14, 00:08
	Тормозит и потребляет ресурсы очень качественно. Это да. С этим никто не спорит.
	Ответить | Правка | ^ к родителю #5 | Наверх | Cообщить модератору

	8. "Facebook открыл код статического анализатора для языка JavaS..."	+2 +/–
	Сообщение от Зевака on 22-Ноя-14, 00:22
	Попросите найти Вам обзор миллиона сессий на одном сервере с node.js
	Ответить | Правка | ^ к родителю #7 | Наверх | Cообщить модератору

	9. "Facebook открыл код статического анализатора для языка JavaS..."	+1 +/–
	Сообщение от неимя on 22-Ноя-14, 00:22
	Альтернативы?
	Ответить | Правка | ^ к родителю #7 | Наверх | Cообщить модератору

	11. "Facebook открыл код статического анализатора для языка JavaS..."	–1 +/–
	Сообщение от Crazy Alex (ok) on 22-Ноя-14, 06:21
	Дык, специализированные клиенты, разумеется
	Ответить | Правка | ^ к родителю #9 | Наверх | Cообщить модератору

	10. "Facebook открыл код статического анализатора для языка JavaS..."	+2 +/–
	Сообщение от Crazy Alex (ok) on 22-Ноя-14, 06:20
	Угу. Она же худшая, она же единственная.
	Ответить | Правка | ^ к родителю #5 | Наверх | Cообщить модератору

	12. "Facebook открыл код статического анализатора для языка JavaS..."	+/–
	Сообщение от Аноним (??) on 22-Ноя-14, 08:43
	https://www.destroyallsoftware.com/talks/wat
	Ответить | Правка | ^ к родителю #3 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема