Телеграмм чат группы compilerdev страница 1495

2020 July 06

RB

Предлагаю ещё добавить https://github.com/dhall-lang/dhall-haskell и https://github.com/Gabriel439/Haskell-Morte-Library для расширения кругозора. 😊

GitHub

dhall-lang/dhall-haskell

Maintainable configuration files. Contribute to dhall-lang/dhall-haskell development by creating an account on GitHub.

вот конфиги уже пошли функциональные
а есть ли языки разметки функциональные 🤔

источник

13:34пожаловаться #1

AT

Alexander Tchitchigi... in Compiler Development

Rustem B.

вот конфиги уже пошли функциональные
а есть ли языки разметки функциональные 🤔

Функциональные конфиги давно пошли, см. также Nix, Guix.

По факту, любой язык разметки без императивной логики — функциональный. Даже JSX на 90% используется как функциональный. Глубже в историю можно припомнить Handlebars сотоварищи. Это не считая основоположников — XML, XSLT, XPath...

источник

13:37пожаловаться #2

RB

Rustem B. in Compiler Development

Alexander Tchitchigin

Функциональные конфиги давно пошли, см. также Nix, Guix.

По факту, любой язык разметки без императивной логики — функциональный. Даже JSX на 90% используется как функциональный. Глубже в историю можно припомнить Handlebars сотоварищи. Это не считая основоположников — XML, XSLT, XPath...

не, Nix это полноценный ЯП
а Guix это чистый Guile Scheme

источник

13:38пожаловаться #3

АД

Антоний Диоген... in Compiler Development

Rustem B.

вот конфиги уже пошли функциональные
а есть ли языки разметки функциональные 🤔

https://package.elm-lang.org/packages/elm/html/latest/

источник

13:40пожаловаться #4

RB

Rustem B. in Compiler Development

Антоний Диоген

https://package.elm-lang.org/packages/elm/html/latest/

а
точно
да
вчера же на нём писал 🤔

источник

13:40пожаловаться #5

AK

Andrei Kurosh in Compiler Development

Alexander Tchitchigin

Функциональные конфиги давно пошли, см. также Nix, Guix.

По факту, любой язык разметки без императивной логики — функциональный. Даже JSX на 90% используется как функциональный. Глубже в историю можно припомнить Handlebars сотоварищи. Это не считая основоположников — XML, XSLT, XPath...

Как язык разметки может быть функциональным? Это же даже не язык, а формат записи данных

источник

13:41пожаловаться #6

AK

Andrei Kurosh in Compiler Development

Возможно, XML + XSLT вместе еще можно с определенной натяжкой считать функциональным языком

источник

13:43пожаловаться #7

AT

Alexander Tchitchigi... in Compiler Development

Andrei Kurosh

Как язык разметки может быть функциональным? Это же даже не язык, а формат записи данных

return ( (data.length > 0) ? <FooList data={data} /> : <LoadData /> );

источник

13:43пожаловаться #8

AK

Andrei Kurosh in Compiler Development

Alexander Tchitchigin

return ( (data.length > 0) ? <FooList data={data} /> : <LoadData /> );

это не язык разметки - это куски разметки, набросанные внутрь мультипарадигменного языка, от которого используется не-императивное подмножество ;)

источник

13:44пожаловаться #9

AT

Alexander Tchitchigi... in Compiler Development

Andrei Kurosh

это не язык разметки - это куски разметки, набросанные внутрь мультипарадигменного языка, от которого используется не-императивное подмножество ;)

Ну, это уже вопрос точки зрения... 🤷‍♀️😊

источник

13:45пожаловаться #10

M

MaxGraey in Compiler Development

Alexander Tchitchigin

return ( (data.length > 0) ? <FooList data={data} /> : <LoadData /> );

Ну это ведь eDSL. Чисто деклараивный синтаксис может только включать блок к исполняемым скриптом, например как в html

источник

13:46пожаловаться #11

ВМ

Виталий Медоваров... in Compiler Development

Andrei Kurosh

Как язык разметки может быть функциональным? Это же даже не язык, а формат записи данных

Во многих языках есть DSL для декларативного задания этой разметки через код. Разметка есть? Есть. Код функциональный есть? Есть)

источник

13:46пожаловаться #12

AK

Andrei Kurosh in Compiler Development

По факту, любой язык разметки без императивной логики — функциональный.

Вот это можно как-то обосновать?

источник

13:46пожаловаться #13

AT

Alexander Tchitchigi... in Compiler Development

MaxGraey

Ну это ведь eDSL. Чисто деклараивный синтаксис может только включать блок к исполняемым скриптом, например как в html

Это совершенно точно НЕ embedded DSL. 😊

источник

13:47пожаловаться #14

RB

Rustem B. in Compiler Development

Nix это DSL

источник

13:47пожаловаться #15

AK

Andrei Kurosh in Compiler Development

JSON является языком разметки для некоторых систем UI

источник

13:47пожаловаться #16

AK

Andrei Kurosh in Compiler Development

Я могу написать систему, для которой языком описания разметки будут, не знаю, INI-файлы

источник

13:47пожаловаться #17

K

Konstantin in Compiler Development

Andrei Kurosh

По факту, любой язык разметки без императивной логики — функциональный.

Вот это можно как-то обосновать?

правильнее сказать "декларативный", чем "функциональный"

источник

13:47пожаловаться #18

AK

Andrei Kurosh in Compiler Development

Konstantin

правильнее сказать "декларативный", чем "функциональный"

Именно

источник

13:47пожаловаться #19

RB

Rustem B. in Compiler Development

LaTeX можно назвать функциональным?

источник

13:47пожаловаться #20