Наггум пока просто недопроектирован. Я пока не придумал, как прикрутить макросы красиво.

Не знаю ни одного успешного языка мигрировавшего jvm <-> .net Java уже лет 10 как сдохла, Scala года с ~2012, Clojure - ну я не слышал что бы его кто-то юзал на .net

Кложу на нет не юзают да

Потому что у нас же типобезопасненько там всё.

Кложу на нет не юзают да

Он компилируется, но у того же ClojureScript куда больше адобшен

Идет является том, чтоб f# код можно было скомпилить в jvm . Отдельно можно сделать биндинги System.Ienumerable в jvm коллекции и т.д.

Если вообще интересно про языки, то у нас ещё вот такой проект был (успешный, я лично юзаю в прдакшене немножко): https://github.com/impworks/lens

Компилятор статически типизированного языка, подозрительно похожего на F# :)

А первую версию парсера я там делал на FParsec, кстати.

Но он потом нам показался недостаточно гибким, и мы переписали ad-hoc на C#.

А первую версию парсера я там делал на FParsec, кстати.

Я тоже думал так делать, но зачем если уже есть ast?

Если вообще интересно про языки, то у нас ещё вот такой проект был (успешный, я лично юзаю в прдакшене немножко): https://github.com/impworks/lens

А, вот о чем речь. Интересно

Если вообще интересно про языки, то у нас ещё вот такой проект был (успешный, я лично юзаю в прдакшене немножко): https://github.com/impworks/lens

О боже, да я ж его видел. Хотел встроить к нам в движок

:3

Как раз из-за поддержки реактивного программирования, у нас товарищи аналитики привыкли к екскселям и к тому что все меняется.)

Узнал для себя кое что новое в C# и в F# http://stackoverflow.com/questions/1686895/is-there-an-equivalent-to-creating-a-c-sharp-implicit-operator-in-f

Узнал для себя кое что новое в C# и в F# http://stackoverflow.com/questions/1686895/is-there-an-equivalent-to-creating-a-c-sharp-implicit-operator-in-f

о, спс

namespace rec TestnameSpace module FableTTests = open Fable.Core open Fable.Core.JsInterop open Fable.Import open Browser type Soo = { lol : string a : FFTest.S } let init() = let canvas = document.getElementsByTagName_canvas().[0] console.log "lol" 1 module FFTest = type S = { aa : string } работает рекурсивные модули! Теперь можно доделать нормальны биндинг к meteor js!

Я бы воздержался от такого оператора.

Кстати, в F# есть некоторые стандартные операторы, которые непонятно как перегружать.

Например, quotation оператор -- <@ ... @>.

Мы их нашли только в коде компилятора. Не факт, что это прям всамделишные операторы по спеке :)

Да, наверное, очередная порция захардкоженной магии.

> Proving Java type soundness Какой интересный рисеч делал Сайм до того, как попал в дотнет.

> DECLARE: A Prototype Declarative Proof System for Higher Order Logic

И PhD thesis интересный.

Забавно,в старых статьях его зовут Donald.

> Machine Assisted Reasoning About Standard ML Using HOL Бакалаврский диплом на уровне.

Опять Женя самоущемляется.

ИМХО, ты мазахист.

О! Сегодня радостный день! Надо будет разбираться в огромной простыне SQL логов получившихся при профилировании - самое время расчехлять FSX и SQL TypeProviderы

https://twitter.com/kot_2010/status/849175339104448512

Это интересно.

Ну как бы увлечение монадками до добра не доводит

О! Сегодня радостный день! Надо будет разбираться в огромной простыне SQL логов получившихся при профилировании - самое время расчехлять FSX и SQL TypeProviderы

?

Ну как бы увлечение монадками до добра не доводит

Но с choise можно и побольше сделать

@neftedollar Как дела с изучением ML?

@neftedollar Как дела с изучением ML?

Машинлернинг?

Да.

Я же правильно запомнил, что ты изучаешь? .__.

Ковыряюсь с тензорфлоу монемногу.

Через обертку от Мигеля?

Через обертку от Мигеля?

Не. Меньше всего слов на пацтоне получается.

:)

Я так понимаю, у vaskir продакшен на F#.

Он частенько в слэке кидает примеры кода из их проектов.

Типа.

let allowedProtocols = [ SecurityProtocolType.Tls12; SecurityProtocolType.Ssl3 ] ServicePointManager.SecurityProtocol <- Seq.fold (|||) ServicePointManager.SecurityProtocol allowedProtocols

А здесь подсветки кода нет? :C

здесь это где?

В телеграме.

В телеграме.

клиентов не один, я к этому) в tg desktop я не вижу

В телеграме.

В мобилке нет, в десктопе зеленым подсвечивается все

В мобилке нет, в десктопе зеленым подсвечивается все

у меня каким-то синим)

А, блин. Я веб-клиентом пользуюсь.

от темы зависит?

у меня каким-то синим)

У меня в стандартном Android клиенте - просто monospace шрифт юзается

Окей, для кода телеграм не предназначен.

@neftedollar Мне хотелось бы, чтобы народ чаще выбирал F# вместо питона для таких задач. :)

Для этого надо помогать развивать инструменты и библиотеки.

@neftedollar Мне хотелось бы, чтобы народ чаще выбирал F# вместо питона для таких задач. :)

Да, полезное желание

Спросил в слэке, куда можно поконтрибьютить.

Ну, я про ML и математику.

Спросил в слэке, куда можно поконтрибьютить.

DiffSharp

@neftedollar У тебя есть какой-то особенный реквест?

кстати а как в F# слаке попасть на русскоязычный канал?

@SherievAkhmed http://fsharp.org/guides/slack/

Сначала вступить в FSF.

Принять приглашение в слэк.

Найти канал ru_general.

я уже в слаке

все

нашел )

@SherievAkhmed Тогда ты можешь легко пропустить две трети моего алгоритма!

я просто искал по rus

а ru не догадался )))

спасибо!

Там, правда, довольно тихо.

Тут живее.

@couchemar Привет!

Добрый день!

@neftedollar У тебя есть какой-то особенный реквест?

Нет

Можно ставить себе звездочки, чтобы все еще раз увидели твой проект в ленте. :)

Вчера в слэке пообщались про математические библиотеки.

Вчера в слэке пообщались про математические библиотеки.

И к каким выводам пришли?

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

Меня еще позвали вот эту штуку пилить: https://github.com/mbraceproject/MBrace.Core/pull/172

Но я ничего не понимаю в MBrace.

Запили MBrace.

Мне уже кто-то говорил, что это такое, но я забыл :(

Кажись, это что-то типа Apache Ignite.

@fvnever Spark, нет?

В чём разница между Spark и Ignite — я уже не знаю :(