Size: a a a

2020 July 23

m

mark in Haskell
Никому часом не доводилось протаскивать pkgconfig-depends из стаковского package.yaml в кабал-файл?
источник

m

mark in Haskell
Стак (вернее hpack) его игнорит и в кабал-файл не добавляет, а хотелось бы..
источник

A

Andrey in Haskell
adam
Можешь у Артёма посмотреть (lens over tea), он по-моему его в книгу упаковал
источник

ЗП

Зигохистоморфный Пре... in Haskell
Oleg ℕizhnik
представления не имею, почему именно это лимит, но подобное полиморфное значение является частным случаем произведения по множеству всех типов
т.е. если взять дискретную категорию, в которой объекты - типы хаскеля и нет стрелок, кроме айдентити, а потом построить функтор D, соответствующий тайпконструктору f, пределом D будет такой тип
я просто помню где-то у Кметта было, что это лимит
источник

ЗП

Зигохистоморфный Пре... in Haskell
колимит Colim f = exists a. f a
источник

AR

Alexey Raga in Haskell
Ну что, можно сказать, что у Хаскеля появилась IDE?
https://twitter.com/meeple_/status/1286046745076670465
источник

Oℕ

Oleg ℕizhnik in Haskell
Ну да, это сумма
источник

АГ

Александр Гранин... in Haskell
🧙‍♂️🦹‍♂️🧜‍♂️🧞‍♂️
привет. а есть ли книга по паттернам в хаскеле/фп?
Вообще, зависит от того, что ты называешь паттернами. Рекомендую вот с этим списком ознакомиться:

https://github.com/graninas/software-design-in-haskell#Books-on-Software-Architecture-in-Haskell
источник

JS

Jerzy Syrowiecki in Haskell
🧙‍♂️🦹‍♂️🧜‍♂️🧞‍♂️
привет. а есть ли книга по паттернам в хаскеле/фп?
источник

JS

Jerzy Syrowiecki in Haskell
нет, она появилась давно, а сейчас всего лишь автоматизировали старую неработающую IDE, она теперь может неработать гораздо быстрее!
источник

AR

Alexey Raga in Haskell
Jerzy Syrowiecki
нет, она появилась давно, а сейчас всего лишь автоматизировали старую неработающую IDE, она теперь может неработать гораздо быстрее!
Это да, давно. Но до возможности нормальной инсталяции оно как-бы не считалось :)
источник

JS

Jerzy Syrowiecki in Haskell
Alexey Raga
Это да, давно. Но до возможности нормальной инсталяции оно как-бы не считалось :)
по-моему, сложности инсталляции — это мелочь по сравнению с багами в работе
источник

JS

Jerzy Syrowiecki in Haskell
инсталлировать-то и раньше можно было
источник

JS

Jerzy Syrowiecki in Haskell
а работать до сих пор нельзя
источник

AR

Alexey Raga in Haskell
Jerzy Syrowiecki
по-моему, сложности инсталляции — это мелочь по сравнению с багами в работе
Не для новичков. Ну я тоже уже не первый год пользуюсь (HIE, потом HLS), баги есть, но работать можно. Лучше, чем ничего :)
источник

JS

Jerzy Syrowiecki in Haskell
Jerzy Syrowiecki
а работать до сих пор нельзя
с IDE нельзя, без IDE можно работать
источник

AD

Andrei D in Haskell
источник

AR

Alexey Raga in Haskell
Я когда-то давно пробовал, оно было сильно хуже HIE по тем временам. Допускаю, что уже всё гораздо лучше :)
источник

in Haskell
насколько сейчас HLS отстаёт от HIE?
источник

АГ

Александр Гранин... in Haskell
Philip Wadler – Propositions as Types
Simon Peyton Jones – Elastic sheet-defined functions
Vitaly Bragilevsky – The clear path to Haskell complexities
Joachim Breitner – The many faces of isOrderedTree
Brandon Chinn – aeson-schemas: Safely extract JSON data when data types are too cumbersome
Richard Eisenberg – Parameters of Many Flavors
David Feuer – Stacks and queues with amortized logarithmic-time operations
Michal Gajda – Agile generation of Cloud API bindings with Haskell
Jeremy Gibbons – How to design co-programs
Gabriel Gonzalez – How to market Haskell to a mainstream programmer
Alexander Granin – Concurrent applications with Free monads and STM
Veronika Romashkina & Dmitrii Kovanikov – Stan – Haskell Static Analyser
Andrew Lelechenko – Bit vectors without compromises
Andres Löh – Zero-Overhead Abstractions in Haskell using Staging
Bartosz Milewski– Replacing functions with data
Emily Pillmore – Hulk SMASH: re-imagining the Maybe-monad and its design space
Susan Potter – Thinking in Properties
Marcin Rzeźnicki – Building a web library using super hard Haskell
Jason Shipman – Context Is Everything*
Arnaud Spiwack – Data vs Control: a tale of two functors
Pawel Szulc – ?
Eric Torreborre – Down to the wire
Jan Christopher Vogt – Writing 2D games using super simple Haskell
Vladislav Zavialov – Haskell to Core: Understanding Haskell Features Through Their Desugaring
John Wiegley – Technique for writing more debuggable Haskell functions

Доклады ближайшей (и первой) конференции Haskell Love.

Конфа бесплатная, как я понимаю
источник