Да это все современный тренд на названия с окончанием fy...

Если это окончание, три точки должны стоять перед, а не после

Всем привет! Мы хотим организовать неформальную летнюю школу по формальным методам и всяким родственным штукам (см. WIP сайт школы https://лялямбда.рус).
Планируются мини-курсы/воркшопы/доклады/нетворкинг/развлечения.
Темы курсов и воркшопов ещё пока только определяются (предложите свою!) и простираются от рандомизированного тестирования/фаззинга и модел-чекинга, до кубических (и не только) пруверов, логики некорректности, верифицированных компиляторов и слабых моделей памяти. Мы приветствуем участников с любым уровнем знаний — планируются несколько треков, чтобы каждый мог выбрать себе тему по своему бэкграунду.

Чтобы понять больше о наших потенциальных участниках и о том, какой формат школы выбрать, нам нужна ваша помощь: если бы вы хотели поехать, заполните, пожалуйста, небольшую форму https://docs.google.com/forms/d/e/1FAIpQLScfJ3tguxHNgxwHX_XpsWOiABTwB2R74sKh6OXEmcpYCCQqOQ/viewform.

И как он развивается? Хотел на нем проектик сделать, но там небыло штатного способа вытащить int64 из json.

А по сравнению с модулями в OCaml и Ada они как?

У него какие-то открытые реализации на потыкать в него палочкой есть?

Здорово, не встречала ещё никого вне нашей компании интересующимся им 🙂 Угу, такой возможности пока нет, но недавно поднимался у нас этот вопрос. Одного из центральных разрабов схантили после того как им была выложена репа на гитхаб)) но развивается развивается. Рекламы пока немного у него, сейчас денег у конторы побольше станет, может займутся раскруткой

Не могу сравнить, к сожалению(

У коллеги вот встречала калькулятор, правда сама не смотрела: https://github.com/RusArtm/Simpulator
Если что-то еще найду, то скину

Кросплатформенность - с моей точки зрения ценное качество. Больше кросплатформенных приличных технологий, позволяющих разрабатывать UI я не встречал.

https://github.com/area9innovation/flow9/ - я вот это имел ввиду)

а, ну да, язык opensource)

А как модули в Ada по сравнению с OCaml?

У нас считают, что у него низкий порог вхождения, я правда в силу каких-то своих обстоятельств тяжеловато входила. Читабельность как мне кажется страдает (я после питона). Но писать правда довольно быстро получается.

Надо ввести критерий сравнения языков по соотношению скорости написания кода к легкости его последующего прочтения ))) Я уже предполагаю несколько потенциальных лидеров по данной метрике )))

+

И победителю вручить премию reviewers nightmare ))

Показалось «go победителю», подумала «за что ж его так»

Не показалось - я раскладку забыл переключить )) Но Go в этом конкурсе ничего не светит )