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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

1580 membersпожаловаться на группу
2021 May 14

DB

Danil Berestov in Haskell
всё же 2 разных смысла forall немного путают. exists в случае с forall a. a -> a -> a был бы наверное понятнее
источник
15:08пожаловаться#1

к

кана in Haskell
так это не exists
источник
15:09пожаловаться#2

к

кана in Haskell
это именно forall
источник
15:09пожаловаться#3

к

кана in Haskell
если у тебя есть язык где есть экзист и форал, то в этом случае это все еще будет forall
источник
15:10пожаловаться#4

к

кана in Haskell
exists это пара, а тут функция все еще
источник
15:11пожаловаться#5

DB

Danil Berestov in Haskell
это не понял
источник
15:11пожаловаться#6

к

кана in Haskell
exists a. f a это пара из типа "a" и значения f a
источник
15:12пожаловаться#7

к

кана in Haskell
exists a. a -> a
это пара из типа и функции a -> a
имея такую пару, нельзя подставить произвольный "a", у тебя уже есть конкретный

это как
data X = forall a. X (a -> a)

f :: X -> b -> b
f (X g) x = g x -- так нельзя, мы не знаем, тот ли там тип в X, что наш b
источник
15:14пожаловаться#8

к

кана in Haskell
data X = forall a. X (a -> a)
~
data X = X (exists a. a -> a)

тут важно, что forall и exists в разных местах, это не использование слова forall для exists
источник
15:17пожаловаться#9

NI

Nick Ivanych in Haskell
Надо их ненавидеть за это.
источник
15:18пожаловаться#10

¯

¯\_(ツ)_/¯ in Haskell
получается, чтобы считывать с файла и считывать со строки мне придётся иметь две реализации? (я занимаюсь разбором MS CFB (FAT в файле), в котором нужно делать fseek, чтобы перемещаться по секторам)
источник
16:21пожаловаться#11

JS

Jerzy Syrowiecki in Haskell
что такое "считывать со строки"?
источник
16:22пожаловаться#12

JS

Jerzy Syrowiecki in Haskell
перемещайтесь по секторам (hSeek) и читайте файл (hGet). нет никаких проблем
источник
16:23пожаловаться#13

¯

¯\_(ツ)_/¯ in Haskell
строка в данном случае ByteString. На входе целая строка, а не файл
источник
16:23пожаловаться#14

¯

¯\_(ツ)_/¯ in Haskell
да, с файлами никаких проблем
источник
16:23пожаловаться#15

JS

Jerzy Syrowiecki in Haskell
зачем ещё какая-то вторая реализация?
источник
16:23пожаловаться#16

JS

Jerzy Syrowiecki in Haskell
а на выходе что?
источник
16:24пожаловаться#17

¯

¯\_(ツ)_/¯ in Haskell
на выходе возможность обратиться к какому-нибудь сектору (или цепочке секторов, но не суть. одно и то же)
источник
16:25пожаловаться#18

JS

Jerzy Syrowiecki in Haskell
что такое обратиться? прочитать строку? из строки строку не надо читать, она уже строка
источник
16:25пожаловаться#19

¯

¯\_(ツ)_/¯ in Haskell
например, данные будут получены по сети, их придётся по-особенному обрабатывать
источник
16:26пожаловаться#20