И как?

ну, работает как-то

по объему кода примерно как ghcjs

при примерно равной функциональности

пока не могу сказать

Ну вот да. Элм тоже какой-то многословный

Но работает.

Впрочем, насаждение FSM сапогом и строгая типизация - единственный нормальный выход для фронта

Иначе жопа

на фронтэнде все так плохо, что там даже typescript уже счастье

фронтендеры, кстати, так не считают

ну а куда им деваться

привыкли

фронтендеры, кстати, так не считают

Смотря кто

Но на фронтенде всё очень-очень плохо. Elm –– единственный разумный выход, потому что 1. Не так сложно 2. Помогает

Хотя если попробовал purescript, то Elm как-то не очень поначалу.

http://tonsky.livejournal.com/310929.html

Прошу прощения за оффтоп! Мы, группа студентов факультета социологии СПбГУ, проводим большое исследование рейтинга IT работодателей Санкт-Петербурга и Москвы. Пожалуйста, поддержите нас, пройдя опрос по ссылке http://sgiz.mobi/s3/63243b734400 Опрос состоит только из закрытых вопросов и займет 5 минут. Результаты опроса планируется опубликовать на habrahabr.ru в блоге “Моего круга” и в группе https://vk.com/jugru С админом согласовано

раскрываю, как сделать хаскел-в-почти-любой-компании: приходишь в компанию - в какой-то момент делаешь что-то на хаскелле - теперь в этой компании - хаскел в продакшоне (111)

а разве это не надо согласовывать с тимлидом как-то?

если есть тимлид. если тимлид

это не ты

еще бывает, что тимлид не против

всё равно, это ведь еще может сильно зависеть от задачи и от коллег…

может

интереснее, на мой взгляд, сделать не сколько хаскелл в любой компании, столько внедрить методы формальной верификации, на idris, например, или на Agda. в теории это развито и в среде математиков тоже, но всегда было интересно, как это можно применить в прикладной работе, я ни одного примера кроме Касперского не знаю

интереснее, на мой взгляд, сделать не сколько хаскелл в любой компании, столько внедрить методы формальной верификации, на idris, например, или на Agda. в теории это развито и в среде математиков тоже, но всегда было интересно, как это можно применить в прикладной работе, я ни одного примера кроме Касперского не знаю

Никому это не нужно

как-то категорично

Дорого и сложно.

А там где нужна верификация, уже давно классические методы работают.

(я так думаю)

«классические» - это какие?

логика Хора?

Хоара*

сколько строка кока стоит?

кому это нафиг надо?

Ага, она, model checking, separation logic, etc

Александр, я имел в виду не то кому это может надо, а при каком кейсе это может быть полезно

(гипотетически)

при кейсе где стоимость потерь из-за ошибки больше цены программистов

на фронтэнде все так плохо, что там даже typescript уже счастье

Потому что typescript косячный в плане вывода типов и поэтому на эти лавры и не претендует

и где это понимают

ну а куда им деваться

flow

Написан на окамле

Причём для фейсбука это только промежуточная стадия для перевода всего фронта на окамл — в их масштабах писать типизируемый силами ocaml UI настолько выгодно, что можно и всю подобную технологию с нуля себе накатать

интересное мнение, было бы интересно, если так и окажется

flow интересная штукована, недавно появилась возможность его поюзать на практике: не у кого не было опыта использования flow в продакшне?

в продакшоне не видел, наши фронендщики попытались его заюзать, натравили на небольшой модуль, посмотрели на пять страниц ошибок и забили

сдаётся мне, проблема тайпскрипта, flow и прочих тайпчекеров для js не в том, что их сложно написать или что js такое говно

а в чем?

а в том, что написаны уже тонны кода, которые кладут большой болт на всю эту типизацию, и при использовании любой сторонней библиотеки вся безопасность идёт лесом

ну да, это объяснимо

а писать целиком всё на том же тайпскрипте, без библиотек, не каждая контора может себе позволить

а если использовать флоу изначально?

(писать с нуля на тайпскрипте, я согласен, радикально)

одно дело юзать чекер для, другое писать с нуля на языке без библиотек

для лишнее*

да flow тоже захлебнётся, если подтянуть какую-нибудь библиотеку, в которой функция принимает количество аргументов, зависящее от значений предыдущих аргументов (привет, зависимые типы), а результат возвращает через модификацию какого-нибудь глобального объекта

а такое в мире js не редкость...

(Int, Any...) -> Any

варарги я думаю там предсмотрены

если у меня в программе открыто слишком много fd, то можно как-нить посмотреть откуда они?

что значит "откуда" ?

что имеено открыто (ну это я уже посмотрел в /proc/X/fd)

теперь хочу угадать кто наоткрывал

если запустить под strace по дампу бывает видно

в продакшоне не видел, наши фронендщики попытались его заюзать, натравили на небольшой модуль, посмотрели на пять страниц ошибок и забили

Плохой flow сказал им, что они пишут неправильно) Я мало видел проектов, в которых бы после включения flow было бы меньше тысячи ошибок на каждые 3-4к строк кода

да flow тоже захлебнётся, если подтянуть какую-нибудь библиотеку, в которой функция принимает количество аргументов, зависящее от значений предыдущих аргументов (привет, зависимые типы), а результат возвращает через модификацию какого-нибудь глобального объекта

Первое реализуется. Второе не описывается в рамках типа функции, а вот в типе глобального объекта это можно учесть

flow интересная штукована, недавно появилась возможность его поюзать на практике: не у кого не было опыта использования flow в продакшне?

У меня был) Это путь не для слабых конечно)) С экосистемой у тс получше, но сижу на флоу только из-за его концепта

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

Примерно тот же подход под коробкой реализует purescript, только фейсбук нашёл способ пойти этим путём не меняя синтаксис языка (жертвуя мощью, но им в конце концов надо просто рисовать крупнейший в мире сайт)

@voidlizard а сходу не помнишь, как лишний вывод урезать, чтобы только открытие fd ловить?

фиг знает, я всегда | grep

-e open

ну и прочие сиколы, создающие fd

что там, socket, popen итд

там SIGVALARM ползут

их конечно можно грепов вырезать

-e signal=!SIGVTALRM

спасибо

а трейс только 1 тред смотрит или все?