Да, близко. Я думаю, Сайм как раз тогда и вынашивал планы запилить свой язык.

Кстати, вот интересно как развиваются OcaML <-> F#? Обмениваются ли они фичами, стараются ли сохранить схожесть или все "разошлись в разные стороны"?

Разошлись.

Разошлись.

Коротко и по делу ? Ни у кого нет более развернутого ответа?

Ну, сорян, я готовлю развернутый ответ.

@angmarr Начать надо с того, что OCaml -- это ML, есть нормальные ML модули [1]. Такого в F# нет. Я не особо слежу за развитием OCaml, конечно, но, например, не так давно там реализовали GADT [2, 3]; есть очень интересная штука -- polymorphic variants [4]. Существуют планы по реализации modular implicits [5], чтобы получить аналог implicits из Scala и ad-hoc полиморфизм; пилят типизированные макросы [6]. Как и в F# добавляется какой-то новый синтаксический сахар. Надо учитывать, что у OCaml своя специфика. Если F# автоматически получил хорошую платформу с value types и поддержкой multicore, то в OCaml над этим все еще ведется большая работа. Во-первых Flambda [7] -- промежуточное представление, которое позволяет применять различные оптимизации, осуществлять инлайнинг и анбоксинг. Во-вторых это поддержка multicore в OCaml [8] c алгебраическими эффектами.

Кажется, в fslang-suggestions иногда появляются предложения запилить что-нибудь эдакое из OCaml.

Но за развитием друг друга никто в F# и OCaml специально не следит. Сайм идет своим путем, OCaml своим, совместимость никто не обещал. На дизайн F# к тому же сильно влияет необходимость взаимодействия с остальным .Net, а конструкции языка нужно эффективно реализовывать на CLR. :)

Мне кажется, что у OCaml наибольшая прикладная активность сейчас около unikernels (MirageOS) и трансляции в JS (bucklescript и новый JS-friendly синтаксис ReasonML).

[1] https://ru.wikipedia.org/wiki/Язык_модулей_ML [2] https://ocaml.org/releases/4.00.1.html [3] https://blogs.janestreet.com/why-gadts-matter-for-performance/ [4] https://realworldocaml.org/v1/en/html/variants.html [5] https://arxiv.org/pdf/1512.01895.pdf [6] https://oliviernicole.github.io/about_macros.html [7] https://blogs.janestreet.com/flambda/ [8] https://ocaml.io/w/Multicore

Фух.

Простите за простыню.

Верь нам.

да, в итоге ошибка была в другом месте.

Простите за простыню.

Спасибо за простыню!

Интересно написал.

Ну, хоть кто-то прочитал. Тебе спасибо.

А ты думал, что своей простынёй заткнёшь чат? Нас так просто не возьмёшь! ?

Ну, хоть кто-то прочитал. Тебе спасибо.

Спасибо, я пока откладываю ибо над будет сконцентрироваться, а сейчас надо работать.

Привет!

[1] https://ru.wikipedia.org/wiki/Язык_модулей_ML [2] https://ocaml.org/releases/4.00.1.html [3] https://blogs.janestreet.com/why-gadts-matter-for-performance/ [4] https://realworldocaml.org/v1/en/html/variants.html [5] https://arxiv.org/pdf/1512.01895.pdf [6] https://oliviernicole.github.io/about_macros.html [7] https://blogs.janestreet.com/flambda/ [8] https://ocaml.io/w/Multicore

Ты весь чат погрузил в чтение ?

Ты весь чат погрузил в чтение ?

Классный пост)) Нормик

Классный пост)) Нормик

Кто ж спорит?)

Ты весь чат погрузил в чтение ?

1. Надо бы логи чата впилить, кстати. 2. Я заведу про это ишуй.

https://github.com/fsharplang-ru/fsharplang.ru/issues/3

https://github.com/fsharplang-ru/fsharplang.ru/issues/3

Ага. Согласен

Ага. Согласен

А есть идеи как это сделать?

А есть идеи как это сделать?

Так же, как транспорт пашет

@neftedollar ты где-то выкладывал тут какие-то линки на инструменты для работы с телеграмными логами, но я уже потерял. Сунь ссылку в issue?

Бота завести, пускай в бд пишет.

Хочу стикер с Саймом!

Так же, как транспорт пашет

