Дмитрий Павлюк

Интересно, а будет ли прямая компиляция из ghc в wasm? Вернее когда? Как по мне, так это верное решение, которое даст нам достаточно просто й вариант периносимых приложений с ...

Попробовал я тут вспомнить l-исчисление... и зайти с ним на уровень типов, но вот такой код увы не собирается :( type If b x y = b x y type T a b = a type F a b = b m :...

Чем выходные отличаются от будней? На выходных я делаю тоже самое, но для себя и бесплатно :(

Может Луа?

А если я хочу на них построить нормальные вычисления? Скажем меня интересуют не числа чёрча, а позиционные, чтобы можно было считать не за n от модуля, а за log от него же.

Такой момент, вот у меня есть хаскельный Integer, можете посоветовать его аналог на си++, чтобы человек, которому я послал число длиной байт 20-30 мог с ним проделывать какие ...

А что не так с расширениями? Вот удобно мне их пользовать, вклюячаю, не хочу, не включаю...

Так, ещё раз просмотрел в код... я по прежнему в непонятках... как может остаться не до конца открытое соединение, если поток упал с исключением ConnectionClosed????

Не очень это мягко сказано, но может я что-то упустил? Мне хотелось бы видеть функцию с типо f: (a->b) -> Epx -> Exp, Для примеру... не знаю, думаю пока.

А на проксях можно строить функции на типах? Если да, то ссылку в студию ибо я жажду это зачесть.

А откуда взять иначе деньги на обучение? Не у всех они есть. Тем более на качественный вуз.

А что с ней не так? Там есть спорные моменты, но если нужно читать/писать только хасклем, то они очень даже ничего.

Да ладно? А гугл помнит... https://wiki.haskell.org/Cabal/Survival http://chriswarbo.net/blog/2015-06-25-cabal_hell.html

Что совсем ничего? Я не верю, что не существует библитечки позволяющей перебирать AST более комфортно :(

Так, допустим, у меня полуоткрытое соединение, а делать с ним что? Если клосом я его уже прилоскал?

Оно матчится, но смысл матчить, если можно гарантирровать, что тебе просто не смогут послать лишнего?

Хм, поделишься потом опытом? Мне было бы очень интересно.

А есть какие-то статьи по развитию TH? А то я как-то в последние пол года эту тему упскаю :(

>глянь TCP - не получается ли там half-closed сокет А это что такое?

С какими? Я пока только зависимые типы жду... но это ещё когда будет :(