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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

I

ID in Haskell
добрый день, если есть кто шарит в криптографии, может кто подсказать что из себя представляет многопараметрическая идентификация сообщений? А если точнее чем она отличается от обычной.
Ну или ссылочку хотя бы
источник
22:33пожаловаться#1

JS

Jerzy Syrowiecki in Haskell
лучше тогда язык, в котором сигнатуру прямо в уравнении можно написать

f = forall a. \x :: a -> y :: b
источник
23:14пожаловаться#2

к

кана in Haskell
что-то это странное
источник
23:15пожаловаться#3

к

кана in Haskell
forall какой-то, который используется для типа лямбды от типа, и для самой лямбды
источник
23:16пожаловаться#4

JS

Jerzy Syrowiecki in Haskell
это же банальная типизированная лямбда
источник
23:16пожаловаться#5

к

кана in Haskell
не видел такого, в таких случаях обычно просто есть второй синтаксис лямбды для типов
источник
23:17пожаловаться#6

к

кана in Haskell
f :: forall a. a -> a
f = /\a -> \(x :: a) -> x
источник
23:17пожаловаться#7

JS

Jerzy Syrowiecki in Haskell
ну вот первая строчка же не нужна становится
источник
23:19пожаловаться#8

к

кана in Haskell
и если в терминах уже существующего хаскеля, если перенести аргументы влево, то как это как раз должно иметь синтаксис
f @a (x :: a) = x
источник
23:19пожаловаться#9
2021 May 03

X

XÆA-XII in Haskell
А как в haskell можно получить высоту и ширину терминала?
источник
08:45пожаловаться#10

[

[BRM]White Rabbit in Haskell
Я страдал, теперь твоя очередь
https://hackage.haskell.org/package/Win32
Hackage
Win32: A binding to Windows Win32 API.
Install via `cabal install Win32`.       
[rating:2.0/3(n=1)]
источник
08:47пожаловаться#11

X

XÆA-XII in Haskell
У меня линь
источник
08:49пожаловаться#12

[

[BRM]White Rabbit in Haskell
Тогда такой же, но на линь
источник
08:50пожаловаться#13

[

[BRM]White Rabbit in Haskell
А ты что думал, в сказку попал?
источник
08:50пожаловаться#14

N

Nikita Ursol in Haskell
Через переменные окружения, stty, tput, если в символах надо
источник
08:51пожаловаться#15

N

Nikita Ursol in Haskell
В том туклите для TUI должно быть поидее, но я не уверен
источник
08:51пожаловаться#16

N

Nikita Ursol in Haskell
вон https://hackage.haskell.org/package/terminal-size
Hackage
terminal-size: Get terminal window height and width
Install via `cabal install terminal-size`.       
[rating:2.25/3(n=2)]
источник
08:55пожаловаться#17

N

Nikita Ursol in Haskell
Или скорее https://hackage.haskell.org/package/ansi-terminal-0.11/docs/System-Console-ANSI.html
источник
08:58пожаловаться#18

N

Nikita Ursol in Haskell
Ого там прям жуткие хаки https://github.com/UnkindPartition/ansi-terminal/blob/5217d0856cd1377d044aa55def40b5bcf9872374/src/includes/Common-Include.hs#L293
источник
09:05пожаловаться#19

EG

Emmanuel Goldstein in Haskell
Это классика, а не жуткий хак
источник
09:09пожаловаться#20