В твиторе.

Цифры давай!

https://twitter.com/fvnever/status/863042993657446400

Все-то у вас через твиттер делается нонче!

Ну, я решил сразу обнародовать.

Жаль, что их давным-давно не сделали struct по-дефолту.

@fvnever А что у тебя за код столько памяти кушает?

@fvnever А что у тебя за код столько памяти кушает?

Он читает VTR-файлы с помощью этой жуткой либы — https://www.nuget.org/packages/Activiz.NET.x64/ — а потом классифицирует полученные данные и строит картинки всякие.

Ага, помню.

Мемоизация сэкономила мне ещё половину памяти, кстати, но код стал работать в три раза медленней, так что от мемоизации я отказался.

(при этом мне пришлось некоторые структуры обратно сделать классами, чтоб мемоизовались)

мемоизация по идее же должен был работать ровно наоборот? Жрать память и ускорять код?

Я её хотел для другого.

У меня много одинаковых туплей занимали память, дублировались.

(при этом мне пришлось некоторые структуры обратно сделать классами, чтоб мемоизовались)

А из юнионов можно сделать структуры?

Да.

https://github.com/fsharp/fslang-design/blob/master/FSharp-4.1/FS-1014-struct-discriminated-unions.md

Да.

А как это работает на уровне байт-кода, модно вкратце?

А как это работает на уровне байт-кода, модно вкратце?

Ну, из single-valued union там банально структуры :)

А вот для объединений из нескольких значений я не смотрел, надо глянуть будет.

У меня была идея делать из них настоящие, «сишные» юнионы с помощью LayoutKind.Explicit.

Ну еще тогда офсеты надо ставить

Но для этого важно, чтобы содержимое было совместимых типов.

Точнее границы выравнивания, насколько я помню

Ну еще тогда офсеты надо ставить

Да, разумеется.

По умолчанию там вроде 4 байта, что ли

Ну, компилятор бы мог сам расставить, в том случае это было бы его закулисной прерогативой.

@angmarr Ну, это выглядит как struct c целочисленными тегами внутри, чтобы кейсы различать.

И эта структура в себе содержит данные всех кейсов.

Об этой особености нужно помнить.

И эта структура в себе содержит данные всех кейсов.

те размер “type MyType = | A of int | B of float | C of string” будет минимум 4+4+8?

@angmarr И еще 4 на тег.

@angmarr И еще 4 на тег.

А можно вложенные юнионы-структры)?

Отож!

Кстати, давно интересно, а в .NET есть “сжатые ссылки”? В JVM x64 если куча меньше 32GB, то используются 4 байта на адрес.

В Slack придумали обозначить FSharpFunc как sealed, чтобы эффективнее задействовать девиртуализацию в CoreCLR.

ЪЪЪ

@fvnever https://github.com/Microsoft/visualfsharp/pull/3031

Ого, Василий уже сделал. Какие все молодцы ?

А, нет, сделал Дон, а Василий исравил тесты.

Когда я вырасту, то хочу стать как эти ребята.

Похвально!

Эксперимент удался прекрасно, F# 4.1 позволяет очень просто увеличить быстродействие.

Круто

С неткор в VS пока ничего?

Типа там какой-нибудь альфы

Кажется, нет.

@maximpashuk Привет!

https://github.com/fsprojects/FSharp.TypeProviders.StarterPack/issues/121

Заодно и список известных провайдеров. :)

А зачем в моно вынесли в отдельный класс?

System.Reflection.MonoGenericClass

И вообще зачем они ломают совместимость?

Не люблю этих ребят, но тут они первой книгой поставили Сощникова про f#

Подборка книг, а также несколько полезных ссылок на ресурсы по функциональному программированию. https://proglib.io/p/functional-programming-books/ #fp #book

Не люблю этих ребят, но тут они первой книгой поставили Сощникова про f#

Кто знает где скачать свежую версию? ?

Жемчужины проектирования алгоритмов вообще тяжёлая, так и не дочитал

А если либа на .Net Standard сделана, она должна нормально в обычном .Net Framework работать же?

Parallel and Concurrent Programming in Haskell - книжка которая меня больше всего впечатлила за последние 2 года

Столько крутого всего в хаскелле есть, а некоторые до сих пор в 2017 живут без async/await даже

@Dolfik https://docs.microsoft.com/ru-ru/dotnet/articles/standard/library#net-platforms-support

Severity Code Description Project File Line Suppression State Error Could not install package 'FunHttp 1.0.0'. You are trying to install this package into a project that targets '.NETFramework,Version=v4.6.2', but the package does not contain any assembly references or content files that are compatible with that framework. For more information, contact the package author. 0

@Dolfik Cудя по таблице, 4.6.2 не умеет в netstandard1.6.

Severity Code Description Project File Line Suppression State Error Could not install package 'FunHttp 1.0.0'. You are trying to install this package into a project that targets '.NETFramework,Version=v4.6.1', but the package does not contain any assembly references or content files that are compatible with that framework. For more information, contact the package author. 0

ERROR: S client not available

Было бы глупо ;)

Там скорее >= 4.6.1

Есть кто интересующийся Idris и из Москвы?

Alexey есть чат про зависимые типы в телеграме, если интересно

Интересно

Но вопрос тем не менее актуален, у меня есть интересное предложение

Parallel and Concurrent Programming in Haskell - книжка которая меня больше всего впечатлила за последние 2 года

По моему у Bartosz Milewski как раз по ней курс на youtube (по нему и учил хаскель и haskell for great good)

Есть кто интересующийся Idris и из Москвы?

Что такое ирдис?

Что такое ирдис?

https://www.idris-lang.org/ вероятно

Идриски.

https://www.idris-lang.org/ вероятно

Ну хоть какой-нибудь пример бы был на странице

https://www.idris-lang.org/example/

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

Над паскалем смеются, а у C++ до сих пор модулей нет.

Alexey есть чат про зависимые типы в телеграме, если интересно

Интересно, покажите.

tg://join?invite=AAAAAD9SWO_tLd7rJ9S7Ig

Утро.

@fvnever Смотри, что нашел. http://yaccconstructor.github.io/Brahma.FSharp/

У них еще есть тайппровайдер, чтобы запускать нативный OpenCL код.

Хороший проект!

@edvail Привет?

привет

что-то мне как-то не везёт с функциями которые возвращают не применённые функции

вот например

когда я в своём проекте вызываю эту функцию: https://github.com/xyncro/chiron/blob/master/src/Chiron/Chiron.fs#L630

и запусукаю свой проект в ажур функциях, то получаю ошибку:

2017-05-13T08:11:15.639 Exception while executing function: Functions.skykick-validate-partner. mscorlib: Exception has been thrown by the target of an invocation. AlsoCloud: Method not found: 'Microsoft.FSharp.Core.FSharpFunc`2<System.String,Microsoft.FSharp.Core.FSharpChoice`2<Json,System.String» Json.get_tryParse()'.

компиляция проходит без проблем при этом

господа/товарищи, может у кого-то есть идея где я туплю?

Мб разные рантаймы?

попробую сейчас биндинг редирект заворэрвундить