В хаскелле типы рассматриваются, как множества всех возможных значений. Например, Integer - это ∀x(x ∈ ℤ), т.е. любое целое число (бесконечное множество оных; правда, не уверен по поводу целых). Тогда мы можем представить и другой крайний случай: тип {ø} (пустое множество). Это можно выразить, такой тип называется Void, можно даже определить следующую функцию:
(где а - это полиморфный тип, т.е. дженерик).
Абсурдная она потому, что её невозможно применить (вызвать), так как не существует значений для типа Void. Таким образом, эта функция - это буквально утверждение "из лжи может происходить что угодно"
absurd :: Void -> a
(где а - это полиморфный тип, т.е. дженерик).
Абсурдная она потому, что её невозможно применить (вызвать), так как не существует значений для типа Void. Таким образом, эта функция - это буквально утверждение "из лжи может происходить что угодно"
🔥1
Онбординг в команду MrBeast. Описывается вся внутрянка продакшена, на что очень интересно посмотреть с перспективы топ1 ютубера.
Forwarded from Alexander T
How-To-Succeed-At-MrBeast-Production.pdf
1.8 MB
What exactly was the point of [ “x$var” = “xval” ]?
https://www.vidarholen.net/contents/blog/?p=1035
TL;DR проверка на равенство может провалиться, если один из операндов начинается на унарный символ
https://www.vidarholen.net/contents/blog/?p=1035
TL;DR проверка на равенство может провалиться, если один из операндов начинается на унарный символ
Hacker News
Flexible RISC-V Processor: Could Cost Less Than a Dollar Article, Comments
Прям очень хочется дождаться момента, когда наклейки на посылках будут мощнее старых ЭВМ. Это даже как-то... Восхитительно, что ли
Кстати, как оказалось, поднять vpn - это намного проще, чем я даже предполагал
Забавный способ скопировать и обрамить строку, обойдясь 0 аллокациями. Из нюансов, правда, это нельзя вынести в функцию (должны быть железобетонные гарантии инлайна, что в го недостижимо) либо использовать вне скоупа, в котором сие действие было произведено.
Ещё, конечно, нельзя произвольно длинные строки туда совать, но это уже не проблема языка - если это дело не проверять, то и на С кончишь с каким-нибудь CVE
Ещё, конечно, нельзя произвольно длинные строки туда совать, но это уже не проблема языка - если это дело не проверять, то и на С кончишь с каким-нибудь CVE
https://news.ycombinator.com/item?id=34179426
Застрял на 920к rps, а хочется лям. Вспомнил про TCP_NODELAY, пойду, думаю, погуглю, как его там отключать. А он, оказывается, с 2008 года по дефолту выключен☕️
* Ответ написан Робом Пайком, и включает в себя занятную историческую справку
Застрял на 920к rps, а хочется лям. Вспомнил про TCP_NODELAY, пойду, думаю, погуглю, как его там отключать. А он, оказывается, с 2008 года по дефолту выключен
* Ответ написан Робом Пайком, и включает в себя занятную историческую справку
Please open Telegram to view this post
VIEW IN TELEGRAM