Size: a a a

2020 May 14

DZ

Dmitry Zuikov in Haskell
заставлять писать вот такое
источник

DZ

Dmitry Zuikov in Haskell
Переслано от Dmitry Zuikov
{ _1 = < ReportSome | ReportOther >.ReportSome, _2 = "A" }
источник

DZ

Dmitry Zuikov in Haskell
это вообще ненормально
источник

DZ

Dmitry Zuikov in Haskell
Переслано от Dmitry Zuikov
источник

DZ

Dmitry Zuikov in Haskell
Переслано от Dmitry Zuikov
источник

DZ

Dmitry Zuikov in Haskell
код прямо одинаковый. код на втором скриншоте идёт в топку на второй-третий день проекта и переписывается на applicative
источник

A

Andrey in Haskell
а какие требoвания выдвигаются к фoрмату для пoстoрoннегo челoвека?
источник

AK

Artem Kanev in Haskell
Предлагать dhall постороннему человеку это обрекать его на страдания а себя на то что человек с твоей либы сбежит, если у него есть выбор либо если он уже не знает dhall. Как формат обмена поведением между людьми он ИМХО плох. Мы у себя были поставлены в условия в которых впитать дхалл надо, но за это платились деньги и постепенно впитали. Сейчас норм.
источник

DZ

Dmitry Zuikov in Haskell
а мне-то зачем dhall если у меня хаскелл есть?
источник

DZ

Dmitry Zuikov in Haskell
супротив хаскелла dhall жидковат, это на си если мы лисп внутре написали, то у нас возникает соблазн всё потом писать на этом лиспе. а писать код на дхолле вместо хаскелла я что-то смысла не вижу
источник

AK

Artem Kanev in Haskell
Перекомпилировать не надо. Если логикой через типы управлять.
источник

A

Andrey in Haskell
не вместo хаскеля, а вместе с хаскелем
нужнo если надo кoнфигурить сo страшнoй силoй, минимизируя риски в рантайме
источник

DZ

Dmitry Zuikov in Haskell
да блин, тайпчекер написать - это триста  блин строк
источник

A

Andrey in Haskell
кстати, надo будет пoпрoбoвать, спасибo за идею!
источник

DZ

Dmitry Zuikov in Haskell
написать что?
источник

A

Andrey in Haskell
тайпчекер
источник

DZ

Dmitry Zuikov in Haskell
на окамле строк двести, может меньше
источник

DZ

Dmitry Zuikov in Haskell
ща гляну
источник

LO

Leonid 🦇 Onokhov in Haskell
Надо expresso допиливать
источник

DZ

Dmitry Zuikov in Haskell
источник