Есть эмуляция DU и рекордов через T4!

Так это в общем-то везде. Чистых F# не будет пока.

Пытаюсь написать банковский терминал на чистом f#, кстати

А вот это уже немного наркомания :)

Есть эмуляция DU и рекордов через T4!

Ловите наркомана!

Вполне норм, легко интегрируется в обычный процесс разработки на c#

Не рефакторится автоматом только

T4 в vs же написал и при сохранении он перегенерируется

T4 в vs же написал и при сохранении он перегенерируется

Не всегда

Ну не встречал проблем пока

Пытаюсь написать банковский терминал на чистом f#, кстати

А вакансия у тебя называлась F# developer?

https://oleksandrmanzyuk.wordpress.com/2014/06/18/from-object-algebras-to-finally-tagless-interpreters-2/

Спасибо, теперь знаю как это называется

Но по-моему очевидно, что ООП-подход тут гораздо изящнее

Нод может быть под сотню, а операций с ними - штук 5-7

Т.е. если суммарно у нас 10к строк кода, то 100 файлов по 100 строк явно лучше чем 5 по 2000

Нод может быть под сотню, а операций с ними - штук 5-7

Это не "очевидно", а "зависит".

Сколько типов нод в LINQ expression trees?

Судя по MSDN, 38 штук

У меня в реализации языка их 89 (правда с учетом базовых типов)

А операций всего 5: Resolve, Emit, Expand, GetChildren, ProcessClosures

А вакансия у тебя называлась F# developer?

Нет

У меня в реализации языка их 89 (правда с учетом базовых типов)

Да, пожалуй, в этой ситуации с объектами повеселее. С другой стороны, это может быть признаком неоптимально смоделированого домена. Способ борьбы с "длинным match на 2к строк" известный: АТД не обязан быть "плоской" суммой, мы можем комбинировать суммы и произведения различными способами, разбивая домен на поддомены. Например, tast.fs в компиляторе F# -- это набор из кучи мелких типов.

Паттерн матчингом можно изящно производить деконструкцию сложных значений. Особенно приятно, можно матчить по частям синтаксического дерева, а не только по отдельным узлам -- может быть удобно, например, для constant folding.

@gsomix Как там дела с пониманием extensions в inline? Я что то не смог отследить

@gsomix Как там дела с пониманием extensions в inline? Я что то не смог отследить

В F#5.0 будут.

По времни пока не ясно?

По времни пока не ясно?

Нет, сначала 4.5

Вакансия Junior Программист C#/F# в Москве https://hh.ru/vacancy/25993694

воу, круто.

ещё и ML

Почти работа мечты =)

Jun.. Ну пусть middle.. Куда architect'u деваться ?

Почти работа мечты =)

оффтоп, но график, дресс код, внутренние регламенты

но в целом вакансии хорошие

имхо

И кроме F# - все не на коре.

очень круто

У нас в Минске такого нет =(

У нас в Москве то же.

оффтоп, но график, дресс код, внутренние регламенты

Ну я после стартап атмосферы быстро втянулся

Функциональщики никому пока не нужны. Но я верю ?. Год ну два. Уж больно вкусные преимущества для CI/CD. Уж больно легко сопровождать. Пока схема напоминает мне C# в 2002. Почти нет работы но всем интересно.

У нас в Москве то же.

Вы вроде бы хотели создать F#-only (или просто ориентированную на F#) команду. Что-нибудь получилось?

Хорошее место чтобы раскачаться и проявить себя

сейчас ФП наконец набирает популярность в США до этого только академические круги Европы

так что у нас года через 3-4 будет мейнстрим

Бизнес не очень то готов к рискам. Мягко говоря. А работать бесплатно, что то, я смотрю, топы готовы только на опенсоурсе.

А без топов поднять можно только ну очень заинтересованную молодежь. Кадров нет - есть риск. И пока преимуществами не перекрываемый.

Jun.. Ну пусть middle.. Куда architect'u деваться ?

Архитекты тоже сейчас нужны будут (занимался этим в основном я, но ухожу ), но по зп - 160 потолок наверн

Это не уровень к сожалению для Москвы. Вот в этом наверное и главная проблема. Я на C# и go получать буду больше. Хотя хочу F#, Rust, Elixir, Haskell. Но там еще учить элементарно с 0 - уровня. И зарплата меньше. И семья однако.

.NET Core 2.1.0 (along with http://ASP.NET Core and Entity Framework Core) will be released around May 30th, but you can download it already here ? https://github.com/aspnet/Home/wiki/2.1.0-Early-Access-Downloads thanks @DamianEdwards and @tech_fellow for the link

мощная - в скале и хаскеле

Да уж точно

У нас-то в скале система типов мощная-мощная. Щас вот еще синтаксис PDT переделаем

и машинерию подкрутим

макросистему новую навернем

кайнд прожектор интегрируем

Угу и наконец, компилер внятный зарелизим ?

у нас она не мощная, у нас она практическая

но тошнотная и дырявая

ах да, еще от blah-blah, ваш энивал в джаву не лезет избавимся

Лет 5 как Dotty никак не сделают

и хит сезона

Научимся двунаправленному инферингу

и еще три года ждем )

хотя вот инферинг в дотти чинить-то вроде и не собираются, а так да, большинство уродств пофиксят (вроде)

Пока в java mashine не появятся стекабле типы - она будет в отстающих, как не крути. Но дотнет не лучше со своей параноидально ООП.

> mashine

Пытаюсь себе представить

potato mashine

ну я немец ?

мне, мгм

немножко интересно, зачем типы на уровне машины-то

их наоборот оттуда гнать надо ссаными тряпками

и отвязывать жвм от специфики джавы и вообще языков сверху

Посмотри, что сейчас сделали в .net со stack based types. В java это в принципе не возможно. Нет там этого на уровне как раз машины.

Int -int дуализм - это как раз из-за ограничений машины.

и отвязывать жвм от специфики джавы и вообще языков сверху

LLVM?

Да, в ту сторону

.net runtime то же к c# сильно привязан

Int -int дуализм - это как раз из-за ограничений машины.

Ну тут соглашусь

валью типы надо, вот это надо-надо

Ну вопрос терминологии.. Валью - стек бейзед ?

А еще нужен прямой способ управления динамической типизацией. На уровне машины. Тогда вопросы трейтов, интерфейсов, классов, всего этого отпадут сами. Отдадутся на уровень компилятора.

Доброе утро.

Did you know that the #fsharp community has an official mentorship program? 100% free, community-driven, and has led to people being able to adopt F# in their workplace. CHECK IT OUT! https://fsharp.org/mentorship/about.html

воу

Кстати, начинаю понимать, почему в f# не нужен. DI

Кстати, начинаю понимать, почему в f# не нужен. DI

Продолжай.

Продолжаю

В целом,di заменяется последовательностью объявления модулей

По факту, даже не надо в параметрах функций ничего передавать

Мокать можно объявлением соответствующих модулей в тестах

Хотя это в теории

не понятно все равно. т.е. я понимаю, как DI заменяется параметризованными модулями, но их в f# нет

не понятно все равно. т.е. я понимаю, как DI заменяется параметризованными модулями, но их в f# нет

Ну в моём сценарии я пока не встречаю необходимости в di

Ну по факту я пишу со статическими ссылками,получается

Ты глобальный скоуп засоряешь своими зависимостями?

Ты глобальный скоуп засоряешь своими зависимостями?

Теперь я ничего не понял :)

Давай пример кода.