gsomix

Камон, ну какие юзкейсы у GADT?

Как прокинуть туда зависимости, необходимые для исполнения сайд-эффекта?

@omgszer Зря, получается, мы @ahydrax минимал апи посоветовали? 🙂

А чем императивный F# хуже императивного C#?

@omgszer А ты видел мою подборку материалов про реализацию отсутствующих фич в системе типов F#? Возможно, тебе понравится.

Погодьте, а кого до этого забанили?

Про сложность ФП и F#. Тут нужно обращаться к мастерам религиозных проповедей. :) Например, к докладу "Simple Made Easy" Рича Хикки. Ты говоришь, что ФП и F# — это сложно, а...

А почему у анонимных записей нет конструктора без параметров?

Как это должно работать?

@vl_za А как это работает? let f_IWSAM_flex_StaticMethod(x: #IStaticMethod<'T>) = 'T.StaticMethod(x)

@omgszer Ты запинил с нотификацией? :)

@k_bns Бот?

Генерировать кучу кода для каждого вызова?

@Lovesosatb Какую задачу решаешь? 🙂

Когда уже начнуть удалять фичи, а не добавлять новые? :(

А в каком сейчас состоянии generic math в дотнете? @en3tho @WhiteBlackGoose

Уже пятница, да? Я сейчас размышлял, как описывать стейт машины с запрещенными переходами с помощью computation expressions.

@vl_za Давай с простого начнем. Инференс для констрейнтов будет? :)

@omgszer Почему ты зацепился за DEBUG? Там же две ветки, обе падают с SO.