Size: a a a

2018 April 15

L

Leyla in fprog_spb
Igor
Это не язык, а линтер для жс 🌚 на стероидах

Правда его компилятор на писан на ocaml, но вряд там много про него будет.
Тот случай когда языка нет, а компилятор есть
источник
2018 April 16

L

Leyla in fprog_spb
Немножко информации: Доклад "Возможности использования формальных верификаций на Coq для простейших моделей смарт-контрактов" переносится на май.
Вместо него мы послушаем доклад "Flow: язык для сложных графических интерфейсов".
источник

Вл

В ладу in fprog_spb
как-то странно звучит заголовок.
источник

Вл

В ладу in fprog_spb
он вроде везде называется статик чекер фор джиэс
источник

Вл

В ладу in fprog_spb
ну и сложные графические интерфейсы звучит как заголовок для доклада на неделю наук. вроде не сложнее чем на джиэс
источник

Вл

В ладу in fprog_spb
или мб это другой флоу
источник

DR

Denis Redozubov in fprog_spb
больше одной вещи может называться одним именем
источник

VV

Valeriya V in fprog_spb
Другой
источник

Вл

В ладу in fprog_spb
а
источник

VV

Valeriya V in fprog_spb
Это закрытый язык
источник

Вл

В ладу in fprog_spb
а я даже погуглил чтобы проверить себя
источник

DS

Dmitry Solomennikov in fprog_spb
Здравствуйте, коллеги. Доклад про flow буду читать я и это не разработка Facebook. Пока этого языка нет в открытом доступе.
источник

Вл

В ладу in fprog_spb
хм оукей
источник

Вл

В ладу in fprog_spb
я вообще не понимаю. откуда остальные знали - это где-то уже выше мелькало.
что с ним делать если он закрытый
источник

n

neFormal in fprog_spb
порадуйся за ребят
источник

DS

Dmitry Solomennikov in fprog_spb
Есть планы по выходу в open source, пока без дат правда
источник

p

punksta in fprog_spb
для flow есть runtime https://github.com/codemix/flow-runtime :)
источник

Вл

В ладу in fprog_spb
ну ладно наверное там будет про опыт разработки языка. и писался он наверное на хаскеле.
источник

DS

Dmitry Solomennikov in fprog_spb
Я знаю, что есть flow и куча рантаймов, но это все не о том. Сейчас это проприетарная разработка. У нас несколько миллионов пользователей.
источник

n

neFormal in fprog_spb
пользователей языка?
источник