CFP still open

https://twitter.com/runarorama/status/1009076493157322753

https://twitter.com/runarorama/status/1009076493157322753

а че за компилер солидити? он опенсорс?

делают)

компилер чего в чего?

полно компилеров В солидити

я бы посмотрел на компилер солидити в код EVM

неточно выразился: Simplicity конечно, новый язык: https://bitcoinmagazine.com/articles/introducing-programming-language-so-simple-it-fits-t-shirt/

inspired by Solidity but better (verified with Coq)

they also want to compile Solidity to SImplicity

то есть пока про биткойн в основном

я правильно понимаю что симплисити не тьюринг-полон?

а, действительно. там так и написано

в общем он ни в какой исполняемый код смарт-контракта не компилируется

и если не тюринг полон. то и из солидити в него ничего не скомпилить

потому что солидити тюринг полон

и если не тюринг полон. то и из солидити в него ничего не скомпилить

"ничего" - неправильно. что-то мб и можно. но не всё )

грубо говоря эта штука не рассчитана для того чтоб работать с существующими системами

эфироподобными

просто у меня есть мысль написать ограниченный компилятор солидити на хаскеле

и было бы интересно посмотреть на код парсящий солидити

но видать не судьба

я говорил с ним и он хочет компилировать солидии в симплисити но только то что подмножество солидити -- полный тьюринг теперь ругательство, против хэкеров. Все хвастаются turing incomplete

"ничего" - неправильно. что-то мб и можно. но не всё )

дада

я говорил с ним и он хочет компилировать солидии в симплисити но только то что подмножество солидити -- полный тьюринг теперь ругательство, против хэкеров. Все хвастаются turing incomplete

В чате по идрису есть фанат, считающий, что тьюринг-полнота это заговор "классических" математиков

а в старинном главном хаскел-чате на IRC 10 лет назад обсуждали Гитлера. Ничего не меняется)

интересно, а были попытки сделать язык с максимальной сложностью P?

Malbolge — Википедия https://ru.m.wikipedia.org/wiki/Malbolge

Не по P сложный, но тоже хорош

Кто-то что-то знает хорошее про HaTeX? Пока ощущение, что "код для генерации файла" == "сгенерированный файл"

Кто-то что-то знает хорошее про HaTeX? Пока ощущение, что "код для генерации файла" == "сгенерированный файл"

гомоиконичненько

гомоиконичненько

переведи =)

переведи =)

https://ru.wikipedia.org/wiki/Гомоиконичность

?

еще джоба https://gitter.im/ruHaskell/jobs?at=5b30a3bd6ceffe4eba309ee4

Было чо в чате интересноне за выходные?

Было чо в чате интересноне за выходные?

нет, только го, свифт и триз

И воющие за свободу утверждать, что 2x2=5, либертарианцы

уже и метка для альфы 8.6 есть, ну, может "тайплевел не так адово тормозит" это не новая фича, а багфикс

так что надежда пока есть

а то что ghci не течёт это фича?

по идее разным ленгвидж серверам в помощь

ТРИЗ-то кому-то удавалось в программировании применить?

Про Го и Свифт понятно, что пытались

а то что ghci не течёт это фича?

Это баг

ТРИЗ-то кому-то удавалось в программировании применить?

Ты уже спрашивал это

В другом чате. А тут никто ещё не отвечал

Да и там не ответили

Ответили же

Я сейчас за городом, вернусь в цивилизацию, скину еще что-нибудь. По программированию лично у меня наработок пока нет.

Судя по наличию некоторого кол-ва хэйтеров ТРИЗ на хабре, с применением ТРИЗ к программированию "в лоб" не все гладко. Однако соображения, которые я изложил в статье, на мой взгляд дают повод для оптимизма. Вопрос требует участия головы. Возможно, адаптации ТРИЗ под программную специфику, возможно извлечения из нее того, что может быть нам полезно.

И тут не обсуждали ТРИЗ вроде

ТРИЗ звучит как бппп какое-то

или псевдонаучное сектантство для атеистов

Да не, ТРИЗ - норм. Но применять непросто :)

Особенно - к погромированию

а то что ghci не течёт это фича?

можно просто перезапускать, так что ерунда. вот компилировать телеграм-бот быстрее чем за день - это фича

ну и что фиксы в гхци обсуждать - они уже в 8.6 попали

Вы ещё не компилировали Телеграм клиента на плюсах.

