@Fsharp_chat

Страница 10 из 772
Igor
09.03.2017
10:32:31
Vasily
09.03.2017
10:32:31
Visual Basic?

Igor
09.03.2017
10:32:44
Но для простоты можно думать что на Haskell

Vasily
09.03.2017
10:32:50
Kotlin ?
Burn the witch

Google
Roman
09.03.2017
10:32:57
Kotlin ?
он туакой же не плохой как f#?

Vasily
09.03.2017
10:33:14
В скала чате котлин не любят

Igor
09.03.2017
10:34:00
он туакой же не плохой как f#?
Конечно нет, но я на нем в продакшене пилю и у меня свободные руки что бы пытаться туда функциональщину пропихивать.

Anton
09.03.2017
10:34:19
Vasily @neftedollar я просто в jetBrains Rider переехал

Igor
09.03.2017
10:40:00
let runReaderAsync reader param = async { retrun reader param; }
А на хаскеле можешь это написать?

Roman
09.03.2017
10:40:22
нет, я не знаю хаскелл

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

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

Roman
09.03.2017
10:43:07
но он не функциональный. а процедурный

и ооп

Anton
09.03.2017
10:43:50
Там есть некие дата классы, которые ведут себя как наши рекорды в F#

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

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

Anton
09.03.2017
10:51:36
Вот оно как.

Evgeniy
09.03.2017
10:51:39
Java -> Kotlin -> Scala -> Frege

Anton
09.03.2017
10:51:58
...→ HASKELL

=)

Evgeniy
09.03.2017
10:52:22
Я про джава-языки.

Anton
09.03.2017
10:52:37
да я понял, я просто шуткую =)

Igor
09.03.2017
10:52:48
Java -> Kotlin -> Scala -> Frege
Точно. Тут еще Eta на горизонте появилась.

Alexander
09.03.2017
11:00:16
Я тут обнаружил что paket на вашем f# написан

Vasily
09.03.2017
11:00:25
Да

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

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

Friedrich
09.03.2017
13:20:38
На Frege вообще кто-то пишет? :D

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

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

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

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

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

Google
Igor
09.03.2017
13:24:15
На Frege вообще кто-то пишет? :D
У него вроде есть большой минус что он сначала компилируется в Java (не байткод) и там какой-то ужас с производительность.

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

Friedrich
09.03.2017
13:25:44
Всегда можно его потыкать :)

Igor
09.03.2017
13:26:04
Friedrich
09.03.2017
13:26:08
Он нормальный мужик, ленивый просто.

Igor
09.03.2017
13:26:30
Он нормальный мужик, ленивый просто.
Вот потому и все надежны на Eta (хоть его и индусы делают)

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

Alexander
09.03.2017
13:27:16
кто эти три человека?

Friedrich
09.03.2017
13:28:04
На гитхабе mmhelloworld, Dierk и YoEight. Ну ладно, seancorfield ещё.

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

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

Friedrich
09.03.2017
14:11:49
А :)

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

Evgeniy
09.03.2017
14:13:29
В LLVM IR.

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

Roman
09.03.2017
14:13:33
а то квотирование нам зачем??

Google
Friedrich
09.03.2017
14:13:50
В LLVM IR.
LLILC же.

Evgeniy
09.03.2017
14:14:00
О, а оно еще живое?

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

Friedrich
09.03.2017
14:14:13
Вроде бы не помирало, пилят.

Evgeniy
09.03.2017
14:14:37
> Latest commit 9d6a522 on 30 Jun 2016

Friedrich
09.03.2017
14:14:52
> Latest commit 9d6a522 on 30 Jun 2016
https://github.com/dotnet/llilc/tree/ObjectWriter нна

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

Evgeniy
09.03.2017
14:15:06
Ах.

> This branch is 21 commits ahead of master.

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

Roman
09.03.2017
14:18:20
Igor
09.03.2017
14:18:37
https://github.com/dotnet/llilc/tree/ObjectWriter нна
Бедные люди - пишут компилятор C# на C++ Наверное удовольствия от работы вообще не получают (нет бы F#)

Friedrich
09.03.2017
14:19:03
А я бы от такой работы удовольствие получил!

Igor
09.03.2017
14:20:47
А я бы от такой работы удовольствие получил!
Тут один разработчик JVM очень радовался что в Oracle пишут Graal - это JIT написанный на Java

Friedrich
09.03.2017
14:21:03
Дак и я рад за них, это полезная штука.

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

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

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

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

Google
Friedrich
09.03.2017
14:22:39
Общественно полезного, конечно.

Alexander
09.03.2017
14:23:10
а сейчас сколько?

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

Alexander
09.03.2017
14:23:53
а сейчас сколько?
на гитхабе например ?

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

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

Friedrich
09.03.2017
14:27:34
Не понял о чем ты, но писать компиляторы на высокоуровневым языке с нормально Memory Model лучше как ни крути (без всякого word tearing и прочих конкаренси гадастей).
Смотря компиляторы чего и во что. Я вот думаю, что компилятор чего угодно в LLVM, вполне возможно, будет весело и приятно писать на C++. (я сам пока не пробовал, и только CIL балуюсь)

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

Roman
09.03.2017
14:50:37
Очень интересная идея. А кто ещё компилится в 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? Кстати вот тут квотирование и будет в тему)

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

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

Roman
09.03.2017
17:57:43
Мне кажется MS наконец опомнился и будет вкладываться в F# так как react безаппиляционно доказал что функциональные подходы могут иметь успех
да давно показывал, у них же оч много проектов на нем на самом деле. всякие prajna и т.д. хоят последнйи прожил год и скончался потомту что сделали линк из F# сразу в spark prajna оказался не нужен

Evgeniy
09.03.2017
18:00:21
Project Springfield пишут на F#.

Roman
09.03.2017
18:02:13
Project Springfield пишут на F#.
https://www.microsoft.com/en-us/springfield/ чтоб не гуглили)

Vasily
09.03.2017
18:02:45
А внутрях сидит Гомер Симпсон и жмет на кнопки

Igor
09.03.2017
18:10:20
А есть тут Питерские?

Vasily
09.03.2017
18:10:57
Это же Мыкола Пытерский (с)

Страница 10 из 772