Да, я в основном на Райдере сейчас сижу. В принципе Visual Studio заменяет. Иногда Intellisense не успевает обновляться, но и то в последнем nightly билде вроде бы стало лучше.

Тесты все распознает на Xunit.

@VagifAbilov Добрый вечер. o/ А в EAP проекты Fable уже собираются?

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

Приветствую!

Вот Fable пока в Райдере не пробовал, настолько полюбил VS Code с Ionide.

Меня Core интересует

Нет, Core не пробовал. Только обычный 4.6.

Попробую ради интереса Fable проект завтра.

Меня Core интересует

2.0 в EAP пока что только

А я прямо сейчас попробую какой-нибудь простой проект на .NET Core открыть.

В EAP.

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

ну или может есть ссыль на статью на эту тему у кого?

ну или может есть ссыль на статью на эту тему у кого?

На Scala подойдет? http://vkostyukov.net/posts/designing-a-pfds/

лучше, чем ничего, спс)

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

Зависит от целей, я полагаю. :)

Я бы выбирал реализацию из соображений прагматизма.

проклятую серебряную пулю никак не изобретут, ага

@Atsapura Я еще рекомендую посмотреть на структуры данных в FSharpx.Collections, может быть там есть что-то готовое и подходящее. https://github.com/fsprojects/FSharpx.Collections

@Atsapura Я еще рекомендую посмотреть на структуры данных в FSharpx.Collections, может быть там есть что-то готовое и подходящее. https://github.com/fsprojects/FSharpx.Collections

да, я гляну, спс. Но я ща не конкретную задачу решаю, хотел с теорией ознакомиться. Опыта ж еще 0

да, я гляну, спс. Но я ща не конкретную задачу решаю, хотел с теорией ознакомиться. Опыта ж еще 0

Эх, я бы тоже хотел! У меня книжка Окасаки лежит на диске, но я даже не начинал читать.

@Atsapura Может с Окасаки и стоит начать? А потом статью Vladimir Kostyukov.

о, я не знал про него. Спс, почитаю надосуге

Правда, литературы я себе набрал на год вперед, хз когда все это буду читать

о, я не знал про него. Спс, почитаю надосуге

Могу сюда скинуть переведенную версию.

Скинь плз)

Могу сюда скинуть переведенную версию.

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

#books #okasaki #purely #functional #data #structures

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

Не помню такого.

Спасибо

Перевод редактировал Брагилевский (я больше никого не знаю). Должно быть хорошо.

Не помню такого.

Заведу тогда позже общую папку на гуглодиске и скину туда все, что есть. Потом можно будет ссылку запинить или ещё что-нибудь

Эх, я бы тоже хотел! У меня книжка Окасаки лежит на диске, но я даже не начинал читать.

Он же на хаскеле, вроде?

Он же на хаскеле, вроде?

SML!

И на хаскеле тоже есть.

Это что за чудо? Как запустить на винде?)

Это что за чудо? Как запустить на винде?)

Standard ML. Мне кажется, что почти все реализации в полуживом состоянии.

Но код несложно переписать на OCaml. В случае F# придется немного переделывать с ML-модулей на классы.

Понятно, у меня эта книга тоже пылится ._. ^^^^как и много других

Standard ML. Мне кажется, что почти все реализации в полуживом состоянии.

по-моему оно без проблем запускается под виндой, и компилятор и REPL пахал. С OCaml у меня больше сложностей возникло именно под виндой

по-моему оно без проблем запускается под виндой, и компилятор и REPL пахал. С OCaml у меня больше сложностей возникло именно под виндой

А какая реализация?

А какая реализация?

ML или OCaml? ML я могу потом на рабочем компе посмотреть, возможно там жив, но вряд ли. а OCaml я по-моему в итоге в Cygwin поставила

ML или OCaml? ML я могу потом на рабочем компе посмотреть, возможно там жив, но вряд ли. а OCaml я по-моему в итоге в Cygwin поставила

ML.

Спасибо!

ML или OCaml? ML я могу потом на рабочем компе посмотреть, возможно там жив, но вряд ли. а OCaml я по-моему в итоге в Cygwin поставила

Да, он так и ставится. https://fdopen.github.io/opam-repository-mingw/

SML живы, пока хочется их изучать. На практике использовать не рекомендуется, увы

На Курсере курс по Programming Languages использует SML в одной из частей - для такого SML пока применим.

Я именно тогда его и ставила, когда этот курс проходила

SML простой как валенок и там нет таких неочевидных поворотов сюжета типа "вообще-то функции принимают один аргумент, но иногда они только притворяются таковыми" :)

Я именно тогда его и ставила, когда этот курс проходила

А тяжёлый курс, долго проходила?

