хотелось бы его применить на фин рынках. очищать графики от шума, от ложных срабатываний торговых систем.

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

хотелось бы его применить на фин рынках. очищать графики от шума, от ложных срабатываний торговых систем.

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

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

Да

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

так точно

:D

Race condition

с 8 кубитами может что и будет, но это код на уровне изучения прогрраммирования как "Hello world" ))) что то серьезное, то да,. еще и медленнее скорее, чем с классическими алгоритмами для 32 кубитов по документации от майкрософт, виртуальная машина требует 64Гб свободной памяти

"8 кубитов хватит всем"

"8 кубитов хватит всем"

смотря для каких задач. у квантового компьютера не работает наращивание разрядности как у обычного классического процессора. если 32 разрядные числа можно складвать на 8 разрядном процессоре за 4 такта используя операцию сложения с переносом. на квантовом такое не пройдет

IBM для коммерческого использования уже предоставляют 8 кубитный квантовый.

надо CLR менять. Не в этом десятилетии.

Потихоньку уже меняют же.

Потихоньку уже меняют же.

откуда инфа?

Для языковых фич C# / F# (Span сотоварищи) дополняют CLI.

ну, об этом я слышал, да. Про систему типов для HKT не слышал.

Поэтому спаны только в неткоре, кажется?

ну, об этом я слышал, да. Про систему типов для HKT не слышал.

Не, я про то, что в принципе код CLR начали менять под фичи языков. Этап стагнации, который начался с релизом 2.0, кажется, пройден.

С ним согласны многие. И я в том числе. Сделать это хаками в С# компиляторе получится так же убого как атрибутами возле методов и типов подсказывать что они NotNull, а потом получать: typeof<int> == typeof<int?> //false typeof<string> == typeof<string?> //true C# = Consistensy! Если они там атрибутами намажут метаинформации у каждого генерик типа чтобы компилятор в компайл тайме чот собирал, а в рантайме получилась тыква (как в примере выше) - это полный пэ

А в чем конретно проблема аннатировать код?

@sergey_tihon

рекламирую либу для Гопачка https://github.com/Szer/Hopac.IO

@sergey_tihon

ась?

ась?

Хотим в викли рекламу для гопак.ио купить.

:)

ок, будет

хотя я лично не топлю за популяризацию Hopac )

хотя я лично не топлю за популяризацию Hopac )

Мне нравится то, что показывают в блоге Demistify FP.

хотя я лично не топлю за популяризацию Hopac )

я даже догадываюсь почему

я даже догадываюсь почему

почему?

почему?

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

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

С такой логикой и HKT нам не нужны, очень инородно для дотнета)

Я согласен на самом деле)

так и не нужны наверно)

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

так и не нужны наверно)

из этого утверждения цельный срач можно развести.

в туитторе уже развели)

Мне нравится то, что показывают в блоге Demistify FP.

Например, там используется API без кастомных операторов. ;)

Для вкатывания очень неплохо.

ведел web api контроллеры написанные на F# и там юзался Logary Facade (еще до срача с лицензиями) и проскакивал так вот такое вот испрльзование асинхронного апи, на которое повлиял Hopac let logUserRequest methodName (tr : Request) = logger.logWithAck Info ( eventX "{logger}: Called {url} with request {tr}" >> setField "logger" (sprintf "%A" logger.name) >> setField "url" ("/api/"+methodName) >> setField "tr" ((sprintf "%A" tr).Replace("\n","")) ) личто у меня глаз подергивается когда код. логирования длинее бизнес логики самого метода

эт да)

Что-то не могу найти, как юзать функцию как оператор, подобно `` в хаскелле?

Что-то не могу найти, как юзать функцию как оператор, подобно `` в хаскелле?

Никак.

Кстати, туповатый вопрос, но все же. Хочу попробовать написать веб-сервис на f#. Но вопрос в фреймворках. Ибо как задался идей осознать язык, узнал, что есть несколько разных подходов. Как понял, стандартный шаблом студии это такое смешение ооп и функциональности. А жираф и Suave больше заточены под функциональность. Ну сам пришел из мира c#. Или не страдать фигней, написать первую версию на стандартом шаблоне студии, а потом рефакторить и рефакторить?

А идея проекта в чем? Изучить операторы пайпа?

а стандартный шаблон разве не жираф использует?

А идея проекта в чем? Изучить операторы пайпа?

гммм, нет. В идее что-то такое. Есть БД с рейтингами фирм. 1) надо уменять подтягивать эти рейтинги с других сервисов. 2) аггрегирвоать получению информацию по месяцам, триместрам и т.п. 3) ну и частичный CRUD для данной таблицы.

Кстати, туповатый вопрос, но все же. Хочу попробовать написать веб-сервис на f#. Но вопрос в фреймворках. Ибо как задался идей осознать язык, узнал, что есть несколько разных подходов. Как понял, стандартный шаблом студии это такое смешение ооп и функциональности. А жираф и Suave больше заточены под функциональность. Ну сам пришел из мира c#. Или не страдать фигней, написать первую версию на стандартом шаблоне студии, а потом рефакторить и рефакторить?

Жираф заточен под минимальнейшую функиональность над asp.net core. Даже хотелось бы и побольше =)

