ну тут я не могу уверенно утверждать так как абсолютно ничего серьезного не делал на Scala

Кстати, про f* кто что может рассказать? Что это? зачем?

f* достойный молодой игрок в лиге языков для написания изощрённого и сложного кода, который ничего не делает

что за f* ? это такой стеб над F# ?

это теорем прувер. типо агды или кока. только написан на F# и в качестре решалки использует z3

любой разработчик низкого скила может написать код который ничего не делает на любом языке и гордиться этим

у меня был студент который гордился методом в 1000 строк на C#

и он гордился что он смог написать такой сложный метод

Лучше расскажите чем OCaml отличается от F# (кроме того что второй на .net).

Это есть по первому запросу в Гугл.

я сначала не понял что он гордится - думал жалуется что он такой говнокодер и мол говорю "не переживай, научишься кодить с практикой"

он удивился - мол типа а что он разве не умеет? Он же осилил такой сложный код в 1000 строк только в одном методе

когда показал что после рефакторинга этот объем уменьшился до 300 сильно удивился

и стал намного проще и читабельнее и понятнее по сравнению с тем что было

а F# практически всегда выдает более простое и элегантное решение нежели C#

Так скала конкурент фшарпу или они о разном?

Они такие же конкуренты как C# и Java

кто живет на C# стеке вряд ли когда нибудь пойдет на Java стек

и наоборот

Т.е. конкуренты, ок

ну я в этом сильно сомневаюсь

Лучше расскажите чем OCaml отличается от F# (кроме того что второй на .net).

точкой у операций с плавающей точкой) ну и еще система типов там более сильная и позволяет выражать более сложные вещи. F# выигрывает инфраструктуров дотнета, единицами измерения, квазицитированием. по идее тайпровайдерами, но у меня от них плохое вречатление осталось.

вот C# и Java действительно конкуренты

а вот F# и Scala как гораздо менее популярные языки по сравнению со своими старшими братьями не могут быть конкурентами в принципе

т.е. кто пишут на Java никогда не возьмут F#

ну я в этом сильно сомневаюсь

Почему? У меня ЦПП стэк, я думаю куда мигрировать

точно так же как если у нас UI на C# то для логики мы никогда не возьмем Scala

У меня новый проект

Я выбираю стэк

не ну тогда можно сказать что любой функциональный язык является конкурентом

почему не тот же Clojure ?

или тот же Haskell ?

с такой точки зрения все конкуренты

Хаскелл вряд ли...

Я выбираю стэк

а что делать-то надо?

На дот нете и джвм у меня будет возможность миксовать функциональный стиль с ооп если понадобится

Хаскель слишком чистый

На дот нете и джвм у меня будет возможность миксовать функциональный стиль с ооп если понадобится

С точки зрения миксования F# гораздо более лучший вариант

миксовать между собой F# и C# проще нежели Java со Scala

А скала изначально не чистая функциональщина

Как бы ты уже на уровне скалы можешь отъехать если надо

Я просто пытаюсь спор поддержать

Не фанат джвм

так и F# может все что может C#

F# точно так же как и C# является мультипарадигменным языком

многие новички F# думают что они умеют писать на F# только потому что они придя на F# пишут абсолютно так же как писали на C#

по-моему, это всё ерунда. миксовать-не миксовать. тут надо идти от потребностей. нужна база данных - какие есть либы. нужен фронтенд? какие есть веб-фреймворки. сериализация там. акторы или что еще.

по-моему, это всё ерунда. миксовать-не миксовать. тут надо идти от потребностей. нужна база данных - какие есть либы. нужен фронтенд? какие есть веб-фреймворки. сериализация там. акторы или что еще.

Ну все это есть в обоих случаях же!

http://www.scala-lang.org/old/faq/4.html#4n263

Ну все это есть в обоих случаях же!

каких обоих случаях? F# и Ocaml или что?

по-моему, это всё ерунда. миксовать-не миксовать. тут надо идти от потребностей. нужна база данных - какие есть либы. нужен фронтенд? какие есть веб-фреймворки. сериализация там. акторы или что еще.

Вот как раз таки это не ерунда. Любую .NET либу можно использовать на F#

т.е. ВСЕ что можно использовать для C# точно так же можно использовать и для F#

каких обоих случаях? F# и Ocaml или что?

Java и дотнэт стэк

т.е. ВСЕ что можно использовать для C# точно так же можно использовать и для F#

Это хорошо

Это потому что ЦЛР изначально пилили независимым от языков

Так?

Вот как раз таки это не ерунда. Любую .NET либу можно использовать на F#

вызывать джаву из скалы - тоже самое что сишарповские либы из фишарпа. либо оборачивать для нормальной работы в идиоматичном стиле, либо писать криво-коряво в соотвествии с дизайном либ под императивный - ОО язык

Насколько я знаю с совместимостью Java и Scala Далеко не все так гладко

