c# haskell ocaml elixir typescript?

Kotlin ?

Visual Basic?

Но для простоты можно думать что на Haskell

Kotlin ?

Burn the witch

Kotlin ?

он туакой же не плохой как f#?

В скала чате котлин не любят

он туакой же не плохой как f#?

Конечно нет, но я на нем в продакшене пилю и у меня свободные руки что бы пытаться туда функциональщину пропихивать.

Vasily @neftedollar я просто в jetBrains Rider переехал

let runReaderAsync reader param = async { retrun reader param; }

А на хаскеле можешь это написать?

нет, я не знаю хаскелл

Kotlin ?

Синтаксис Синтаксис языка похож на Pascal, TypeScript, Haxe, PL/SQL, F#, Go и Scala, и не похож на C и C подобные языки такие как C++, Java, C# и D.

Хз, я гляул на тот котлин, вроде норм. Это как F# для оопшников.

но он не функциональный. а процедурный

и ооп

Там есть некие дата классы, которые ведут себя как наши рекорды в F#

Синтаксис Синтаксис языка похож на Pascal, TypeScript, Haxe, PL/SQL, F#, Go и Scala, и не похож на C и C подобные языки такие как C++, Java, C# и D.

Ну да там типы пишутся справа и результат функция тоже: fun toString(x: Int): String

Ребяяят, айда за F# в райдере голосовать. https://rider-support.jetbrains.com/hc/en-us/community/posts/207687125-F-Support?flash_digest=4250c6a72df0a61c1cb47e87021adbe2ad65e242

Там есть некие дата классы, которые ведут себя как наши рекорды в F#

В общем на шкале OOP->FP языки можно расположить так: Java ... Kotlin ... Scala Котлин вообще на 80% по синтаксису похож на Scala, но сильно упрощен в сторону Java (очень простой пат.матчинг, в языке нет ленивости и тд).

Вот оно как.

Java -> Kotlin -> Scala -> Frege

...→ HASKELL

=)

Я про джава-языки.

да я понял, я просто шуткую =)

Java -> Kotlin -> Scala -> Frege

Точно. Тут еще Eta на горизонте появилась.

Я тут обнаружил что paket на вашем f# написан

Да

Там автор paket в свое время выкладывал интересный пост про поиск бага с помощью fscheck

Java -> Kotlin -> Scala -> Frege

В 2015 году, среди участников конференции JavaOne, был проведён опрос о том, какой альтернативный Java язык, работающий поверх JVM, они предпочитают. Первое место занял Frege[3].

В 2015 году, среди участников конференции JavaOne, был проведён опрос о том, какой альтернативный Java язык, работающий поверх JVM, они предпочитают. Первое место занял Frege[3].

Я тоже жду когда Frege или Eta смогут запустить на Android

На Frege вообще кто-то пишет? :D

Я вот честно могу признаться, что пробовал, и интероп с Java мне очень сильно не понравился.

Стыки F# <-> C# или Java <-> Scala при этом работают идеально.

F# <-> C# хорошо работает, когда надо C# из F# вызвать. Если наоборот, то в некоторых случаях надо поприседать

F# <-> C# хорошо работает, когда надо C# из F# вызвать. Если наоборот, то в некоторых случаях надо поприседать

Ты просто не пробовал Frege.

Поверь, C# и F# в сравнении с этим стыкуются идеально, сами собою, без вообще каких-то заметных проблем :)

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

На Frege вообще кто-то пишет? :D

У него вроде есть большой минус что он сначала компилируется в Java (не байткод) и там какой-то ужас с производительность.

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

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

И релизы он выпускать не хочет https://github.com/Frege/frege/releases

Всегда можно его потыкать :)

Всегда можно его потыкать :)

А он еще жив ??

Он нормальный мужик, ленивый просто.

Он нормальный мужик, ленивый просто.

Вот потому и все надежны на Eta (хоть его и индусы делают)

Ну и сам подумай, у него активное комьюнити — три человека. Ну нерационально ради них каждую неделю релиз выпускать.

кто эти три человека?

На гитхабе mmhelloworld, Dierk и YoEight. Ну ладно, seancorfield ещё.

При этом в компилятор контрибьютят мало, но означенные господа пилят очень неплохой тулинг и пакуют релизы gradle- и lein-плагинов, например. Что действительно полезно.

На гитхабе mmhelloworld, Dierk и YoEight. Ну ладно, seancorfield ещё.

уел)

уел)

Что, я кого-то забыл? Если да, то прошу прощения. Я года полтора назад тусил в том комьюнити, и у меня именно такое впечатление сложилось о том, кто контрибьютит во Frege активно. Обидеть никого не хотел.

Что, я кого-то забыл? Если да, то прошу прощения. Я года полтора назад тусил в том комьюнити, и у меня именно такое впечатление сложилось о том, кто контрибьютит во Frege активно. Обидеть никого не хотел.