А ещё я бы хотел поржать с реакт-натива. Все проблемы airbnb с которым исключительно из-за отсутствия типов

в случае плюсов-то особо уже ничего не улучшить (без того чтоб сделать плюсы не плюсами)

А ещё я бы хотел поржать с реакт-натива. Все проблемы airbnb с которым исключительно из-за отсутствия типов

да не не только же

ERROR: S client not available

там же беда что приходится писать на нативном языке и джиэсе

ну и диагностика плохая

Че мы натворили? От нас Москвин отписался

/me ждёт тулкит на расте от Шрамко

/me ждёт тулкит на расте от Шрамко

Мировая коммунистическая революция будет раньше

А ещё я бы хотел поржать с реакт-натива. Все проблемы airbnb с которым исключительно из-за отсутствия типов

Все проблемы с ним из-за того, что фронтов стало многовато, вот и суют свой хатымылы (html) и джыэс (js) куда ни попадя.

Мировая коммунистическая революция будет раньше

Оживим компанейро Троцкого?

Че мы натворили? От нас Москвин отписался

он был в этом чате?

он был в этом чате?

Да

В твиттере написал что отпищася от нас

Все проблемы с ним из-за того, что фронтов стало многовато, вот и суют свой хатымылы (html) и джыэс (js) куда ни попадя.

ну там нет хтмл и идея до сих пор кажется славной

В твиттере написал что отпищася от нас

пипец

https://twitter.com/deniok/status/1011202315825696768

ну там нет хтмл и идея до сих пор кажется славной

Мне всегда казалось славной идея писать под андроид на яве, под айфон на свифте, и вообще использовать инструменты по прямому назначению, не пытаясь изобрести универсальный абстрагирующий всемогутор.

https://twitter.com/deniok/status/1011202315825696768

Зато Патрышев здесь

нужно сделать отдельный хаскель-чат про хаскель

нужно сделать отдельный хаскель-чат про хаскель

Такой есть же

Давно надо отделить blah и строго карать за ослушание

Мне всегда казалось славной идея писать под андроид на яве, под айфон на свифте, и вообще использовать инструменты по прямому назначению, не пытаясь изобрести универсальный абстрагирующий всемогутор.

ограниченное количество методов, ио в ui треде, программисты пытающиеся говорить что знают как работать с потоками и выносящие io из ui и получающие дерьмо всюду этот внешний xml

для каждой умной мясорубки свой говноязык применять - отличная идея

Давно надо отделить blah и строго карать за ослушание

Заведи его сам. Мне надоело держать полумёртвые чаты

https://twitter.com/deniok/status/1011202315825696768

то ли дело - твиттер, там-то ничего лишнего не напишут

ограниченное количество методов, ио в ui треде, программисты пытающиеся говорить что знают как работать с потоками и выносящие io из ui и получающие дерьмо всюду этот внешний xml

> получающие дерьмо А это потому, что андроид весь такой. Всякий раз, когда оно тормозит несмотря на многоядерность, я вспоминаю такую вещь, как thread affinity, которой однако же в API не бывает - потому что писали его любители абстрактных абстракций.

(а я говорил, что политоту в чяте не надо развозить... без неё бы можно было накапать ТРИЗа и не перелилось бы ни у кого)

вроде москвина политота не особо раздражает, другое дело триз (могу его понять)

для каждой умной мясорубки свой говноязык применять - отличная идея

ну да кстати. когда то в мобилках была особенность что процы слабые и в андроиде отказывались от енумов и наследования. сейчас такого нет. осталась особенность что у обоих мобилок в отличие от веб клиента развит персистент. надеюсь и в вебе к этому придут и разница останется только в дизайнах.

Чем вам триз не нравится?

Ну кроме того, что это кровавый коммунизм

вроде москвина политота не особо раздражает, другое дело триз (могу его понять)

По моей классификации, ТРИЗ - это что-то из времён перестройки, рядом с Аланом Чумаком и программой 500 дней. "Как сделать всё хорошо по очень хорошей методологии, которую раньше не применяли, потому что они-то дураки, а мы-то умные".

> получающие дерьмо А это потому, что андроид весь такой. Всякий раз, когда оно тормозит несмотря на многоядерность, я вспоминаю такую вещь, как thread affinity, которой однако же в API не бывает - потому что писали его любители абстрактных абстракций.

я тебя на самом деле не понял, но в целом хочется согласится) лень гуглить аффинити

Чо за триз то?