-- As ':+:' and ':*:' are just binary operators, one might ask what happens if the -- datatype has more than two constructors, or a constructor with more than two -- fields. The answer is simple: the operators are used several times, to combine -- all the constructors and fields as needed. However, users /should not rely on -- a specific nesting strategy/ for ':+:' and ':*:' being used. The compiler is -- free to choose any nesting it prefers. (In practice, the current implementation -- tries to produce a more-or-less balanced nesting, so that the traversal of -- the structure of the datatype from the root to a particular component can be -- performed in logarithmic rather than linear time.) какой в этом смысл, количество полей ограничено и точно вряд ли выйдет в число около сотни, какой смысл тут делать оптимизацию, не лучше ли тут сделать удобно для программиста и делать линейно в виде связаного списка

Как в хаскеле плагинную архитектуру запилить?

код = данные — это идея не лисперов, а Ноймана

код это кровь в наших венах

ещё у семёна из свежего http://simonmar.github.io/posts/2017-10-17-hotswapping-haskell.html

http://hackage.haskell.org/package/plugins

https://hackage.haskell.org/package/unix-2.7.2.2/docs/System-Posix-DynamicLinker.html

@cblp_su [Haskell-cafe] I am interested in doing Offline mode for Stack as GSoC 2018 project

мы решили не делать это средствами stack

https://www.youtube.com/watch?v=emj-p49p4bc&feature=youtu.be во какая штука по ютубам ходит

а можно ли как-нибудь совместить количество бойлерплэйта QuickCheck и красоту отчётов Hedgehog?

чтобы было бойлерплейта как в hedgehog и выглядело как quickcheck? )

написать тайпкласс и инстансы которые по типам ежовые комбинаторы комбинируют?