нет-нет. Смешно звучала, "кто эти три человека?" и ты их перечислил. Это правдв смешно.

А :)

Мне сегодня приснилась мысль что надо F# компилить в BEAM.

В LLVM IR.

Очень интересная идея. А кто ещё компилится в BEAM, кроме Elixir и EFL?

а то квотирование нам зачем??

Очень интересная идея. А кто ещё компилится в BEAM, кроме Elixir и EFL?

никто вроде

В LLVM IR.

LLILC же.

О, а оно еще живое?

Пилят, не забили?

Вроде бы не помирало, пилят.

> Latest commit 9d6a522 on 30 Jun 2016

> Latest commit 9d6a522 on 30 Jun 2016

https://github.com/dotnet/llilc/tree/ObjectWriter нна

В другом бранче просто.

Ах.

> This branch is 21 commits ahead of master.

Ну, не так и активно.

Ну, не так и активно.

но пилят же

https://github.com/dotnet/llilc/tree/ObjectWriter нна

Бедные люди - пишут компилятор C# на C++ Наверное удовольствия от работы вообще не получают (нет бы F#)

А я бы от такой работы удовольствие получил!

А я бы от такой работы удовольствие получил!

Тут один разработчик JVM очень радовался что в Oracle пишут Graal - это JIT написанный на Java

Дак и я рад за них, это полезная штука.

На самом деле расклад такой.

Нам нужно в двадцать тыщ больше кода, чем есть сейчас.

Без разницы, какого, главное чтоб работал.

И тогда будет сингулярность, свобода, равенство, братство, и всё такое.

Нам нужно в двадцать тыщ больше кода, чем есть сейчас.

какого ?

Общественно полезного, конечно.

а сейчас сколько?

Не можем интенсивно — значит, автоматизируем экстенсивно, и всё равно достигнем победы!

а сейчас сколько?

на гитхабе например ?

А без разницы, сколько сейчас. Получим технологию, чтоб написать в двадцать тыщ больше — значит, всё круто.

И тогда будет сингулярность, свобода, равенство, братство, и всё такое.

Не понял о чем ты, но писать компиляторы на высокоуровневым языке с нормально Memory Model лучше как ни крути (без всякого word tearing и прочих конкаренси гадастей).

Не понял о чем ты, но писать компиляторы на высокоуровневым языке с нормально Memory Model лучше как ни крути (без всякого word tearing и прочих конкаренси гадастей).

Смотря компиляторы чего и во что. Я вот думаю, что компилятор чего угодно в LLVM, вполне возможно, будет весело и приятно писать на C++. (я сам пока не пробовал, и только CIL балуюсь)

А Memory Model в C++ норм. Это в C её нету, а для C++ формализовали, и она немногим отличается от нашей, по большому счёту.

А без разницы, сколько сейчас. Получим технологию, чтоб написать в двадцать тыщ больше — значит, всё круто.

а как же do more write less

Очень интересная идея. А кто ещё компилится в BEAM, кроме Elixir и EFL?

Виртуальная машина Erlang находит применение и в других языках программирования, например, Elixir[134][135] и проекте Erl2 Джо Армстронга[136][135]. Кроме того, Роберт Вирдинг поддерживает проект Lisp Flavored Erlang («Erlang, приправленный Лиспом»), в котором синтаксис Лиспа используется с компилятором Erlang[137]. Есть и другие BEAM-языки: Efene, Joxa, Reia[138], Luerl, Erlog[139]

Расцвет языков идет не почти по сценариям. Например C C++ C# D(какое-то время его так форсили что ппц) erlang elixir elm и вот где-то тут должен быть F#

Мне сегодня приснилась мысль что надо F# компилить в BEAM.

кто-нибудь знает где почитать спецификацию по BEAM? Кстати вот тут квотирование и будет в тему)

В любой язык надо вкладывать ресурсы. Если MS не вложит ресурсы в F# то по факту больше некому

В любой язык надо вкладывать ресурсы. Если MS не вложит ресурсы в F# то по факту больше некому

этот чатик не для похорон f#)

тут все оптимисты)

Мне кажется MS наконец опомнился и будет вкладываться в F# так как react безаппиляционно доказал что функциональные подходы могут иметь успех

Мне кажется MS наконец опомнился и будет вкладываться в F# так как react безаппиляционно доказал что функциональные подходы могут иметь успех

да давно показывал, у них же оч много проектов на нем на самом деле. всякие prajna и т.д. хоят последнйи прожил год и скончался потомту что сделали линк из F# сразу в spark prajna оказался не нужен

Project Springfield пишут на F#.

Project Springfield пишут на F#.

https://www.microsoft.com/en-us/springfield/ чтоб не гуглили)

А внутрях сидит Гомер Симпсон и жмет на кнопки

А есть тут Питерские?

Это же Мыкола Пытерский (с)