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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Haskell

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

DZ

Dmitry Zuikov in Haskell
а хочешь  такое вот:

 [ report-some "my-report"
 ]
источник
09:58пожаловаться#1

DZ

Dmitry Zuikov in Haskell
то там надо или писать модуль на dhall и заставлять его инклудить, или использовать какое-то наркоманское API для расширения словаря
источник
09:58пожаловаться#2

DZ

Dmitry Zuikov in Haskell
ДОКОЛЕ?
источник
09:58пожаловаться#3

A

Andrey in Haskell
у Габриэля есть такoй пример, кoтoрый выглядит красивее: https://github.com/dhall-lang/dhall-nethack
GitHub
dhall-lang/dhall-nethack
Generate NetHack configurations using Dhall. Contribute to dhall-lang/dhall-nethack development by creating an account on GitHub.
источник
10:02пожаловаться#4

DZ

Dmitry Zuikov in Haskell
источник
10:03пожаловаться#5

DZ

Dmitry Zuikov in Haskell
вот это вот что ?
источник
10:03пожаловаться#6

DZ

Dmitry Zuikov in Haskell
это случаем не импорт каких-то модулей в конфиг?
источник
10:03пожаловаться#7

A

Andrey in Haskell
Dmitry Zuikov
types - импoрт из файла types.dhall из тoй же директoрии https://github.com/dhall-lang/dhall-nethack/blob/master/types.dhall
GitHub
dhall-lang/dhall-nethack
Generate NetHack configurations using Dhall. Contribute to dhall-lang/dhall-nethack development by creating an account on GitHub.
источник
10:04пожаловаться#8

DZ

Dmitry Zuikov in Haskell
ну вот представь у тебя в программе есть конфиг
источник
10:04пожаловаться#9

DZ

Dmitry Zuikov in Haskell
который редактирует юзер
источник
10:04пожаловаться#10

DZ

Dmitry Zuikov in Haskell
и теперь юзеру надо 1) что-то там инклудить 2) знать что это надо инклудить
источник
10:05пожаловаться#11

DZ

Dmitry Zuikov in Haskell
сразу же возникает вопрос к автору программы - в себе ли он, например
источник
10:05пожаловаться#12

A

Andrey in Haskell
а ктo юзер кoнфига?
источник
10:05пожаловаться#13

DZ

Dmitry Zuikov in Haskell
юзер программы
источник
10:06пожаловаться#14

DZ

Dmitry Zuikov in Haskell
который через этот конфиг с ней общается
источник
10:06пожаловаться#15

DZ

Dmitry Zuikov in Haskell
теперь ему надо программировать на языке dhall и знать, какие там библиотеки и откуда их инклудить
источник
10:06пожаловаться#16

A

Andrey in Haskell
🤔 тoгда такoй пoдхoд не сoйдёт
источник
10:06пожаловаться#17

DZ

Dmitry Zuikov in Haskell
а кому тогда сойдет dhall ? он зачем нужен?
источник
10:06пожаловаться#18

DZ

Dmitry Zuikov in Haskell
мне казалось это язык конфигов
источник
10:07пожаловаться#19

NI

Nick Ivanych in Haskell
Mikhail Fufin
Спасибо
Такое вот ещё
https://t.me/FormalCompiler
источник
10:07пожаловаться#20