вот уже кидал выше:

http://www.scala-lang.org/old/faq/4.html#4n263

Крч мы приходим к тому что вин дотнэта в изначальном дизайне ЦЛР

да всё у скалы и джавы нормально. нету тут никакого вина, 1 в 1 всё)

да всё у скалы и джавы нормально. нету тут никакого вина, 1 в 1 всё)

к сожалению это не так

можно спросить у скиловых Scala разработчиков

ну по крайне мере вот подобных болезней нет: Can I compile Scala code into Java source (for example, so I can use GWT)? Not at the moment, although there is a project underway to provide this functionality.

Вы можете прямо сейчас у себя скомпилировать F# и декомпилировать в C# без проблем

собственно я часто это делал что бы лучше понять особенности работы F#

Закрепляем, вин дотнета это архитектура ЦЛР!

На дот нете и джвм у меня будет возможность миксовать функциональный стиль с ооп если понадобится

И только на одной скале у тебя будет такая возможность.

можно спросить у скиловых Scala разработчиков

Насколько я знаю основная проблема scala то что у нее свои коллекции не совместимые с java и приходится перегонять данные. (в Kotlin таких проблем нет тк они юзатю java коллекции + 100500 своих extension methods для них).

ну я с котлин тоже не работал активно но мне он реально понравился. По крайне мере после C# переходить на котлин заметно приятнее нежели на Java

да блин, использовать скалу из джавы без врапперов нельзя. с фишарпом аналогичная история. хочешь фишарповые либы из сишарпа - врапперы.

одно дело когда тебя обязывают использовать враппер без вариантов

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

любые функции объявленные в F# доступен в C# как статичные методы статичных классов

Вот Роман лучше расскажет как профи F#

сейчас не поленился и сделал пример

одна строчка кода на F#

type Product = Book of int | Album of string

декомпилировался на C# в такой ад:

http://i.imgur.com/9SfTa0W.png

это всё известно. вопрос в том, что на практике. является интероп между скалой и джавой шоустопером? нет. есть плей, есть акка, спарк - всё это используется из джавы без всяких проблем. в тоже время, если мы берем какую-то полезную либу на F#, то у нее есть враппер для сишарпа, например http://nessos.github.io/Streams/

это всё известно. вопрос в том, что на практике. является интероп между скалой и джавой шоустопером? нет. есть плей, есть акка, спарк - всё это используется из джавы без всяких проблем. в тоже время, если мы берем какую-то полезную либу на F#, то у нее есть враппер для сишарпа, например http://nessos.github.io/Streams/

Подожди ведь была громкая новость в стиле "scala умирает и typesafe перешла на java". Суть была в том что TypeSafe набрала Java разработчиков и они пилят отдельное Java API для akka и spark.

Даже в "разборе полетов" упоминали http://razbor-poletov.com/2016/02/episode-104.html Барух до сих пор про это java-чате (pro.jvm) "дискутирует".

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

Даже в "разборе полетов" упоминали http://razbor-poletov.com/2016/02/episode-104.html Барух до сих пор про это java-чате (pro.jvm) "дискутирует".

Да они там хейтеры скалы сидят, раздувают там чёт, интриги скандалы, расследования. Форсят какую-то мёртвую грувю)

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

Но теперь у них +1 API конкретно для Scala. Вот вчера в Scala чате (я там тож сижу) вспоминали доклад https://youtu.be/XLSQJQjmFFw?t=49m27s

На самом деле у f# интероп с c#-тот еще головняк. Особенно сценарий, когда надо из c# либу вызывать

На самом деле у f# интероп с c#-тот еще головняк. Особенно сценарий, когда надо из c# либу вызывать

Вот тут, обычно проблем не возникало. Что за проблемы появлялись?

Ну как обычно

1. Прокидывание и вызов делегата

2. Преобразование типов

Приходится что-то вроде такого писать : let getFunc (func:Func<'a,'b>)= fun x-> func.Invoke(x)

https://twitter.com/VisualFSharp/status/837375739729043456

Хаскель слишком чистый

Пожалуйста, есть крупные расширения - Haskell++ и O'Haskell, которые привносят полноценное ООП в Хаскелл.

Пожалуйста, есть крупные расширения - Haskell++ и O'Haskell, которые привносят полноценное ООП в Хаскелл.

http://risovach.ru/upload/2016/02/mem/bolnoy-ublyudok_105123256_orig_.jpg

http://risovach.ru/upload/2016/02/mem/bolnoy-ublyudok_105123256_orig_.jpg

Да чего там, это вполне нормально и вписывается в язык. Больные ублюдки те, кто на стоковой жаве кодит в функциональном стиле, не пользуясь императивным и ооп подходом, вплоть до объявления всех переменных константными, хедедеде

https://eiriktsarpalis.wordpress.com/2017/03/06/f-and-purity/