Телеграмм чат группы haskellru страница 15731

Size: a a a

Haskell

2021 March 14

ты не понимаешь смысл Клапауция

— какие у вас слабые стороны?
— я могу дать технический корректный, но совершенно бесполезный ответ
— можете привести пример?
— могу

источник

20:49пожаловаться #1

Maxim Koltsov in Haskell

A64m AL256m qn I0

> As Andrzej Filinski pointed out decades ago, whereas lazy languages have products, but not sums, eager languages have sums, but not products. Take your pick.

с сегодняшнего дня выбирать больше не надо!

Я так и не понял ничего (

источник

20:50пожаловаться #2

Aleksandr Khristenko in Haskell

Maxim Koltsov

Я так и не понял ничего (

не ты один

источник

20:54пожаловаться #3

A64m AL256m qn<co... in Haskell

это не страшно!

источник

20:54пожаловаться #4

Roman in Haskell

Maxim Koltsov

Я так и не понял ничего (

categorical mumbo-jumbo. В ленивом языке есть негативные типы (те, которые определяются тем, как их разбирать), а в строгом — позитивные (те, которые определяются тем, как их собирать). А произведения на самом деле могут быть и позитивным и негативными

источник

20:58пожаловаться #5

certifiable fleece in Haskell

Roman

Речь про codata?

источник

20:59пожаловаться #6

Maxim in Haskell

Подскажите плиз. Хорошая ли производительность, если использовать в качестве базы данных бинарную сериализацию, стек store conduit servant?

источник

20:59пожаловаться #7

certifiable fleece in Haskell

Я помню видел пейпер о ней

источник

20:59пожаловаться #8

Roman in Haskell

certifiable fleece

Речь про codata?

codata — это разновидность негативных типов, да

источник

21:00пожаловаться #9

Roman in Haskell

функции например тоже негативные, как и ленивые туплы

источник

21:00пожаловаться #10

certifiable fleece in Haskell

Что в этой жизни вообще позитивное..

источник

21:00пожаловаться #11

Roman in Haskell

а строгие туплы — позитивные. Строгие суммы — тоже позитивные. А ленивые суммы — хрень какая-то. Вот теперь в хаскеле есть строгие суммы

источник

21:00пожаловаться #12

Maxim Koltsov in Haskell

Им лишь бы в слова играть

источник

21:07пожаловаться #13

Maxim Koltsov in Haskell

Нет бы в прод писали

источник

21:07пожаловаться #14

certifiable fleece in Haskell

A64m AL256m qn I0

тем временем в 9.2 наконец завезли НАСТОЯЩИЕ СУММЫ, салют бобу харперу
https://gitlab.haskell.org/ghc/ghc/-/commit/b73c9c5face16cc8bedf4168ce10770c7cc67f80

GitLab

Implement the UnliftedDatatypes extension (b73c9c5f) · Commits · Glasgow Haskell Compiler / GHC

GHC Proposal: 0265-unlifted-datatypes.rst Discussion: https://github.com/ghc-proposals/ghc-proposals/pull/265 Issues: https://gitlab.haskell.org/ghc/ghc/-/issues/19523 Implementation Details: Note [Implementation of UnliftedDatatypes] This patch introduces the `UnliftedDatatypes` extension. When this extension is enabled, GHC relaxes the restrictions around what...