Крутотень.

Привет.

Крутотень.

т.е. теперь можно так? let anotherPerson1 = { person with A.S.N = person.A.S.N + ", k.2" } наконец то :)

Ещё нельзя, но я надеюсь, что допилят и примут.

Теперь линзы не нужны что ли?

Теперь линзы не нужны что ли?

Линзы про композицию. А это так, небольшое удобство просто.

Ну да, но большое кол-во практических кейсов должно покрыть

Да.

Привет.

Все кстати заметили? Стабильное приращение людей в чатике)

Главное что бы это не боты были ?

Все кстати заметили? Стабильное приращение людей в чатике)

Всегда стабильно рос!

Просто медленно. ;)

Главное что бы это не боты были ?

ощущение что это боты, не отвечают обычно именно они) Но посмотрим, чего уж)

ощущение что это боты, не отвечают обычно именно они) Но посмотрим, чего уж)

может просто интроверты

может просто интроверты

может быть, хотя обычно интроверты как раз в чатах и сидят) ИМХО\КМК)

Лол

Я интроверт. Ну, помимо того, что бот.

Я интроверт. Ну, помимо того, что бот.

вот ! А один из самых активных тут. Значит ребята ,которые приходят, скорее всего экстраверты, помимо того, что боты)

У меня ни одного сообщения в чате хаскеля, но я постоянно его читаю

Нормальный кейс

Внезапно

Интересная вакансия "Junior Frontend разработчик" — https://career.ru/vacancy/24903669

> у нас уже используются Redis, Sphinx Search, TypeScript, F#

?

Зоопарк

У меня тоже оповещалка по F# на hh.ru стоит.

ребята, кто-нибудь колбасил DSL на F#? интересует именно в разрезе: создать язык, чтобы аналитик мог описывать бизнес правила но вообще буду рад любому опыту расскажите про подводные грабли, посоветуйте с чего начать, чтобы погрузиться

Ну я колбасил для хттп запросов на билдерах

ребята, кто-нибудь колбасил DSL на F#? интересует именно в разрезе: создать язык, чтобы аналитик мог описывать бизнес правила но вообще буду рад любому опыту расскажите про подводные грабли, посоветуйте с чего начать, чтобы погрузиться

Free Monad!

Фри монадки скорее про аст

ребята, кто-нибудь колбасил DSL на F#? интересует именно в разрезе: создать язык, чтобы аналитик мог описывать бизнес правила но вообще буду рад любому опыту расскажите про подводные грабли, посоветуйте с чего начать, чтобы погрузиться

У нас юзался для бизнес-правил xml, но одному из менеджеров захотелось чтобы был питон. С XML все было неплохо

Поверх них ещё что-то нужно

У Симана была серия статей в блоге

Как раз про билдеры,фри монадки и прочее

Ещё вариант fparsec

спасибо, почитаю

Fparsec - это для того, чтобы твой язык парсить

у меня в общем-то идея такая: сделать DSL, чтобы аналитики на нём могли ахалай махалаи свои писать в DDDшном стиле в доменной модели, т.е. как бы всю доменню модель на откуп аналитикам отдать, пусть там шонглируют своими абстракциями разработчик бы занимался тем, что поддерживал бы этот DSL с технической части и тем, что связывал бы код предметной области с инфраструктурной частью (IO, логирование и тд)

ребята, кто-нибудь колбасил DSL на F#? интересует именно в разрезе: создать язык, чтобы аналитик мог описывать бизнес правила но вообще буду рад любому опыту расскажите про подводные грабли, посоветуйте с чего начать, чтобы погрузиться

закидают меня монадами но на котлин не смотрели?

а что там такого?

вообще мы на C# колбасим и было бы прикольно предметную область в F# выделить

на другой язык целиком перекатываться ваще не айс, да и эта ваша JVM говно собачес

а что там такого?

там DSL прикольно можно лямбдами описывать обыкновенными, как я поняла

а что там такого?

там удобные билдеры из коробки идут

окей, гляну, спасибо

окей, гляну, спасибо

можно потом вот такое писать verticalLayout { padding = dip(30) editText { hint = "Name" textSize = 24f } editText { hint = "Password" textSize = 24f } button("Login") { textSize = 26f } }

там удобные билдеры из коробки идут

Но как же кастомные операции для computational expressions в F#?

на другой язык целиком перекатываться ваще не айс, да и эта ваша JVM говно собачес

оно не только в JVM умеет. Всё, больше не офтоплю

@SunsetForYou https://github.com/dungpa/dsls-in-action-fsharp/blob/master/DSLCheatsheet.md

огонь!

спасибо

можно потом вот такое писать verticalLayout { padding = dip(30) editText { hint = "Name" textSize = 24f } editText { hint = "Password" textSize = 24f } button("Login") { textSize = 26f } }

Вот именно что это просто билдер (вызовающий методов с сайд эффектами), а не хороший immutable-dsl