гммм, нет. В идее что-то такое. Есть БД с рейтингами фирм. 1) надо уменять подтягивать эти рейтинги с других сервисов. 2) аггрегирвоать получению информацию по месяцам, триместрам и т.п. 3) ну и частичный CRUD для данной таблицы.

Для начала напиши реализацию в виде консольного приложения

С основной логикой

ДЛя CRUD какой-нить tp возьми

ДЛя CRUD какой-нить tp возьми

tp?

Type provider

Кстати, туповатый вопрос, но все же. Хочу попробовать написать веб-сервис на f#. Но вопрос в фреймворках. Ибо как задался идей осознать язык, узнал, что есть несколько разных подходов. Как понял, стандартный шаблом студии это такое смешение ооп и функциональности. А жираф и Suave больше заточены под функциональность. Ну сам пришел из мира c#. Или не страдать фигней, написать первую версию на стандартом шаблоне студии, а потом рефакторить и рефакторить?

Дак можно просто обычный аспнет взять, который будет из коробки работать. Или жираф

Что-то не могу найти, как юзать функцию как оператор, подобно `` в хаскелле?

можно некоторые операторы свои описывать

Привет!

https://twitter.com/MangelMaxime/status/1014890294075183111

Да

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

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

да

ты пишешь в paket.dependencies чот типа github Szer abs.fs в paket.references нужном чот типа file abs.fs (точный синтаксис в доке лучше посмотри, так не помню) и у тебя пакет сам добавляет в fsproj ссылку на слинкованный скачанный файл с гитхаба

больше делать ничего не надо

https://fsprojects.github.io/Paket/github-dependencies.html

во, нашёл

1) github forki/FsUnit FsUnit.fs 2) File: FsUnit.fs

Ну да только боюсь мой фейбл проект начнет ещё дольше собираться, мне же нужна патченная версия Fable.React.Native

патченная? так может она в найтли билдах каких есть?

или в пререлизах

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

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

Пробовал fable + elmish + react native?

Пробовал fable + elmish + react native?

Да, на этом и пишу

А там такой же синтаксис для native как и для react dom?

А то я только недавно узнал что в js версии разные объекты

Всмысле react-dom там дивы и все такое, а в нэйтив не дивы, а больше похоже на всякие StackLayout. Т.е. совсем не дом)

А там такой же синтаксис для native как и для react dom?

Примерно, только там нет классов (css) и вместо div/span нормальные компоненты

Всмысле react-dom там дивы и все такое, а в нэйтив не дивы, а больше похоже на всякие StackLayout. Т.е. совсем не дом)

Точно подмечено, но в принципе там есть View который можно юзать как div и Flex на месте

Точно подмечено, но в принципе там есть View который можно юзать как div и Flex на месте

Т.е. чтоб изоморфные приложение написать надо написать две разные ф-ции view?

Как вариант. Хотя я пробую https://github.com/necolas/react-native-web

Вроде работает, но со странностями

Как вариант. Хотя я пробую https://github.com/necolas/react-native-web

О, я тоже ее смотрел. Надо как-то из fable по особому вызывать?

О, я тоже ее смотрел. Надо как-то из fable по особому вызывать?

В теорией нет, но не все работает из коробки так же. Типа fetch в RN может делать запросы на любые сайты, а web он уже ограничен и ещё верстка местами чучуть по разному работает

В теорией нет, но не все работает из коробки так же. Типа fetch в RN может делать запросы на любые сайты, а web он уже ограничен и ещё верстка местами чучуть по разному работает

Ок, спасибо

Есть вообще идея выкинуть RN и писать просто PWA, больно много возни с публикацией приложений в сторы

type Player = { Id: PlayerId NickName: PlayerNickName FirstName: PlayerFirstName Companies: Company list } type Company = { Id : CompanyId Name: CompanyName PlayerOwner: Player } когда вот такая вот круговая зависимость есть ли способ создать такие типы?

Есть вообще идея выкинуть RN и писать просто PWA, больно много возни с публикацией приложений в сторы

Здравая идея) но не из-за публикации, там не так сложно, а просто писать попроще

type Player = { Id: PlayerId NickName: PlayerNickName FirstName: PlayerFirstName Companies: Company list } type Company = { Id : CompanyId Name: CompanyName PlayerOwner: Player } когда вот такая вот круговая зависимость есть ли способ создать такие типы?

And между ними должен помочь или модуль объявить как rec

да, просто and добавь

объявить модуль как rec - это чревато, там компилятор начинает дичь творить иногда

нашёл ишью https://github.com/Microsoft/visualfsharp/issues/4755 Сайм сказал что by design

Здравая идея) но не из-за публикации, там не так сложно, а просто писать попроще

Ну как сказать, на GP у меня уже 2 бана, а на AppStore 100$ в год и модерации ещё жёстче

Ну как сказать, на GP у меня уже 2 бана, а на AppStore 100$ в год и модерации ещё жёстче

Я выкладывал в три стора( ещё был Виндоус) сильных проблем не помню, главное найти свежий гайд)

Есть вообще идея выкинуть RN и писать просто PWA, больно много возни с публикацией приложений в сторы

Вот я тоже подумал

type Player = { Id: PlayerId NickName: PlayerNickName FirstName: PlayerFirstName Companies: Company list } type Company = { Id : CompanyId Name: CompanyName PlayerOwner: Player } когда вот такая вот круговая зависимость есть ли способ создать такие типы?

and вместо второго type

and вместо второго type

?