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

чтоб дженерик аргумент был 1

16:19пожаловаться #1

Ilya Chernoudov in F# Flood: Be a cheif

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

а если таким способом собрать условный Vector<T>, то будет Vector<T, TEv>
и во всех объявлениях придется два типа долбить постоянно

дак и тут тоже не инлайнится

16:21пожаловаться #2

Doge Shibu in F# Flood: Be a cheif

Можно попробовать обильно аннотациями с инлайном всё это разложить.

16:21пожаловаться #3

дак и тут тоже не инлайнится

ну AddThreeTimes нормально схлопнулся

16:21пожаловаться #4

например

16:21пожаловаться #5

Doge Shibu in F# Flood: Be a cheif

Doge Shibu

Можно попробовать обильно аннотациями с инлайном всё это разложить.

Но я не знаю как тот же IL2CPP на них реагирует

16:22пожаловаться #6

Doge Shibu

Но я не знаю как тот же IL2CPP на них реагирует

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

16:22пожаловаться #7

можно инлайнить даже толстенные методы

16:22пожаловаться #8

Doge Shibu in F# Flood: Be a cheif

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

Ну отлично, а-то я с IL2CPP ни разу не работал на практике, не особо представляю насколько он эти аннотации уважает.

Крылатый Пегас... in F# Flood: Be a cheif

16:23пожаловаться #9

КП

3 китайца мимо? он с китая? или из ирландии?

Коренная китайская народность Ирландии.

16:23пожаловаться #10

Doge Shibu

ну это по сути транспайлер на коленке, он очень лобовой
там основную работу делает уже clang потом, как ему месиво из плюсов отдали

Ayrat Hudaygulov in F# Flood: Be a cheif

16:24пожаловаться #11

3 китайца мимо? он с китая? или из ирландии?

Не, там были русский, турок и индус. Вот они мимо

16:24пожаловаться #12

Ilya Chernoudov in F# Flood: Be a cheif

ну AddThreeTimes нормально схлопнулся

попробуй даблы

Крылатый Пегас... in F# Flood: Be a cheif

16:24пожаловаться #13

КП

Крылатый Пегас

Коренная китайская народность Ирландии.

Попали туда как наследники азиатских рабов времён поздней римской Империи.

16:24пожаловаться #14

попробуй даблы

16:25пожаловаться #15

still okay

16:25пожаловаться #16

но кстати с лобовой трансляцией у il2cpp в случае с реализацией стд вектора большие проблемы

он касты к обджекту транслирует напрямую, а силанг думает, что это нужно и не режет
в итоге конструкции

(T)(object) someT выливаются в печальную картину

16:28пожаловаться #17

Roman in F# Flood: Be a cheif

не понимаю какие проблемы с боксингом
в 21 веке достаточно иметь райдер + хип аллокейшен вьювер, чтоб не тупить

в качестве правила достаточно взять - писать вместо

void Foo(ISome some) {
}

вот так

void Foo<T>(T some) where T : ISome {
}

в большинстве случаев спасет от лишнего боксинга

в фшарпе чуть проще)

let foo (some: ISome) = ()
let foo2 (some: #ISome) = ()

16:29пожаловаться #18

ну в фшарпе помимо боксинга есть куда более дорогие вещи 🙂
там всякие коллекции и прочее, которые хотят в иммутабельность

можно конечно писать сишарп лайк, но зачем

16:31пожаловаться #19

Roman in F# Flood: Be a cheif

ну там бенчмарки странные вещи показывали