FPComplete сейчас консультируют Cardano Foundation, а не IOHK

ох как у вас все запутано

не говори...

а Кардано фаундейшн это кто?

и как связан с iohk

https://cardanofoundation.org/

они делением размножаются видимо

цифровым

операция Ы какая-то, чтобы никто не догадался

Бабки прячут от фрс

от налогов уходят

угу

о, одновременно как

по той ссылке менеджмент какой-то

и как связан с iohk

> Cardano is a collective project

https://cardanofoundation.org/project/

вот так и связаны

Дело в том, что IOHK делает не только Cardano

есть и другие проекты

совсем другие

И не всё на Хаскеле

:-)

и не всё про криптоту?

тот же скорекс я так понял просто финансируется ради маркетинга

вот так и связаны

не очень объяснение ;)

я не знаю, что и ради чего финансируется, если честно

математическое больно

<анекдот про математика на холме>

Например, вот другой наш проект: https://github.com/input-output-hk/mantis. A Scala based client for Ethereum Classic.

То есть понятно что Cardano - это главное детище IOHK. Но есть и другие направления.

не очень объяснение ;)

Ну, проект Cardano - это Cardano Foundation. Это отдельная организация. А IOHK - это типа технический подрядчик, который всё это имплементит (и одновременно является одним из трёх крупшейших стейкхолдеров). Но мы не можем сказать, что проект Cardano принадлежит IOHK, это не так. Нам принадлежит лишь наш код. :-) Впрочем, он под MIT идёт, так что и тут у нас лишь авторские права.

а кого тогда консаолтит снойман

есть другие подрядчики?

или он консаолтит менеджмент?

FPComplete консалтил сначала IOHK, а потом стал консалтить Cardano Foundation. Только не спрашивай, что и почему он там консалтит

я не в курсе

Возможно, есть какие-то смежные проекты, или планы о таковых, я правда не знаю.

и не всё про криптоту?

Всё про криптоту.

так Снойман консалтил IOHK, которые работают на Cardano Foundation, главный акционер которых IOHK. После этого он ушел от IOHK, работать напрямую на Кардано фаундейшн, но не консалтить IOHK. И.е. в CF есть другие ветки/подрядчики на Haskell, о которых ты не в курсе?

я правильно скомпилировал?

интересно за 28 минут в метро я доеду

хотя я честно был удивлен что Дункан и Майкл в одном месте были

из их слов следовало что у них некоторая непереносимость

Да, они были в одном месте

и даже работали с плюс-минус одним и тем же кодом

И ревью друг другу делали?

какие вы нескромные вопросы задаёте, Леонид...

Лябмдаонид вообще-то.

не совсем, Лямбдаеонид :)

Вот и я подумал - уточнят насчёт е или нет.

Ладно, хватит странных вопросов... :-) Скажите лучше, могу ли я в одном package.yaml указать две библиотеки? Обычно же там есть одна library.

а две можно?

советую выкинуть package.yaml

вот executables можно сколько угодно

почему?

в кабале только одна публичная библиотека может быть на пакет

а непубличные стек не поддерживаеи

ок, понял

но а почему выкинуть-то?

в будущем в кабале будет много либ, а в стеке черт знает когда

т.к. единственный его бонус это other-modules не перечислять

по мне это большой бонус

удали .cabal файл и сделай кабал инит

и смержи назад

(костыль)

А вот кстати, @qnikst, пока вспомнил: каково твоё мнение насчёт нового dhall?

это ужасный язык

без рядового полиморфизма он неюзабелен

(по-моему тоже дичь, хоть меня и не спрашивали)

ок, понял

ну идея интересная но слишком opionated

особенно я не понимаю инструменты серии dhall-to-whatever

@dshevchenko а был старый dhall?

что заставляет людей хотеть писать исходник именно на этом

2 публичных библиотеки на настоящий момент нельзя

не, ну Денис у вас и рекрутеры шустрые

dhall-to-cabal из паранормального вообще

я про IOHK если что :)

не, ну Денис у вас и рекрутеры шустрые

IOHK из каждого окна хайрят вообще

с лагом в 2 месяца?

не знаю про лаг, мне не было интересно

я уже какбы новый контракт подписал, причём там тоже был процесс длинной в 1.5 месяца растянут

ну да не суть

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

угу

да, забываю, что это отдельно

я знаю что тут есть ямлоненавистники, но лучше yaml чем dhall

dhall совсем плох?

он очень странный

что-то я видел кроме гонзалеса еще кто-то за него топит

причем из вменяемых людей

Оливер Чарльз вспоминается

много кто

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

Оливер Чарльз вспоминается

да, наверн он

но это вещь в себе

а вообще не только он

но я решительно не понимаю