Кажись, историю тоже можно вытащить. Транспорт можно, да.

Я пока что на себя этот ишуй назначу. Если надо будет чото тинкерить (закатывать болл на хилл, например) и велосипедить, то я хочу сам этим заняться :)

@neftedollar ты где-то выкладывал тут какие-то линки на инструменты для работы с телеграмными логами, но я уже потерял. Сунь ссылку в issue?

К

https://github.com/fsharplang-ru/fsharplang.ru/issues/3

Телеграм же не чистит историю, зачем отдельное хранилище? ?

Телеграм же не чистит историю, зачем отдельное хранилище? ?

Снаружи чтобы читать. Чтобы человек мог чего-то в наших логах нагуглить.

Хмм. Оч интересно было бы это распарсить в формате вопрос-ответ

Да-да, какие-нибудь NLP-парсеры на этой информации погонять, опять же :)

И мб на основе этого сделать FAQ-онлайн сервис без регистрации и смс ?

И мб на основе этого сделать FAQ-онлайн сервис без регистрации и смс ?

Круто) можно же на f# написать упрощение многочленов. Жаль, что упрощение многословов так легко не написать)

И мб на основе этого сделать FAQ-онлайн сервис без регистрации и смс ?

Будет очень и очень круто

А от бота только текст и авторы сообщений нужны?

у меня где-то валялся недоделанный парсер telegram API на базе Chiron

Апи должно быть, которое публичные чятики отдаёт.

Инлайновый бот

Кажется это так называется

Ну у меня есть мелкая поделка которая пишет текстовые логи, по крайней мере сутра работала

По крупинкам если собрать...

/stat@combot

combot.org/chat/-1001116883766

https://gist.github.com/jindraivanek/5d01f337ae55b7fef1ad8e490970ccd8

> Show trait is ~30x faster than sprintf "%A"

Занятно.

Привет!

и снова здравствуйте)

combot.org/chat/-1001116883766

Теперь ровно.

@Worldbeater Еще раз спасибо.

Оба F# доклада на NDC London про стрелки

@Worldbeater Еще раз спасибо.

Обращайтесь :)

А что такое ++>

Главный вопрос к любым кастомным операторам. :)

новый общеупотребимый а-ля >>== или >=> или именно в конкретном докладе вводится?

У меня от это хаскеллизма кровь из глаз

ну в ROP операторы в тему... рельсы себе как рельсы

а смысловая нагрузка "+" в выражении ++> ... ?

данные "добавляем" и передаем?

Оба F# доклада на NDC London про стрелки

Можно ссылочки

вот счас к примеру разбираюсь с asp.net core.. все-таки как на F# ( используя suave/giraffe) прозрачно понятна цепочка middleware в choose с операторами rop... и как коряв и как опасен на ошибки в C# метод Startup.Configure...

Можно ссылочки

https://vimeo.com/213567775

вот счас к примеру разбираюсь с asp.net core.. все-таки как на F# ( используя suave/giraffe) прозрачно понятна цепочка middleware в choose с операторами rop... и как коряв и как опасен на ошибки в C# метод Startup.Configure...

В F# есть идиоматичные CE

Например в Freya

Но против моды не попрешь

https://vimeo.com/213567775

Vimeo конечно хорош, но многие люблю стримить на свои большие телеки через google cast https://youtu.be/_g4am_bLJUs

до фреи руки не дошли пока..спасибо

Кстати в VSCode сейчас нельзя миксовать F#/C# в разных проекта? Я бы ДомененнуюМодель сделал бы на F#, а инфраструктуру на C#

Кто же тебе запретит?

sln сначала, подпапки потом

А вообще google: hopac infixes. Я привык и мне удобно, а народ на мой код ругался.

Кто же тебе запретит?

Ребята вы такие простые. Вы хоть сами это пробовали?

Нет, зачем, если есть VS?

Но VSCode - это же просто редактор.

.Net Core

Нет, зачем, если есть VS?

Ну многие программисты предпочитают маки и .NetCore (еще пить смузи и носить подвороты ?)

А... я хз как F# с коре живет, только начал сишарпом обмазываться под Линукс.

1.0 работает, остальное разной степени сырости

2.0 не работает совсем

1.1?

It depends

Там же два рантайма - 1.0.4 и 1.1.0

Не везде, не всегда, как обычно короче