https://github.com/fbsamples/ghc-hotswap

В .ghci можно что-то прописать, чтобы оно не смогло выжирать больше N гигов памяти?

Стандартный параметр на размер хипа не сработает?

Который -M

Его можно в профиль забить чтобы не забывать писать каждый раз?

Хотсвоп это круто, в GHC API давно была возможность такое сделать, только возиться много надо

Я не пользуюсь профилем, поэтому не могу ответить. Можно в переменную окружения GHCRTS='-M128m' положить и будет для всех прог с хаскелльным рантаймом

Мм

@cantstop будет жить. Поприветствуем!

Придумал я тут безупречный синтаксис для forall x -> … в тёрмах.

$([t| Int |])

Его достоинство в том, что он уже есть. А добавить нормальный можно потом.

boris будет жить. Поприветствуем!

Надо записать где-нибудь. @int_index синтаксис придумывать не давать

Придумал я тут безупречный синтаксис для forall x -> … в тёрмах.

это вообще о чём?

это вообще о чём?

Скорее всего, о завтипах

$([t| Int |])

$[П|Int|]

$[int_index| Int |]

это вообще о чём?

id :: forall x. x -> x id 5 == 5 id @Int 5 == 5 eid :: forall x -> x -> x eid 5 — error eid Int 5 == 5 Такой эксплиситный forall, для которого @ не нужен.

Только на этапе парсинга мы еще не знаем тип eid, и чтобы корректно распарсить Int в той позиции, нужно много engineering effort вложить в переделывание парсера GHC (чем я сейчас занимаюсь)

id :: forall x. x -> x id 5 == 5 id @Int 5 == 5 eid :: forall x -> x -> x eid 5 — error eid Int 5 == 5 Такой эксплиситный forall, для которого @ не нужен.

спасибо

это чтобы Хаскель догнал Идрис?

А в качестве временного варианта, пока парсер не готов, я просто осознал, что уже через TH можно было бы осуществить eid $([t| Int |])

это чтобы Хаскель догнал Идрис?

Да

id :: forall x. x -> x id 5 == 5 id @Int 5 == 5 eid :: forall x -> x -> x eid 5 — error eid Int 5 == 5 Такой эксплиситный forall, для которого @ не нужен.

А eid это вообще о чем?

Просто демонстрация forall x -> vs forall x.

Вот это мне и не понятно

В отличие от обычного forall это обязательный аргумент, а visibility override @ не нужен.

А. Передача типов в функцию как параметров

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

Здесь разница только в visibility, но не в relevance.

То есть в рантайме ничего не меняется, это все тот же стираемый forall.

Скорее актуально для функций, которые раньше Proxy принимали.

Сравнение с тайпклассами корректнее для foreach, а не forall.

таскать легкий, заходить с него на нормальный

Так и делаю, оч удобно - ноут ~1 кг и вся работа с собой.

а что сейчас на взлете, новый кабал или таки стак? что для нового проекта выбирать?

а что сейчас на взлете, новый кабал или таки стак? что для нового проекта выбирать?

Сейчас начнется...

я не троллю (пока)

Я кабалом без никса не пользовался, не могу сказать

а что сейчас на взлете, новый кабал или таки стак? что для нового проекта выбирать?

new-build + nix

new-build + nix

Вот это вот я тоже плюсую

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

Уже уплочено

у Льва?

ты место работы сменил?

Не, тут и правда придётся вникнуть как можно быстрее

Я про то, что технология изучается один раз и может несколько раз применяться

применение тоже не всегда бесплатное, nixpkps покрывает не совсем 100% всех потребностей плюс подход всёж не совсем традиционный, даж если брать только один Linux

серебряных пуль не бывает

серебряных пуль не бывает

У моего дяди было три

Помогло?

Помогло?

Не знаю, с чем

Он на них любовался и показывал

применение тоже не всегда бесплатное, nixpkps покрывает не совсем 100% всех потребностей плюс подход всёж не совсем традиционный, даж если брать только один Linux

Всегда можно запакетировать то, что не покрыто и если не в nixpkgs заслать PR, то в свой локальный оверлей положить.

Ну и типа. В stackage nightly тоже не всё есть, а то что есть не всегда билдится, поскольку стак не менеджит системные зависимости. Так что – кажется – это не аргумент, показывающий что nix качественно дороже других решений.

Значит, скорее всего имеется в виду, что он количественно дороже. Но, опять же, весь stackage покрыт никс-выражениями.

Более того, все билд-инструменты Haskell работают с nix, так что хоть это и не серебряная пуля, не использовать nix при сборке и пакетировании Haskell проектов представляется мне странным.

Ещё бы все операционные системы работали с nix...

"кажется" было про то, что полноценных сравнений я не видел, так что это одна из гипотез, с другой стороны речь не только про хаскель, т.к. Nix всёж из разряда технологий "всё или ничего"

не совсем так

что именно?

я вот сейчас собранный nix-ом ipsec в виде systemd демона заставляю работать на common ubuntu

из-под спец юзера

время, но ничего запредельно сложного

дак никто и не говорит про запредельность

так же как и пользоваться sudo из /nix/store

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

да

они потребуются

но это не "всё или ничего"

но и не просто с полтычка :(

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

@DanRJ будет жить. Поприветствуем!

Evgeniy Gunov будет жить. Поприветствуем!