The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]

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

"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 email(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 | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру