даже начал выводиться на экран...

и вычисляться

в рантайме типов нету

то что он не вычисляется уже не мои проблемы

в рантайме типов нету

позвольте не согласиться. Boxed есть. Если только моя инфа не устарела

не начал он это show сработало

я не понимаю этого утверждения

типы стираются System DC ещё не запилили

ну да, шоу сработало. Значит на вход ему мы что? ЧТо-то подали, ленивое. Что он начал вычислять так как потребовался результат. СЛедовательно извлечено

нет конечно

если бы было не извлечено, даже кавычка бы не вывелась.

Извлечение это и есть чисто операия на д типами

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

ладно уже философия какая-то

Получается так, лол)

Ну ок, если считать извлечением не операцию над типами, а получение готового результата, то ок, не извлекаем.

но тут я уже сомневаюсь в правильности того или иного понимания термина извлечение. Поэтому на всякий случай в ответе уточнил про конечность списка

+

что это нормальный список а не... wtf 😆

Ну ок, если считать извлечением не операцию над типами, а получение готового результата, то ок, не извлекаем.

да даже WHNF не получаем

не получаем)

а над типами поколдовали вполне... ;D

Ладно, давай сойдёмся что очередной вопрос странный?

😆

неполный

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

ну да, поэтому я говорил только про строгость и ленивость Test

свойства ленивости и строгости Test влияют на извлекаемость в разных условиях...

это тоже ничего не меняет

Ну как? Если Int32 не вычислено, то... разве не хрен ты что извлечёшь?

т. к. Test даже возращён не будет

В случае СТРОГОГО Test

пардон

В случае ленивого — пожалуйста)

я привел пример, где не будет

let x = x in x передай, и привет

я понял)

но не буду повторяться...

чёт он совсем замолчал

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

https://gist.github.com/klapaucius/1393078 - что это дает?

как итог, смысл этого все еще не ясен

если не строгое и там и там вернем

как красивее переписать ? go `catch` (\e -> handle e $> succ i) `catch` (\e -> onHttpE e $> succ i)

как итог, смысл этого все еще не ясен

как писать классов типов ограниченные под констреинтами на тип

catches?

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

о каком поле идёт речь?

catches?

о, точняк. в Control.Monad.Catch оно не список берет а Foldable, вот я и не заметил.

о каком поле идёт речь?

поле структуры Тест, где находится список

поле структуры Тест, где находится список

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

ясно короч

Главное не ясно зачем он задал этот вопрос в ответ на мои попытки уточнить недопонимания между нами? 😆

кто и что имел в виду

так странно

как итог, смысл этого все еще не ясен

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

> type C f a :: Constraint type C f a = () fmap :: (C f a, C f b) => (a -> b) -> f a -> f b Что это за магия? O_o

не похоже на... type Deck = [Card]

например

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

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

type families

спс.

... читал да забыл

Глупый вопрос - какую задачу решают type families, а какую gadt?

это одно и тоже

грубо говоря

Очень грубо имхо, они просто одинаковые механизмы (коершены эквивалентных типов) используют

вообще tf - вычисление на типах

хм. а как на 32 битных ghc делать threadDelay на дольше чем maxBound :: Int микросекунд?

Делать несколько раз и мириться с возможной погрешностью

сделать несколько?

можно попросить at тебя в сокет пнуть

а есть пакет?

Есть, видел недавно

был

https://hackage.haskell.org/package/concurrent-extra-0.5/docs/Control-Concurrent-Thread-Delay.html как обычно, Бас приходит на помощь

не помню что-то типа timeouts

хм

из нового выпелен

http://hackage.haskell.org/package/unbounded-delays во

Ну так а задачи с их помощью какие решают )?

семейства: как уже выше сказали, вычисление на уровне типов классический пример - найти тип элемента по типу контейнера другой классичиский - сложение натуральных чисел на тайплевеле как я понимаю, многие задачи семейств раньше (да и сейчас) решали через классы + функциональные зависимости гадты: когда нужна зависимость типа от типов аргументов конструктора, в случае с фантомами например. Классический пример: data E a where I :: Int -> E Int B :: Bool -> E Bool Sum :: E Int -> E Int -> E Int -- this And :: E Bool -> E Bool -> E Bool -- and this eval :: E a -> a eval (I x) = x eval (B b) = b eval (Sum x y) = eval x + eval y eval (And a b) = eval a && eval b без gadt-ов такое написать сложнее решаемые задачи: более инвариантные под задачу типы