В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Haskell

1659 membersпожаловаться на группу
2020 December 05

к

кана in Haskell
как типа так и функций
источник
18:58пожаловаться#1

YR

Yuki Rito in Haskell
доверяешься имплементации :)
источник
18:58пожаловаться#2

AV

Alexander Vershilov in Haskell
вон newtype выше тоже гарантрует
источник
18:58пожаловаться#3

к

кана in Haskell
нет, ньютайп ничего не гарантирует
источник
18:58пожаловаться#4

AV

Alexander Vershilov in Haskell
они или оба гарантируют или оба нет, выбирай
источник
18:59пожаловаться#5

к

кана in Haskell
а вот функции которые будут возвращать ньютайп своим определением могут что-то гарантировать
источник
18:59пожаловаться#6

AV

Alexander Vershilov in Haskell
Я согласен с любым выбором
источник
18:59пожаловаться#7

AV

Alexander Vershilov in Haskell
а реализация insert x t = coerce x:filter (=/x) t
источник
18:59пожаловаться#8

AV

Alexander Vershilov in Haskell
Вот эта штука верная, а то, что в set insert верный ещё доказать надо
источник
19:00пожаловаться#9

AV

Alexander Vershilov in Haskell
И не факт, что он верный если у тебя 2 разных Ord инстанса приедут, что сложно, но можно обеспечить
источник
19:00пожаловаться#10

YR

Yuki Rito in Haskell
ну можно обвешать все LiquidHaskell-ем и "гарантировать"
источник
19:00пожаловаться#11

AV

Alexander Vershilov in Haskell
Это гарантия - да
источник
19:01пожаловаться#12

к

кана in Haskell
newtype NotZero = NotZero Int

ничего не гарантирует

пара
module NotZero (NotZero, makeNotZero) where
 newtype NotZero = NotZero Int
 makeNotZero :: Int -> Maybe NotZero
 makeNotZero 0 = Nothing
 makeNotZero x = Just (NotZero x)

своим определением гарантирует что NotZero это не не 0
источник
19:01пожаловаться#13

AV

Alexander Vershilov in Haskell
Но гарантировать на списках на порядок проще
источник
19:01пожаловаться#14

к

кана in Haskell
мало того, она дает эту информацию в удобном виде для чтения на тайплевеле
источник
19:01пожаловаться#15

к

кана in Haskell
а список это просто список, пока для него нужные функции не напишешь, это просто списком и останется
источник
19:01пожаловаться#16

AV

Alexander Vershilov in Haskell
1. не похоже на сет
2. не гарантирует
источник
19:02пожаловаться#17

к

кана in Haskell
как же не гарантирует, я в документации указываю что гарантирует
источник
19:02пожаловаться#18

к

кана in Haskell
а в документации списка ничего такого не указано
источник
19:02пожаловаться#19

AV

Alexander Vershilov in Haskell
ты врёшь
источник
19:02пожаловаться#20