-
Про вегетарианцев
Вот, казалось бы, кому какое дело до того, кто что ест? Ну вот сидит дома человек и жрёт себе то, что он считает правильным. Нормальные вегетарианцы так и делают, гробят себя недостатком незаменимых аминокислот молча, ну и хорошо ( Read more... ) -
Ну ладно, я тоже
В ответ на новую политику "ЖЖ" настоящим я объявляю, что все мои персональные данные, фотографии, рисунки, переписка и так далее, являются объектами моего авторского права (согласно Бернской Конвенции). Для коммерческого использования всех вышеупомянутых объектов авторского права в каждом конкретном случае необходимо мое письменное разрешение.
"ЖЖ ( Read more... ) -
HOAS + data type a la carte
Я попытался собрать a la carte тип для значений интерпретатора лямбда-исчисления. Так как в лямбда-исчислении бывают функции-значения, мне понадобилось определить ( Read more... ) -
Про динамику и статику
Только что решил одну простую задачу на Python и Haskell с целью сравнения динамической и статической типизации в функциональных языках. Есть последовательность чисел, в которой сначала один раз записывается единица, два раза двойка и так далее. Нужно получить первые N элементов этой последовательности.
import Data.List
main = interact $ ( Read more... )
-
Тов. Лавсан опять в ударе
Третья Теорема Лавсана (о бесполезности статической типизации)
Статическая типизация не добавляет ничего действительно полезного и только лишь отбирает время.via LORПервый Принцип Пиздежа: выдавай гипотезу за теорему ( Read more... ) -
C праздником!
Поздравляю вас с ещё одной годовщиной того светлого дня, когда великая коммунистическая идея сменила беспросветную монархическую глупость. Ура, товарищи! -
Знакомые лица
И тут я такой имплеменчу Хиндли-Милнера в императивном языке, лезу на цстеорию
http://cstheory.stackexchange.com/questions/8892/type-inference-for-imperative-statements-other-than-assignment
А там nponeccop. Мог бы ( Read more... ) -
9 лет всё та же самая история
template
struct make_call {
static const size_t init_size = 128;
template
wstring operator() (U... args) {
size_t curr_size = init_size;
wstring res(curr_size, L'X');
decltype(ptr(args..., &res[0], curr_size)) ret_size;
while ((ret_size = ptr(args..., &res[0], curr_size)) + 1 == curr_size) {
( Read more... )