Они из него многие фичи убрали

А идея, я правильно понял — натянуть синтаксис из C на ML-язык?

Если ты только пробуешь, то у тебя есть склад открытых бутылок?

Я же не один пробую :)

Всё ещё шитшторм продолжается:)

надо было тебе первым обвинить орхетектора в токсичности просто

Сделать каминг аут! Сказать что ты супернатурал!

Стопэ :) а ты сомневался что ли?

надо было тебе первым обвинить орхетектора в токсичности просто

Я его обвинил в политических играх, ничего общего с производством не имеющих

Я его обвинил в политических играх, ничего общего с производством не имеющих

ты на джаве работаешь,всякое бывает

ошибка

Он был за Трампа?🤔

Там тоже же синтаксис другой, а именно фичи окамля все на месте

И открытие модулей?

Да, насколько помню

Ну и мы про рескрипт же говорим?

Кстати накидайте статей плз про линейные типы

Реализация

В своём языке или как подхачить их наличие в каком-то другом?

Может кому-то интересно будет: https://t.co/Ayh3G6u9IE

Можно оба

Тут деталь такая, что из реальных используемых языков с линейными типами я знаю только один: хаскель, и то их туда добавили в минимальном варианте и с кучей оговорок. Про него статья вот тут: https://arxiv.org/pdf/1710.09756.pdf

Я на Дл.асме просто вижу вперемешку линейные с зависимыми и сессионными глаза разбегаются

Мне статья выше про линейный хаскель нравится тем, что там рассказывают как в общем про лин типы, так и про мотивацию к их использования. Ну и про то, как это вставить в реальный язык и с какими сложностями можно при этом столкнуться

Ок СПС оценю. А про реализацию афинных есть что-нибудь похожее?

Ну что, у кого медленный твиттер?

27 секунд

Йопта

Ростелеком?

https://rescript-lang.org/docs/manual/latest/module Тут вроде бы есть локальное открытие модулей, если ты именно про open внутри скоупа

А тут кто-нибудь работал со всякими ОУД4 и тп?

чернОУДов? :)

Ты хто?

@vshapenko пора