что вы все со своими монадами

dsl это не монады

https://books.google.ru/books?id=_6GfDQAAQBAJ&pg=PA102&lpg=PA102#v=onepage&q&f=false

dsl это не монады

Нет монады!

что вы все со своими монадами

Где монады?!

dsl это не монады

dsl не монады, но они могут быть полезны для реализации dsl

Вот именно что это просто билдер (вызовающий методов с сайд эффектами), а не хороший immutable-dsl

в беззаботные годы писал на вот этом https://github.com/sprache/Sprache и было немного больно

dsl не монады, но они могут быть полезны для реализации dsl

что не означает, что их нужно обязательно туда впихывать)

Интересно, что @forcewake который раз вбрасывает, но не реагирует на мои вопросы. :(

Интересно, что @forcewake который раз вбрасывает, но не реагирует на мои вопросы. :(

а где вопрос был? я просто не заметил

аа вижу

а где вопрос был? я просто не заметил

Их парочка была уже. Один про вебчик на F#. Второй про computational expressions для eDSL.

Где монады?!

да хоть теже "Computation expressions" да и просто через сообшение предложение монады в dsl впендюрить

да хоть теже "Computation expressions" да и просто через сообшение предложение монады в dsl впендюрить

Computational expressions -- это синтаксис.

И не только для монад, но и для аппликативов, формлетов, роутинга и бог еще знает для чего еще. :)

А выше я видел разговор про фримонады. Это уже про разделение языка и интерпретатора.

И не только для монад, но и для аппликативов, формлетов, роутинга и бог еще знает для чего еще. :)

запросов к БД и даже к написанию программ на F#!

Все в контексте.

И не только для монад, но и для аппликативов, формлетов, роутинга и бог еще знает для чего еще. :)

и как только они залазят в Computation expressions так сразу монадами становятся

и как только они залазят в Computation expressions так сразу монадами становятся

Как аппликативы, например, там становятся монадами? ;)

и как только они залазят в Computation expressions так сразу монадами становятся

почему?

Я думаю, мы только про quotations забыли.

Не видел их в DSL Cheatsheet.

Не видел их в DSL Cheatsheet.

есть

Ок, пропустил.

Я думаю, мы только про quotations забыли.

но это значит заставлять аналитиков писать на F#

в целом это не плохо, но зачем им знать весь F#?

Мне кажется получить AST уже достаточно

почему?

The designers of F# use the term "computation expression" and "workflow" because it's less obscure and daunting than the word "monad", and because monad and computation expression, while similar, are not precisely the same thing. The author of this book prefers "monad" to emphasize the parallel between the F# and Haskell https://en.wikibooks.org/wiki/F_Sharp_Programming/Computation_Expressions

ну и собственно "Суть монад — в композиции вычислений". чем Computation Expressions и являются

@deexpp Ты лучше скажи, что пытаешься доказать. Что нельзя использовать computational expressions c кастомными операциями для eDSL?

может просто интроверты

+....так что не гоните с чата)

Их парочка была уже. Один про вебчик на F#. Второй про computational expressions для eDSL.

я даже ответ начал писать но переключился можно сей опус не читать будет долго, извините. никого не хочу обижать ни к чему не принуждаю все описаное вероятнее всего относится только к моему частному случаю Общий посыл у меня есть один единственный вопрос к людям которые практикуют ФП - почему все так сложно. вернее даже не так, а скорее - от чего так все переусложнено. Этот вопрос возник еще давно, в момент знакомства с clojure - я реально не представляю как с таким синтаксисом и таким тулингом можно что-то делать и потом продавать это бизнесу как решение, которое можно использовать, поддерживать и использовать. Точно такой же вопрос иногда возникает в F#. Да, возможности огромны, но то как это делается в ФП это ж дичь. Мне порой кажется, что уровень сложности (в синтаксисе и в целом в инфраструктуре) реально повышается, чтобы "тупые" не могли эту планку перепрыгнуть. вот и получается что кто-то пытается популяризировать то, что в большинстве случаев не может быть понято большинством (ну типа меня, среднего такого электронного грузчика, звезд с неба не хватающего). Теперь назад к теме. computational expressions мощная фича, я бы даже хотел сказать что киллер фича, но нет Для того чтобы ее использовать нужно хорошо знать F#, .net и ФП в целом. Я не могу взять и за один вечер сваять что-то работающее и на завтра после дэйли стэндапа продать это своей команде. Потому что вне зависимости от мощности и крутости фичи, уровень входа ну очень высок. Взять тот же пример с DSL - человек спросил как можно это сделать в F# - и все начало скатываться к member this.Bind(m, f) = m |> List.collect f И собственно это только вишенка на торте, но уже она вынуждает/побуждает меня разбираться в partial application | currying | bind, знать pipelines, сразу пошла борьба за чистоту функций, сайд эффекты, Thinking functionally и все как-то подзабыли, что есть немаленьная вероятность, что у человека есть задача и он в поиске способов её решения, а времени на разбор может и не быть. В данном случае инструмент F# и все его фичи конечно круче нефункционального DSL в котлине, но в нем я могу сделать то что мне нужно (проверить идею / продать заказчику / решить проблему) гораздо быстрее - возможно потому что информации больше, возможно из-за того что сделано все чуть проще - я все еще не могу ответить на этот вопрос. И так во многом. Вот пример - мне нужно написать одну штуку, как мне кажется интересную и, вероятно, я бы хотел использовать для этого какой-то новый инструмент. Я примерно понимаю как это можно сделать с использованием C# и думается мне что на F# это выглядело бы даже круче, но: - все начинает скатываться к вот такому коду https://github.com/fsharp/FSharp.Compiler.Service/blob/master/src/fsharp/ast.fs#L1697-L1723 - это ж неподдерживаемая боль как по мне - отсутсвтию достаточного количества инфы, чтобы я смог это переварить Впрочем и так много написал, да и оффтоп это. Про F# в вебе я в чуть позже отвечу.

