нет конечно

чатик разделился на мертвый, blah и тот где говорят про коалгебры

даже до появления этого

мне конечно пытались много раз сказать, в чем бонус отдельного чятика, но я так и не понял

Спасибо большое

С каиндами понятно

class X a where f :: a -> Int newtype Z = Z Int instance X Z where f (Z x) = x instance X a => X (a, b) where f (x, _) = f x instance X b => X (a, b) where f (_, y) = f y x = f (0, (0, (Z 1, (0, 0)))) -- ожидаю 1 Duplicate instance declarations: instance X a => X (a, b) instance X b => X (a, b) вот тот пример, overlaps мне не помог никак почему не работает - понимаю, как решить задачу - нет

ну в конекст же не смотрит компилятор

X (a,b) == X (a,b)

можно через ~

в контексте

вот текущее рабочее рашение, но тут дублирование кода шаблона Z newtype Z = Z Int class X a where f :: a -> Int instance X Z where f (Z x) = x instance X (Z, b) where f (a, _) = f a instance {-# OVERLAPS #-} X b => X (a, b) where f (_, y) = f y x = f (0, (0, (Z 1, (0, 0))))

эм..

нужно же {-# OVERLAPABLE #-} X b и {-# OVERLAPS #-} X (Z,b)

Я понял что такое прокси

Но я не понимаю

Зачем его использовать

Час ушел

например у тебя есть код вида show . read

хотя нет, прокси просто элемент чтобы тип можно было передавать вместе с термом

без type applciations

а ViewPatterns и lambda case можно как-то совместить в одно?

а ViewPatterns и lambda case можно как-то совместить в одно?

конечно)

а ViewPatterns и lambda case можно как-то совместить в одно?

https://twitter.com/xgrommx/status/833793370547961856

Спасибо, я уже не помню что я писал что оно у меня не работало :)

@kana_sama equality я ещё вижу как вытащить, но не произвольный констрейнт

получилось!

{-# LANGUAGE KindSignatures #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE PolyKinds #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} import Data.Proxy class X a where f :: a -> Int newtype Z = Z Int instance X Z where f (Z x) = x data T = L | R type family IF t a b :: k where IF 'True a b = a IF 'False a b = b type family When t a :: k where When 'True a = a type family Or a b where Or 'True a = 'True Or a 'True = 'True type family XQ a where XQ Z = True XQ (a,b) = Or (XQ a) (XQ b) XQ c = False type family XQW z :: T where XQW (a, b) = IF (XQ a) 'L (When (XQ b) 'R) instance (z ~ (a,b), XX (XQW z) a b) => X (a,b) where f (a,b) = ff (Proxy @ (XQW (a, b))) a b class XX (t :: T) a b where ff :: proxy t -> a -> b -> Int instance X a => XX 'L a b where ff _ a _ = f a instance X b => XX 'R a b where ff _ _ b = f b x = f (0::Int, (0::Int, (Z 1, (0::Int, 0::Int))))

но это ужас хтонический

@kana_sama ^

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

и соотвественно выбирается ветка через вспомогательный класс

там у нас уже есть выбор т.к. мы вводим доп параметр, под направление

семейства должны быть написаны так, чтобы инстанс в этой ветке у нас был

как-то это через FD должно быть можно записать в т.ч. (наверное)

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

но это ужас хтонический

Это да

Спасибо

а что, Nat из GHC.TypeLits нельзя матчить (чтобы S k забрать например)?

+ 1 использовать нельзя, он не *ективный

нельзя, он же не индуктивный

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

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

Имплементация data с единственным строгим полем как-нибудь отличается от newtype?

Да, отличается

newtype будет выкинут компилятором

т.е. не будет заворачивания-разворачивания

К тому же мы уже тут натыкались на то, что парсер на newtype работает, а на энергичном data - нет

То есть даже в энергичном data будет лишний боксинг?

конечно

даже в анпакнутом будет лишний конструктор, подозреваю

test?

То есть даже в энергичном data будет лишний боксинг?

не обязательно boxing

То есть даже в энергичном data будет лишний боксинг?

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

даже в анпакнутом будет лишний конструктор, подозреваю

почему это?

в смысле что указатель будет

data X = X {-# UNPACK #-} !Y тут будет заколовок, но не будет indirection

ping

pong

Опа, телега ожил.

потому что у нее Хаскеля нет

а все падает почему

обратное польское цитирование

почему это?

ну объектный кусок со ссылками на инфотейлбы то будет?

это не боксинг конечно

будет, но без индирекшона это не боксинг

то что полный эквивалент ньютайпа не сделать так - это, естественно, правильно было сказано

ну я вроде так писал выше

Prelude GHC.HeapView> getClosureRaw x (0x00007fc848b3d0c0,[140498189930704,283479762992],[0x0000004200b5e830]) Prelude GHC.HeapView> getClosureRaw y (0x00007fc840dc71e8,[140498058375672,42],[])

что обёртка будет а индирекшена не будет

правда телеграм отдыхал, может не отправилось

из одного поста: > Interestingly, Go, the language that is closest to the original UNIX philosophy, encourages handling network connections this way, but is still features a select{} statement.

так то!

обратное польское цитирование

я отправил в нормальном порядке, кажется теперь меседжи сторятся в стеке

не то что ваши хаскели

Кривовато обновили, лул

Я, конечно, бывает роняю при обновлении продакшон, но не настолько

Дуров сказал что электричество в датацентре пропало

Врёт поди

СОРМ ставили, инфа 100%

Ну и ладно, хоть чатик искать не надо будет

на Лубянке (где и находится датацентр телеги) просто проводили противопожарные учения и отключали электричество

Дуров сказал что электричество в датацентре пропало

> 200 миллионов активных пользователей > датацентр без резерва

Типичный Дуров.

Ну вообще телеграм последнее время нагибается под нагрузкой

За последние три недели это уже второй раз

На пхп написан поди

типичный хаскель канал

На пхп написан поди

c криптографией на джава апплетах

угу, с unbox-strict-fields будет один конструктор для самого типа

c криптографией на джава апплетах

А чо не ActiveX?

Чё, ребзя, кто в биокад пойдёт завтра на @bravit111?

на самом деле тема кажется какой-то размытой

но в принципе чё б не сходить

каждая операция с IEEE будет накапливать ошибку, если не использовать спец схемы

Кстати, Kahan summation реализовано в math-functions. На нескольких тысячах сложений даёт вообще точный ответ

Чё, ребзя, кто в биокад пойдёт завтра на @bravit111?

я