ну он на 8 недель тогда был рассчитан. Сейчас поделен на 3 части, которые постоянно повторяются

курс просто огонь, я тащусь от него

@gsomix @fvnever а о том, что функции принимают только один аргумент это вроде же корнями из математики идёт, да?

Привет!

Пожалуйте. o/

привет привет ?

курс просто огонь, я тащусь от него

А можешь tl;dr курса сделать?) сейчас нет возможность прочитать про что он

О, зашёл таки =)

А можешь tl;dr курса сделать?) сейчас нет возможность прочитать про что он

Самые основы теории языков программирования, всё пляшет вокруг OOP vs FP и динамическая типизация vs статическая. На примере 3 языков: ML, Racket, Ruby. Классные лабы: не только нырнуть в язык и пощупать на их примере изучаемые концепции, но и написать на этих языках какие-то кусочки реализации других языков. В частности, небольшие фрагменты автоматического вывода типов и чудный интерпретатор на Racket

А где ещё можно спросить по поводу внутренностей сборок? ?

А где ещё можно спросить по поводу внутренностей сборок? ?

В @cilchat.

Там только Никита обычно отвечает, а у него я уже спрашивал

@Dolfik В Nightly у меня открылся .NET Core проект.

И даже собрался.

И даже Go to declaration из F# netcoreapp в C# netstandard работает!

Круто

Ладно, попроще вопрос. Не пойму, что имеется ввиду: There's are no way to even refer early-bound, to such a global field or method in another module. (You can, however, "reach" them, late-bound, via Reflection)

early-bound/late-bound

early-bound/late-bound

early-bound — compile time

late-bound = execution time?

Да.

хммммм

@Dolfik В Nightly у меня открылся .NET Core проект.

Отладка работает. И внутренности C# класса из соседнего netstandard проекта показывает.

привет, мы кстати снова F# спикеров завем в Минск =) https://twitter.com/sergey_tihon/status/918182434889457664

привет, мы кстати снова F# спикеров завем в Минск =) https://twitter.com/sergey_tihon/status/918182434889457664

Привет, Сергей! Они уже билеты вовсю продают, а спикеров нет?

@AnutaU часть спикеров есть, их можно на сайте посмотреть, а вот F# еще нету - https://fby.by

Самые основы теории языков программирования, всё пляшет вокруг OOP vs FP и динамическая типизация vs статическая. На примере 3 языков: ML, Racket, Ruby. Классные лабы: не только нырнуть в язык и пощупать на их примере изучаемые концепции, но и написать на этих языках какие-то кусочки реализации других языков. В частности, небольшие фрагменты автоматического вывода типов и чудный интерпретатор на Racket

Спасибо

@sergey_tihon крутой, да. :)

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

Кстати, может кто-то хочет попробовать свои силы? https://twitter.com/_cartermp/status/918193983846617088

Редко к нам заглядывает.

зато я всегда про вас помню, всем рассказываю и ссылочку раздаю)

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

А мы тут, между прочим, интересными вещами занимаемся. Пытаемся Generative провайдеры починить :)

А мы тут, между прочим, интересными вещами занимаемся. Пытаемся Generative провайдеры починить :)

на дотнет коре?

на дотнет коре?

Угу

Угу

круто! проверьте тогда, может Дон 8 минут назад уже что-то подчинил https://github.com/fsprojects/FSharp.TypeProviders.SDK/pull/139#event-1288944964

круто! проверьте тогда, может Дон 8 минут назад уже что-то подчинил https://github.com/fsprojects/FSharp.TypeProviders.SDK/pull/139#event-1288944964

Да блин. Ну мы не Доны Саймы, не можем такую штуку за день написать

Да блин. Ну мы не Доны Саймы, не можем такую штуку за день написать

Я про то что он сча активно комитает и муржит в проект с SDK - надо посматривать что он там делает )

Я про то что он сча активно комитает и муржит в проект с SDK - надо посматривать что он там делает )

Мы здесь обсуждали с ним: https://github.com/Microsoft/visualfsharp/issues/2406

Мы здесь обсуждали с ним: https://github.com/Microsoft/visualfsharp/issues/2406

ага, я видел - все читаю, мне падает в почту =)

зато я всегда про вас помню, всем рассказываю и ссылочку раздаю)

Отлично! Спасибо.

круто! проверьте тогда, может Дон 8 минут назад уже что-то подчинил https://github.com/fsprojects/FSharp.TypeProviders.SDK/pull/139#event-1288944964

+6,551 −971

Ладно, ладно, там копипасты из компилятора, наверное, много.

Ладно, ладно, там копипасты из компилятора, наверное, много.

да, много, но главное что он пишет что у него заработало https://twitter.com/dsyme/status/918207593377681408

Отлично! Теперь можно обновлять провайдеры и тестировать?