@forcewake Спасибо за ответ!

Я постараюсь частями прокомментировать.

@deexpp Ты лучше скажи, что пытаешься доказать. Что нельзя использовать computational expressions c кастомными операциями для eDSL?

можно. но не нужно

+....так что не гоните с чата)

да все ок, ты здоровался даже)

да все ок, ты здоровался даже)

Поздороваться ботом не велика задача ))

Про computational expressions, eDSL и Rotlin. Вот простой пример eDSL для описания Nuget пакетов. Здесь нет ни монад, ни |> , ни bind. Ничего кроме стандартного F# синтаксиса для ООП (type - class, member - method) и обновления записей (то самое страшное ФП). http://www.readcopyupdate.com/blog/2014/10/10/edsls-using-custom-operations.html сс @forcewake

я даже ответ начал писать но переключился можно сей опус не читать будет долго, извините. никого не хочу обижать ни к чему не принуждаю все описаное вероятнее всего относится только к моему частному случаю Общий посыл у меня есть один единственный вопрос к людям которые практикуют ФП - почему все так сложно. вернее даже не так, а скорее - от чего так все переусложнено. Этот вопрос возник еще давно, в момент знакомства с clojure - я реально не представляю как с таким синтаксисом и таким тулингом можно что-то делать и потом продавать это бизнесу как решение, которое можно использовать, поддерживать и использовать. Точно такой же вопрос иногда возникает в F#. Да, возможности огромны, но то как это делается в ФП это ж дичь. Мне порой кажется, что уровень сложности (в синтаксисе и в целом в инфраструктуре) реально повышается, чтобы "тупые" не могли эту планку перепрыгнуть. вот и получается что кто-то пытается популяризировать то, что в большинстве случаев не может быть понято большинством (ну типа меня, среднего такого электронного грузчика, звезд с неба не хватающего). Теперь назад к теме. computational expressions мощная фича, я бы даже хотел сказать что киллер фича, но нет Для того чтобы ее использовать нужно хорошо знать F#, .net и ФП в целом. Я не могу взять и за один вечер сваять что-то работающее и на завтра после дэйли стэндапа продать это своей команде. Потому что вне зависимости от мощности и крутости фичи, уровень входа ну очень высок. Взять тот же пример с DSL - человек спросил как можно это сделать в F# - и все начало скатываться к member this.Bind(m, f) = m |> List.collect f И собственно это только вишенка на торте, но уже она вынуждает/побуждает меня разбираться в partial application | currying | bind, знать pipelines, сразу пошла борьба за чистоту функций, сайд эффекты, Thinking functionally и все как-то подзабыли, что есть немаленьная вероятность, что у человека есть задача и он в поиске способов её решения, а времени на разбор может и не быть. В данном случае инструмент F# и все его фичи конечно круче нефункционального DSL в котлине, но в нем я могу сделать то что мне нужно (проверить идею / продать заказчику / решить проблему) гораздо быстрее - возможно потому что информации больше, возможно из-за того что сделано все чуть проще - я все еще не могу ответить на этот вопрос. И так во многом. Вот пример - мне нужно написать одну штуку, как мне кажется интересную и, вероятно, я бы хотел использовать для этого какой-то новый инструмент. Я примерно понимаю как это можно сделать с использованием C# и думается мне что на F# это выглядело бы даже круче, но: - все начинает скатываться к вот такому коду https://github.com/fsharp/FSharp.Compiler.Service/blob/master/src/fsharp/ast.fs#L1697-L1723 - это ж неподдерживаемая боль как по мне - отсутсвтию достаточного количества инфы, чтобы я смог это переварить Впрочем и так много написал, да и оффтоп это. Про F# в вебе я в чуть позже отвечу.

saved

"почему все так сложно. вернее даже не так, а скорее - от чего так все переусложнено." всё зло в хаскеле