DS
вот я не знаю где учиться
Доказывать, доказывать и ещё раз доказывать.
Как на мат факультетах задрачивают доказательства, так и тут
Как на мат факультетах задрачивают доказательства, так и тут
Size: a a a
2020 June 27
NL
Переслано от Aleksei (astynax) Pirogov
Практически любое "сокрытие", это удар по способности компилятора вам помочь с анализом PM exhaustiveness и защитить частичных функций
Алекс, это откуда?
AZ
Алекс, это откуда?
из хаскел лёрн вроде
EG
static typing: половина деталей паззла несовместима друг с другом. для того, чтобы собрать, нужно вручную вытачивать адаптеры.
AZ
static typing: половина деталей паззла несовместима друг с другом. для того, чтобы собрать, нужно вручную вытачивать адаптеры.
называй как хочешь
NL
из хаскел лёрн вроде
Данке.
С
нидерланды как раз в 16-17-18 веках очень даже неплохо колонизировали. Часть штатов это датские колонии
В южной Америке в основном. И рабами они торговали на ура. Но тем не менее, как-то вот не прославились.
С
А вот увидим, что с ними, с самим Apple сделают в ближайшие годы.
С
За излишнюю хитрожопость.
С
Apple и бабло
С
EG
Где-нибудь лет через десять можно будет опять брать маки, лол
EG
Когда весь софт портируют нормально
2020 June 28
ЕС
Охренеть Ютуб охренел. Реклама 20 секунд которую нельзя закрыть. Охренеть.
ЕС
Где-нибудь лет через десять можно будет опять брать маки, лол
Вроде бы относительно легко портируется софт. Нужно переписать исключительно низкроуревные части, высокоуровневые останутся прежними.
EG
Вроде бы относительно легко портируется софт. Нужно переписать исключительно низкроуревные части, высокоуровневые останутся прежними.
Нужно по меньшей мере перекомпилировать вообще всё
EG
Даже одно это уже сложно, с учётом существования старого софта
ЕС
Как будто это проблема.
EG
Как будто это проблема.
Старый проприетарный софт