tiphareth: Поеттеринг свалил из редхата в микрософт

(Читать комментарии) - (Добавить комментарий)

	stereo_sanctity 2022-07-08 10:54 (ссылка)
	из IBM в майкрософт же хуже IBM нет ничего (Ответить) (Ветвь дискуссии)

	spqr 2022-07-08 11:47 (ссылка)
	А чем не нра? (Ответить) (Уровень выше) (Ветвь дискуссии)

stereo_sanctity
2022-07-09 12:47 (ссылка)

1. systemic age discrimination: https://www.theregister.com/2022/06/13/ibm_discrimination_email/
2. пришлось побывать на нескольких sales calls с представителями ibm, столько marketing bullshit в уши даже микрософт даже амазон не вливают
3. придумали полуось а потом убили и не опенсорсят
4. способствовали торжеству винды в 90е-00е

Сами мейнфреймы, говорят, хорошие, юзать не приходилось

(Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2022-07-10 15:29 (ссылка)
	> мейнфреймы Почти 60 лет легаси говна Пишут прикладной софт под супер современное железо на ассемблере (Ответить) (Уровень выше)

	(Анонимно) 2022-07-08 14:22 (ссылка)
	айбиэм хотя бы хорошие синкпады делала у майкрософта кроме флайт симулятора и пруфчекера вообще ничего святого (Ответить) (Уровень выше) (Ветвь дискуссии)

sometimes
2022-07-08 16:06 (ссылка)

IBM ещё делала eclipse и открыла архитектуру железа, например, если не ошибаюсь. С другой стороны, MS сделала неплохой dotnet, и теперь copilot, спиздив код гитхаба и теперь его продает за деньги (вообще немаленькие, 100$ в год); с другой стороны (пока) анало говнет

(Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2022-07-09 06:13 (ссылка)
	Неплохой дотнет, к сожалению, привлек очень много быдлятины, почти как плохой жабоскрипт. И поскольку он теперь опенсорес, он неизбеждно скатится в сраное. (Ответить) (Уровень выше) (Ветвь дискуссии)

sometimes
2022-07-09 08:01 (ссылка)

Не думаю, все мухи на python сидят.

Впрочем, у C# (как, впрочем, и у Java) есть чудовищный косяк - отсутствие dependent types. В C++ они есть, там шаблоны могут зависеть от констант, и там есть variadic templates; а в C# вот этот кошмар, и они ~~жалуются~~ (в духе gnome, "why do you want to do it", "8-dim tuple is enough for all") хвастаются, что из-за type erasure этого сделать нельзя (в принципе, это вранье, но идея понятна)

Когда уже сделают нормальный язык с зависимыми типами, который не слон типа C++ и не эксперимент типа Idris

(Ответить) (Уровень выше) (Ветвь дискуссии)

(Анонимно)
2022-07-09 09:37 (ссылка)

C++ это какая-то шутка - "template metaprogramming" это спонтанно обнаруженный (!) функциональный язык, наверное, самый хуёвый функциональный язык из всех существующих. При этом, они реально развивают язык, строя на нём фичи, пердолятся с этими темплейтам, и даже в итоге получается что-то терпимое, типа концептов (если не смотреть под капот)

(Ответить) (Уровень выше) (Ветвь дискуссии)

sometimes
2022-07-09 11:18 (ссылка)

типа тово. на самом деле понятно, turing completeness довольно легко заводится везде, если специально не следить, как тараканы (взять ту же "игру жизнь"). и они с этого конца пытаются эту дикость одомашнить.

под капотом у концептов как раз все пучком, это чисто компиляторная штука; перед этим были, да, type traits, как продолжение великой идеи, чтобы сообщения об ошибках занимали non-human-parsable мегабайты и полчаса времени на компиляцию, если тянуть буст.

концепты все это сворачивают, компилируем быстро, сообщения об ошибках внятные.

плюс они ещё ввели модули, теперь будет (в теории) компилироваться не так быстро, как pascal (у него специально очень простая грамматика), но сравнимо - когда они наконец хотя бы стандартную библиотеку, и потом boost, на них переведут.

плюс cling (интерпретатор C++) уже довольно пристойный.

но все равно язык чудовищно громоздкий, конечно.

с другой стороны, Java делают постепенно чудовищно громоздкой б.м. for free, без особых benefits.

(Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2022-07-09 12:07 (ссылка)
	Ну да, концепты это уже следующий этап. В общем, им потребовалось почти 40 лет чтобы сделать немного вменяемый язык, лол (Ответить) (Уровень выше)

	(Анонимно) 2022-07-09 14:41 (ссылка)
	>без особых benefits лол блядь (Ответить) (Уровень выше) (Ветвь дискуссии)

	sometimes 2022-07-10 08:20 (ссылка)
	ну а как это сказать по-русски? "без особых выгод" звучит немного не про то. "ничего особо не приобретая" разве что но нахрена, если есть слово benefit (Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2022-07-10 14:02 (ссылка)
	это ты ничего не приобретаешь, но тебе никто ничего и не должен (Ответить) (Уровень выше) (Ветвь дискуссии)

sometimes
2022-07-10 16:36 (ссылка)

эм. есть два производителя гаечных ключей. один производитель усложняет гаечные ключи, но в результате они легче откручивают гайки, показывают индикатором, насколько туго закручено, ходят в интернет и показывают тебе ролик про WD40, если считают нужным; а другой просто делает их все более хитровыебанной формы, не увеличивая особо функционала. так understand?

(Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2022-07-11 04:48 (ссылка)
	>эм. есть два стула ... всё, как всегда. ничего нового. (Ответить) (Уровень выше) (Ветвь дискуссии)

	sometimes 2022-07-11 20:21 (ссылка)
	вам надо со "сделай сам"-анонимусом побеседовать (Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2022-07-12 14:41 (ссылка)
	я воздержусь, тебе нужнее (Ответить) (Уровень выше)

(Анонимно)
2022-07-23 10:50 (ссылка)

ггг вонющи с хабра рассуждают за типы, спешите видеть ЛОЛ

вони, вы даже не представляете ггг. есть такая хуета - алгебраик тайпз, и юниверсал паттерн-матчинг (особенно по сумм-тайпам), плюс модули + тайп классы (которые есть иерархия абстрактных типов, как завещала Барбара Лискофф). умные люди все давно решили. на typeclasses и haskell 98 и ocmal modules, ok, был пик и конец золотого века, с началом неминуемого скатывания в сраное говно.

единственная рельная инновация за последние 20 лет - эт в трансо-фурри русте, где ограничение на at most one mutable reference захуячено в static type system. сие есть неебательски важно, ибо оно сохраняет referential transparency, а из этого ваще все следует.

но вы подолжайте, вы реально доставляете.

(Ответить) (Уровень выше)

	(Анонимно) 2022-07-09 12:11 (ссылка)
	Туплес это говно вообще, но какой в с# type erasure? Или имеется ввиду, что из-за отсутствия type erasure система типов языка ограничена системой типов рантайма? (Ответить) (Уровень выше) (Ветвь дискуссии)

sometimes
2022-07-09 13:15 (ссылка)

Не совсем говно, там у них есть полезный кейс сидеть внутри библиотеки закрыто, и однотипно реализовывать "одинаковые" операции для кортежей разной арности ("взять k-тый элемент" и подобное).

Имеется в виду, что я спутал с обсуждением аналогичной проблемы в java (где это, впрочем, тоже не должно быть особо релевантно - ну елы-палы, на ассемблере это написать можно, а вставить в java/c# нельзя).

В общем, подобных дискуссий туча:
https://blog.slaks.net/2015-06-16/code-snippets-variadic-generics-csharp/

Тут я, действительно, пишу о том, в чем нормально не разобрался (не понимаю, почему), но факт на лице

Переменное число параметров у обобщенного типа важно также для типов функций: F: X_1->X_2->...->X_n чтобы клеить из них функции высшего порядка (подставить первый аргумент, подставить последний аргумент, добавить аргумент лямбдой).

(Ответить) (Уровень выше) (Ветвь дискуссии)

(Анонимно)
2022-07-09 14:48 (ссылка)

Ну я так и подумал, что ты опять малофейничаешь, но аргумент, что типизация рантайма мешает языку иметь высшие типы, в общем валидный. F# с этим по уродски пытался разобраться. F* разобрался полностью. Но они никому не нужны.

"взять k-тый элемент" а какой тип у этой операции?

(Ответить) (Уровень выше) (Ветвь дискуссии)

sometimes
2022-07-10 08:17 (ссылка)

> "взять k-тый элемент" а какой тип у этой операции?

i -> Tuple<T_1, ..., T_i, ..., T_n> -> T_i.

определить только для compile-time constant i, рантайм-тип Tuple генерить on the fly любой сигнатуры. собственно, первое ограничение в C++ и действует, там нельзя написать size_t i := input(); auto x = get<i>(t). есть же Roslyn, неужели он не позволяет это сделать?

плюс в java вполне наличествует type erasure, а нормальных кортежей все равно нет (хотя в java идеологи не хотят даже pair в язык пускать, "why do you want to do it", но вряд ли с этим связано - там ещё есть совершенно чудовищный модуль https://docs.oracle.com/javase/8/docs/api/java/util/function/package-summary.html)

> высшие типы

ты, видимо, про higher kinded types, я про dependent (N -> *, в частности), но может это связано.

> Но они никому не нужны.

Подозреваю, это потому, что на F* писать убьешься. lambda и async/await (которые на самом деле delimited continuation и причапали в мейнстрим из функциональных языков, вероятно, не без посредства seaside - по кр мере в JS/node) тоже были "никому не нужны"; но вообще довольно очевидно, что за provable programming будущее, иначе самолеты, ракеты и банковские счета так и будут летать "иногда", и вопрос только в том, когда assistance и концепции мейнстримных языков до этого дорастут.

> малофейничаешь

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

An idioglossia (from the Ancient Greek ἴδιος ídios, 'own, personal, distinct' and γλῶσσα glôssa, 'tongue') is an idiosyncratic language invented and spoken by only one person.

(Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2022-07-10 14:08 (ссылка)
	его узус развился из защеканского детства - он таким образом проецирует и отрицает (Ответить) (Уровень выше)

(Анонимно)
2022-07-10 17:03 (ссылка)

Окей. Ну функциональщина приходит в мейнстрим, когда становится нужна. Например, телефоны форсят асинк юи и асинк ио.

> будущее, иначе самолеты, ракеты и банковские счета так и будут летать "иногда"

Боюсь, в этом и состоит будущее, по крайней мере консюмерского софта. Great again он уже не станет.

> малофейничаешь идиоглоссии

Рад, что ты спросил. Ну придумал я это слово и оно мне нравится, я ржу каждый раз когда его пишу и особенно читаю. Ну еще интересно, зафорсится ли оно. Оно как бы подходит для тифаретника. Ради этого и пишу это вот все.
Вот знакомые из Сибири употребляют слово хуёвничать, смысл примерно похож.
А в семье мы вообще употребляем очень безумные слова, очень сильно зависимые от контекста, они помогают выразиться и понять намного точнее. Может потому что мы аспергеры.

Ладно, хватит малофейничать.

(Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2022-07-11 05:13 (ссылка)
	а теперь, друзья, давайте похуёвничаем! (Ответить) (Уровень выше)

	(Анонимно) 2022-07-16 11:56 (ссылка)
	F# же. (Ответить) (Уровень выше)

	spqr 2022-07-08 16:32 (ссылка)
	Ещё все устройства ввода очень хорошие. (Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2022-07-08 21:37 (ссылка)
	ввода в анус (Ответить) (Уровень выше) (Ветвь дискуссии)

	spqr 2022-07-09 08:40 (ссылка)
	Наверное, можешь попробовать https://upload.wikimedia.org/wikipedia/commons/6/67/Microsoft_Precision_Pro.jpg (Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2022-07-09 14:42 (ссылка)
	не могу я ж не пидор (Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2022-07-10 14:08 (ссылка)
	да ладно тут никто не пидор так-то (Ответить) (Уровень выше)

	(Анонимно) 2022-07-17 05:48 (ссылка)
	+1 (Ответить) (Уровень выше)

	(Анонимно) 2022-07-09 05:05 (ссылка)
	Пожалуйста, не пиздите. Железки и у MS были очень хорошие (да и до сих пор есть). (Ответить) (Уровень выше) (Ветвь дискуссии)

	sometimes 2022-07-09 08:10 (ссылка)
	> да и до сих пор есть дыа, плутон же! (Ответить) (Уровень выше)

	(Анонимно) 2022-07-09 12:14 (ссылка)
	Мыши и кейборды хорошие, а таблеты и лаптопы гавно. Кинект еще был говно. Хбокс нормальный. (Ответить) (Уровень выше)

	(Анонимно) 2022-07-10 13:21 (ссылка)
	майнсвипер же (Ответить) (Уровень выше)

	(Анонимно) 2022-07-08 14:24 (ссылка)
	айбиэм хотя бы хорошие синкпады делала у майкрософта кроме флайт симулятора и пруфчекера вообще ничего святого (Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2022-07-08 15:21 (ссылка)
	простите database у лжр глюкнула (Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2022-07-08 21:38 (ссылка)
	как будешь каяться? (Ответить) (Уровень выше)

	(Анонимно) 2022-07-08 15:33 (ссылка)
	Единственное полезное от Майкрософта, что приходит в голову, это спонсирование исследований из которых вырос компилятор Хаскеля. (Ответить) (Уровень выше) (Ветвь дискуссии)

	wieiner_ 2022-07-09 04:52 (ссылка)
	кто смоторел лекции Москвина про Хаскель, тот и крут. (Ответить) (Уровень выше) (Ветвь дискуссии)

	(Анонимно) 2022-07-09 08:34 (ссылка)
	Нутк! (Ответить) (Уровень выше)

(Анонимно)
2022-07-23 10:39 (ссылка)

ЛОЛ вонь.

только полные ебанаты смотрят ванек про хаскел. белые люди читают Richard Bird, Philip Wadler ну или там Graham Hutton если слабенький моск. ну и стандартную прилюду надо распечатывать и четать

вообще, четать что-либо по рузке кроме как про анальную жопоеблю и данный бложег - хуй знает кем надо быть.

и да, математеку тоже надо четать непорузке.

(Ответить) (Уровень выше)

	(Анонимно) 2022-07-09 20:47 (ссылка)
	симон питон джонс (Ответить) (Уровень выше) (Ветвь дискуссии)

	sometimes 2022-07-10 10:59 (ссылка)
	python should be cancelled! (Ответить) (Уровень выше)

(Анонимно)
2022-07-23 10:35 (ссылка)

да. чел в одну харю нахуярил помпайлер основанный на правильной (даже единственно правильной!) теории - интермедиет репрезентейшен у него System F Omega + пара хаков. на тытубике есть пара лекций если чо.

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

SPJ и Odersky - гигаЧады, а вы все хуи и говно.

(Ответить) (Уровень выше)

	(Анонимно) 2022-07-08 20:19 (ссылка)
	z3 (Ответить) (Уровень выше)

	(Анонимно) 2022-07-08 20:22 (ссылка)
	ну сисярп не такое говно как джава, например, а там ещё эфсярп, эфстар майкрософт с пейсбуком в этом плане не такое говно на самом деле по сравнению с самими разработчиками ебаными говноедами (Ответить) (Уровень выше)

(Читать комментарии) -