VS
К сожалению такой рынок, да. Поэтому с него надо бежать, там ад из вопросов по рихтеру, которые никогда никому не пригодились
лучше в ад задач из литкода?
Size: a a a
2020 September 08
AH
лучше в ад задач из литкода?
такого ещё не видел
I
Пасибо, я тогда лучше на сишарпе останусь. Зарплаты у вас хорошие, а работы джунам нет :(
Ну я лично сам для себя фшорп учил, начал с перевода сишорп утилок на фаршик, получил в итоге крайне плохой сишорп на эфшорпе. Потом посмотрел ещё фишки, переписал, потом ещё раз и в итоге уже кажется что даже шарю!
I
Основная работа на сишорпе была, но захотелось кругозор расширить в плане языков, но не очень хотел с дотнета съезжать, всё же знание bcl и библиотек как по мне даже затратнее, чем знание языка
I
И эфшорп показался идеальным для такой цели
VS
такого ещё не видел
ну вроде же в больших конторах собесы одинаковые - реши пару заданий литкода на доске
AH
ну вроде же в больших конторах собесы одинаковые - реши пару заданий литкода на доске
не, это неправда. Я был на собесах в крупных компаниях, везде упор был на дизайн, рахитектуру
AH
но наверное mileage may vary
АВ
ну вроде же в больших конторах собесы одинаковые - реши пару заданий литкода на доске
ты про «наполни автобус шариками» ? никогда не встречал
I
ну вроде же в больших конторах собесы одинаковые - реши пару заданий литкода на доске
Или про "ты знаешь что такое СВЯЗАННЫЙ СПИСОК?!"
VS
хз) из того что я знаю - амазон, фейсбук, монга, гугл, все через литкод)
АВ
Или про "ты знаешь что такое СВЯЗАННЫЙ СПИСОК?!"
Your name is Oleg? Holy shit, you’re hired! )))
VS
лан, чета оффтоп
2020 September 09
Dv
К сожалению такой рынок, да. Поэтому с него надо бежать, там ад из вопросов по рихтеру, которые никогда никому не пригодились
Да как не пригодились-то? Вон, недавно пригодилось знание про параметризованные свойства :)
Dv
Или про "ты знаешь что такое СВЯЗАННЫЙ СПИСОК?!"
А вот это знание очень полезным бывает.
SB
Короче, я вот нихуя не знаю эрланг, но если я пойду на эрланг проект, то только тим лидом, я ж его за полчаса выучу.
сам Эрланг простой как песня, но его энв и некоторые особоенности под капотом будут тебе многих нервов стоить.
RM
сам Эрланг простой как песня, но его энв и некоторые особоенности под капотом будут тебе многих нервов стоить.
Во фоудильне такие разговоры поддерживаются.
Тут про ф#)
Тут про ф#)
SB
Andrey Kurdyumov
Добрый день. Такой вопрос:
У меня есть два компонента (Raspbry + система управления питанием), которые между собой взаимодействуют как конечные автоматы.
Я бы хотел чтобы в комплексе эти две вещи работали максимально "правильно".
У меня есть
1. цепочки переходов состояний заданные мной, которые приводят к "хорошим" состояниям.
2. цепочки переходов состояний заданные мной, которые приводят к "плохим" состояниям. но они известны и я готов с ними жить.
Я подумал что я могу использовать FsCheck для того чтобы найти хитрые комбинации событий в системе, которые я не жду и которые приведут к нежелательному дя меня результату.
Пока у меня не получается придумать разумные инварианты. Как я понимаю в терминологии FsCheck это Property. Потому я решил начать с простого и задать вопросы
1. FsCheck это разумный выбор для подобной задачи?
2. Есть ли какие то рекомендации как формировать инварианты для конечных автоматов?
У меня есть два компонента (Raspbry + система управления питанием), которые между собой взаимодействуют как конечные автоматы.
Я бы хотел чтобы в комплексе эти две вещи работали максимально "правильно".
У меня есть
1. цепочки переходов состояний заданные мной, которые приводят к "хорошим" состояниям.
2. цепочки переходов состояний заданные мной, которые приводят к "плохим" состояниям. но они известны и я готов с ними жить.
Я подумал что я могу использовать FsCheck для того чтобы найти хитрые комбинации событий в системе, которые я не жду и которые приведут к нежелательному дя меня результату.
Пока у меня не получается придумать разумные инварианты. Как я понимаю в терминологии FsCheck это Property. Потому я решил начать с простого и задать вопросы
1. FsCheck это разумный выбор для подобной задачи?
2. Есть ли какие то рекомендации как формировать инварианты для конечных автоматов?
TLA+, слышал о таком?