Из чатиков по F#-вакансиям знаю только канал в Слэке F# Software Foundation. Но там вакансии по миру.

Спасибо за инфу. За ссыль на канал в слэк, буду тоже очень признателен

Там для доступа к группе в Слэке нужно зарегистрироваться в F# Software Foundation. После регистрации приглашение в Слэк придёт. http://foundation.fsharp.org/join

(регистрация бесплатная)

Ну а так, вот ссыль на канал: https://fsharp.slack.com/messages/C1JH32U5D

Желательно вакансии. Но опенсорс тоже интересен

Ещё есть https://twitter.com/fsharpjobs там недавно к Москве искали разработчика

Спасибо большое!!!

https://twitter.com/IrinaLukavskaya/status/938814269327626241

Привет всем! Подскажите, а есть какой-нибудь чатик вроде "F# jobs" ну или где можно найти проекты так или иначе связанные с F#?

Если готов в Сингапур переехать, то у нас в перспективе вроде можно использовать F#+Azure functions. Если у нас, конечно, еще ищут

Если готов в Сингапур переехать, то у нас в перспективе вроде можно использовать F#+Azure functions. Если у нас, конечно, еще ищут

"у нас" -

BandLab

BandLab

Thnks

Насколько Я знаю, сейчас в Москве в Каспер еще ищут разработчика на f# проект

https://habrahabr.ru/company/jugru/blog/334476/

Напомните сайт, где можно IL смотреть

Напомните сайт, где можно IL смотреть

sharplab.io

sharplab.io

Спасибо

Смотрите, как чётко пишут — с property-based тестами. https://github.com/fsprojects/Mechanic/pull/58/files

А теперь нечто совсем другое. https://twitter.com/timallenwagner/status/953054347063066624

Наконец-то!

https://habrahabr.ru/company/jugru/blog/334476/

И Артём Акуляков вроде в F# разбирется (он тут есть?)

Всем привет! Кто знает уже готовый хешсет в дотнете для Guid'ов?

Напиши свой)

Мне ж для продакшна__)

Ну и норм

Мне нужно чекать, есть ли данный Guid в коллекции. может для этого лучше подойдет Binary Search Tree?

напиши функцию которая всегда возвращает false

Она с очень большой вероятностью будет работать корректно всегда

?

Всем привет! Кто знает уже готовый хешсет в дотнете для Guid'ов?

А стандартный хешсет чем-то не подходит?

А стандартный хешсет чем-то не подходит?

Там ведь коллизии будут) От гуида плохой хешкод

Там ведь коллизии будут) От гуида плохой хешкод

Правда? Я этого не знал.

Правда? Я этого не знал.

У инта 4 байта, у гуида 16. Разве нет?

У инта 4 байта, у гуида 16. Разве нет?

Ну да, разумеется. И что дальше?

Ты имеешь в виду просто что в теории возможны коллизии, или что там действительно плохой хешкод, у которого заметный перекос?

Ну прост, да, ты можешь написать свой хэшсет с long в качестве хешкода, допустим. Но не факт, что он будет быстрее работать — сравнение хешкодов и накладные расходы на их хранение тоже надо учитывать (памяти будет в два раза больше занимать, про сравнение не уверен).

Я не говорю, что не надо ничо писать, а просто предлагаю обдумать возникшие проблемы — да и есть ли они вообще-то?

Бенчмаркать надо сначала. :)

А как посчитать вероятность коллизии при использования инта как хешкода для гуида?

А как посчитать вероятность коллизии при использования инта как хешкода для гуида?

Тебе шашечки или ехать?

А как посчитать вероятность коллизии при использования инта как хешкода для гуида?

Ну, в базовом случае — очень просто: поделить количество гуидов на количество интов.

А как посчитать вероятность коллизии при использования инта как хешкода для гуида?

Вероятность коллизии не покажет тебе деградацию производительности на твоих данных.

А хотя что я несу, десу

Гуидов в 4 раза больше

Надо схему Бернулли посчитать, да?

Гуидов в 4 раза больше

Ооо, поехали вспоминать вышку :D

Гуидов в 4 раза больше

Во-первых, не каждое 16-байтное сочетание формально считается валидным гуидом. Guid.NewGuid() вернёт не любое сочетание 16 байт.

А во-вторых, далеко не в 4 :)

А во-вторых, далеко не в 4 :)

В чем же подвох?

4 байта, 16 байт

В 4 степени?

Хотя не

В чем же подвох?

Сколько разных значений можно закодировать в 4 байта? В 16 байт?

8 ^ 4 и 8 ^ 16?

(2^128) / (2^32)

8 ^ 4 и 8 ^ 16?

Да.

Мамочки, что тут происходит

если в качестве key использовать tuple из двух половин guid?

не, то же самое будет

Да.

Нет.

Мамочки, что тут происходит

Вспоминаем школьную программу по информатике!

8 ^ 4 и 8 ^ 16?

А, ну да, 256, конечно же. 256⁴ и 256¹⁶.

А, да

:D

@mitutee Я предлагаю написать бенчмарк, и посмотреть, устраивает ли скорость.

А дальше можно обсудить.

если в качестве key использовать tuple из двух половин guid?

Предлагаю дикшенери сделать

Надеюсь логи чата не включены и нас не обнаружат

Сперва по первой половине, а внутри сеты из второй половины.

Сперва по первой половине, а внутри сеты из второй половины.

логично кстати. Шанс на коллиззию исчезающе мал

Надеюсь логи чата не включены и нас не обнаружат

Отвалились 12 января.

Отвалились 12 января.

Фух

Но надо запустить

А что за логи?

http://telegrammy.net/group/Fsharp_chat/page452.htm

Я не знаю, как они работают.

Типо чтобы если что доказать что человек что то писал?)

Если удалит вдруг или изменит

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

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

Чтоб нас находили в гугле

я не могу смешно ответить короче(

я не могу смешно ответить короче(

Ну, тут и не стендап шоу.

спорно

На счёт юмора: "I'm a full stack programmer, because I screwed up tail recursion."

Надеюсь логи чата не включены и нас не обнаружат

а что было?

а что было?

Все, что было, то и осталось.

А как посчитать вероятность коллизии при использования инта как хешкода для гуида?

А ты туда ВСЕ гуиды засунуть хочешь оО

А ты туда ВСЕ гуиды засунуть хочешь оО

Кол-во гуидов, равное (возможное значение инта + 1) )

Кол-во гуидов, равное (возможное значение инта + 1) )

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

Да, если допустить что гуиды сгенерированы честно, и хэшкод тоже нормально написан, то должно быть быстро)

Хм, а весить такой хэшсет будет гигабайт 10, если ничего не напутал. Сами топите урановые ломы в ртути)

https://forums.websharper.com/blog/84392

Зачастили они с релизами

https://twitter.com/migueldeicaza/status/953056474195996673

fshark

fshark in sea sharp