fmap show . readIORef =<< newIORef []
вопрос ясен, но можно было и без TA тут же, Scoped достаточно, как ты уже сказал
кана
Alexander
можно, задав тип для []
Alexander
или написав код так что тип однозначный
Alexander
Scoped Type Variables нужно если типопеременную в контекст затащить надо
Alexander
Примерно это я и имел в виду, говоря про странную постановку задачи. Завершение треда через GC - как-то недетерменированенько
ну оно сработает, конечно, но нужно быть аккуратным и да недетеоминировано.
это как с unsafePerformIO если хочется и аккуратно то можно, но лучше без
Alexander
да кстати, в таких задачах стоит обратить внимание на broadcastTChan тут вроде не нужен, но бывает полезен
Alexander
а про треды, треду можно приделывать нормальный "финализатор", через forkFinally
Alexy
друзья кому интересен блокчейн на хаскеле, приходите к нам в Амстердам на rethinktrust.org -- будет kadena, serokell, ну и Скала тоже будет. А осенью в СФ соберу еще и Symbiont, DFINITY, Constellation, прочие дивные FP+blockchain компании. Еще будет компилятор адской solidity на haskellе.
Alexy
scale.bythebay.io -- моя главная конфа
Alexy
CFP still open
Alexy
https://twitter.com/runarorama/status/1009076493157322753
Alexy
делают)
М
компилер чего в чего?
М
полно компилеров В солидити
М
я бы посмотрел на компилер солидити в код EVM
Alexy
неточно выразился: Simplicity конечно, новый язык: https://bitcoinmagazine.com/articles/introducing-programming-language-so-simple-it-fits-t-shirt/
Alexy
inspired by Solidity but better (verified with Coq)
Alexy
they also want to compile Solidity to SImplicity
Alexy
то есть пока про биткойн в основном
Alexander
я правильно понимаю что симплисити не тьюринг-полон?
Alexander
а, действительно. там так и написано
М
в общем он ни в какой исполняемый код смарт-контракта не компилируется
М
и если не тюринг полон. то и из солидити в него ничего не скомпилить
М
потому что солидити тюринг полон
Алексей ayaye :)
и если не тюринг полон. то и из солидити в него ничего не скомпилить
"ничего" - неправильно. что-то мб и можно. но не всё )
М
грубо говоря эта штука не рассчитана для того чтоб работать с существующими системами
М
эфироподобными
М
просто у меня есть мысль написать ограниченный компилятор солидити на хаскеле
М
и было бы интересно посмотреть на код парсящий солидити
М
но видать не судьба
Alexy
я говорил с ним и он хочет компилировать солидии в симплисити но только то что подмножество солидити -- полный тьюринг теперь ругательство, против хэкеров. Все хвастаются turing incomplete
Евгений
я говорил с ним и он хочет компилировать солидии в симплисити но только то что подмножество солидити -- полный тьюринг теперь ругательство, против хэкеров. Все хвастаются turing incomplete
В чате по идрису есть фанат, считающий, что тьюринг-полнота это заговор "классических" математиков
Alexy
а в старинном главном хаскел-чате на IRC 10 лет назад обсуждали Гитлера. Ничего не меняется)
Alexander
интересно, а были попытки сделать язык с максимальной сложностью P?
Dmitry
Malbolge — Википедия
https://ru.m.wikipedia.org/wiki/Malbolge
Dmitry
Не по P сложный, но тоже хорош
Timofey
Кто-то что-то знает хорошее про HaTeX? Пока ощущение, что "код для генерации файла" == "сгенерированный файл"
Ilya
Serghei
🤔
Leonid 🦇
еще джоба https://gitter.im/ruHaskell/jobs?at=5b30a3bd6ceffe4eba309ee4
Leonid 🦇
Было чо в чате интересноне за выходные?
Cheese
Евгений
И воющие за свободу утверждать, что 2x2=5, либертарианцы
A64m
уже и метка для альфы 8.6 есть, ну, может "тайплевел не так адово тормозит" это не новая фича, а багфикс
A64m
так что надежда пока есть
Leonid 🦇
а то что ghci не течёт это фича?
Leonid 🦇
по идее разным ленгвидж серверам в помощь
Dmitry
ТРИЗ-то кому-то удавалось в программировании применить?
Dmitry
Про Го и Свифт понятно, что пытались
Dmitry
В другом чате. А тут никто ещё не отвечал
Dmitry
Да и там не ответили
Евгений
Ответили же
Евгений
Я сейчас за городом, вернусь в цивилизацию, скину еще что-нибудь.
По программированию лично у меня наработок пока нет.
Евгений
Судя по наличию некоторого кол-ва хэйтеров ТРИЗ на хабре, с применением ТРИЗ к программированию "в лоб" не все гладко.
Однако соображения, которые я изложил в статье, на мой взгляд дают повод для оптимизма. Вопрос требует участия головы. Возможно, адаптации ТРИЗ под программную специфику, возможно извлечения из нее того, что может быть нам полезно.
Евгений
И тут не обсуждали ТРИЗ вроде
Leonid 🦇
ТРИЗ звучит как бппп какое-то
Leonid 🦇
или псевдонаучное сектантство для атеистов
Aleksei (astynax)
Да не, ТРИЗ - норм. Но применять непросто :)
Aleksei (astynax)
Особенно - к погромированию
A64m
а то что ghci не течёт это фича?
можно просто перезапускать, так что ерунда. вот компилировать телеграм-бот быстрее чем за день - это фича
A64m
ну и что фиксы в гхци обсуждать - они уже в 8.6 попали
Leonid 🦇
Вы ещё не компилировали Телеграм клиента на плюсах.
Leonid 🦇
А ещё я бы хотел поржать с реакт-натива. Все проблемы airbnb с которым исключительно из-за отсутствия типов
A64m
в случае плюсов-то особо уже ничего не улучшить (без того чтоб сделать плюсы не плюсами)
Влод
Влод
там же беда что приходится писать на нативном языке и джиэсе
Влод
ну и диагностика плохая
Anatolii
Че мы натворили? От нас Москвин отписался
Leonid 🦇
/me ждёт тулкит на расте от Шрамко
Слава
А ещё я бы хотел поржать с реакт-натива. Все проблемы airbnb с которым исключительно из-за отсутствия типов
Все проблемы с ним из-за того, что фронтов стало многовато, вот и суют свой хатымылы (html) и джыэс (js) куда ни попадя.