Телеграмм чат группы Fsharp

2020 June 24

VS

Vasily Shapenko in F# Chat

В головах у людей явно каша

источник

00:12пожаловаться #1

VS

Vasily Shapenko in F# Chat

И хорошо, если гречневая

источник

00:12пожаловаться #2

IC

Ilya L Che in F# Chat

Ivan Balanar

Т.к. листы в F# иммутейбл, нет ли каких-нибудь оптимизаций при конкатенации двух листов, которые эффективно предотвращают выделение памяти под копию суммы листов?

А зачем тебе выделять память при сложении списков? Они ж односвязные. Подцепил начало второго к концу первого, и всё.

источник

00:13пожаловаться #3

IB

Ivan Balanar in F# Chat

Vasily Shapenko

С чего ты взял, что там будет выделение памяти?

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

источник

00:13пожаловаться #4

AH

Ayrat Hudaygulov in F# Chat

Ilya L Che

А зачем тебе выделять память при сложении списков? Они ж односвязные. Подцепил начало второго к концу первого, и всё.

Так не получится

источник

00:13пожаловаться #5

AH

Ayrat Hudaygulov in F# Chat

Мне кажется тут кто-то что-то не понимает

источник

00:14пожаловаться #6

IB

Ivan Balanar in F# Chat

читаю первые страницы сайма. не понимаю много чего.

источник

00:14пожаловаться #7

AH

Ayrat Hudaygulov in F# Chat

Ilya L Che

А зачем тебе выделять память при сложении списков? Они ж односвязные. Подцепил начало второго к концу первого, и всё.

Ты мутируешь первый лист таким образом

источник

00:14пожаловаться #8

IC

Ilya L Che in F# Chat

Хм, тоже верно.

источник

00:14пожаловаться #9

AH

Ayrat Hudaygulov in F# Chat

Vladimir Shchur

да, там не будет копии листов

С чего бы? Копия первого должна быть

источник

00:15пожаловаться #10

DB

Denis Bobrov in F# Chat

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

источник

00:21пожаловаться #11

IC

Ilya L Che in F# Chat

Ivan Balanar

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

https://books.google.ru/books?id=y08oDwAAQBAJ&lpg=PA102&ots=kt3-7vrhf0&dq=f%23%20concatenate%20lists&pg=PA102#v=onepage&q=f%23%20concatenate%20lists&f=false

Google Books

F# High Performance

Build powerful and fast applications with F#About This BookExplore the advanced concurrency support in F# and .NET TPLCovers major optimization techniques in F# to improve the performance of applicationsUse Struct, Class and Record model, Interop with C# and VB without sacrificing performance.Who This Book Is ForThis book is for F# developers who want to build high-performance applications. Knowledge of functional programming would be helpful.What You Will LearnUnderstand how the execution of functions in F# worksIdentify common performance bottlenecksImplement best practices to optimize performanceUse the available tooling to help measure performanceCombine the best practice of asynchronous and synchronousOptimize further using various F# language constructsIn DetailF# is a functional programming language and is used in enterprise applications that demand high performance. It has its own unique trait: it is a functional programming language and has OOP support at the same time.This book will help you make F#…