не запретить

а, наоборот

@A64m_qb0 я знаю тебе интересны такие штуки https://github.com/phadej/vec

это я видел уже

комитетчики с удовольствием обсуждают всякие микрофичи типа фиксити тайпоператоров, иной раз по паре месяцев, ну очевидно сомнительные фичи еще, если вдруг что-то посложнее, вроде OR-паттернов, они не принимают и не отказывают а отфутболивают автора дописывать пропозал

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

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

Всегда можно форкнуть, свободка же (нет)

им бы одного-двух человек, которые правда что-то принимать и делать хотят, как в библиотечном комитете (до его задвигания жертвами туплов)

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

Чем незначительнее вопрос, тем большее число людей может иметь по нему своё мнение, и тем дольше обсуждение. Поэтому не факт что что-то сложное будут обсуждать дольше.

да проблема не в том, что они долго будут обсуждать, а в том, что не будут

а отфутболят на ранней стадии на доработку описания без внятного решения

вот да

у нас там вообще требования выставили

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

и все равно скажем что нужно афинные типы, потому, что для vector этого хватит

(утрировано)

https://arxiv.org/pdf/1711.09286.pdf

и все равно скажем что нужно афинные типы, потому, что для vector этого хватит

тут уже несколько раз встречал в чате это понятие, а чем они так плохи?

ничем не плохи

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

обратное поидее проще

это я понимаю (правда только на уровне определения, что есть Rank2Type не знаю)

стандартно же все типы линейные разве не?

https://arxiv.org/pdf/1711.09286.pdf

Police Codes?

Police Codes?

не, все разобрался =)

стандартно же все типы линейные разве не?

ничего не понял

почему типы линейные стандартно?

http://cyclowiki.org/wiki/Линейные_типы я нашел только это определение

линейные типы как я понял обеспечивают отсутсвие сайдэффектов

нет?

прошу прощения если я какую-то ахинею несу

это как стрим) к ним можно доступиться только раз

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

где "используется" определяется операционной семантикой языка

афинные - 0 или 1

т.е. с афинными типами его можно забывать

пример языка использующего это - раст

http://kategory.io/

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

хороший подход, мне нравится, но требует многое от компилятора

ваша семья в заложниках у Крокфорда?

Хуже, у Грефа

А хаскелистам надо такие классы? Или об этом есть пейпер?

А хаскелистам надо такие классы? Или об этом есть пейпер?

Хаскелистам нужна штанга же.

Это очень круто, но вы лично пробовали найти разработчика на Reason? Тут нормального разработчика на JS фиг найдешь. Толпы хипстеров на гироскутерах, с вейпами, после недельных курсов. Которые, блин, даже fizzBuzz с трудом пишут.

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

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

Нет, они забывают про 15

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

Никаких придирочек, всё объективно. На голове не хожу.

сразу видно человека не написавшего fizzbuzz

=)

<- а тут видно человека, завалившего simple algorithm на onsite гугловом когда-то, но я там по делу завалил ибо не подумал сразу и писал на языке, на котором кучу лет не писал до этого

при том что похоже, что остальное в т.ч. advanced algorithms сдал нормально

Я со стороны наблюдал за собеседованиями, когда в филиал набирали людей, но местный глава филиала не желал видеть никого нового и всех отбраковывал, с глумом

У меня скоро в ФБ онсайт

Стремно

тут ребята из fb кстати были

Но я в Европе

сразу видно человека не написавшего fizzbuzz

Чукча не писатель ?

сразу видно человека не написавшего fizzbuzz

Как видно то? НОК просто.

НОК? это что-то связаное с НИОКР?

сорри туплю к ночи

Наименьшее общее кратное или как-то так

Чукча не писатель ?

Чукча архитектор

Наименьшее общее кратное или как-то так

Алгоритм Эвклида?

Алгоритм Эвклида?

я не помню) вроде он не оптимизирован

3 и 5 взаимно простые. Нок = 3 * 5.

Как видно то? НОК просто.

не просто там был rage speach я про это

ERROR: S client not available

ну не особо rage конечно

Помню на работе спросили при приеме grep с какими - то флагами

Я сказал man grep и меня взяли на работу

ахах

@acrawley в гугл (швейцарский), кстати, достаточно просто все было, т.е. если хочется туда пойти работать, а не визу быстро получить чтобы туда съездить, то вполне нормально

=)

google grep вообще бы 2 зарплаты дали

не просто там был rage speach я про это

Та просто сейчас как раз ищем. Просто позор. Я бы постеснялся даже резюме отсылать при таком уровне. А хотят много. Возможная причина подгорания.

не у тебя ж оно было

тут кстати 2 человека написали, что умеют хорошо в js

@acrawley в гугл (швейцарский), кстати, достаточно просто все было, т.е. если хочется туда пойти работать, а не визу быстро получить чтобы туда съездить, то вполне нормально

Ну меня как New Grad в Дублин ща собеседуют. Я очень удивился когда мне про онсайт написали.

Работа после собеседования, ожидания и реальность

какого там html в базе?

Норм. Я так мимо проекта проходил, полностью на Oracle SQL написанного. Вроде.

ораклисты так любят

у них вообще своё мировозрение

какого там html в базе?

Его еще и парсить надо, в другой хранимке

какого там html в базе?

HTML - oriented application

Нью-Йоркская контора, между прочим

У меня щас мейлы так в базе хранятся, ибо заказчики хотят мочь менять текста

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

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

(это к антидепрессантам)

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

Я его понимаю

при этом там был haskell

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

Это эвфемизм для увольнения?

при этом там был haskell

Та пофиг. Люди горят.

норм, я так курьером работал однажды

ораклисты так любят

Вот именно поэтому у меня несколько скептическое отношение к физзбаззу. Потому что эту отрасль - энтерпрайз, он вообще не затрагивает

Это эвфемизм для увольнения?

хз, "я устал я ухожух" от него

Писал когда - то fizz buzz без ифов