Вопросъ, который я до сихъ поръ НИАСИЛИЛЪ - какъ приписывать типы въ объектно-орiентированномъ кодѣ.

Какъ написать типы С и D, скажемъ, въ терминахъ System F?

Оказывается, люди уже диссертацiи защитили на тему "какъ намъ обустроить объектно-орiентированное программированiе съ точки зрѣнiя теорiи типовъ", надо было мнѣ раньше прочитать книгу Пирса (но ( Read more... )

In short, OOP is madness because it forces you into using overly complicated types while pretending that you understand the implications.

I'm returning to the book "Agile software development" by R. C. Martin, in the hopes of separating the wheat from the chaff in the murky ocean of OOP folk wisdom.

Chapter 7. What is agile design? The "copy" program ( Read more... )

Groovy used to be a niche scripting language, not of concern to anyone, until it got into Hudson, which was then forked as Jenkins. Everybody today uses Jenkins and so everybody is forced to use Groovy. What a mad world.

What does this code do?

At first glance, you'd think it downloads two URLs in parallel and saves them to files "file1" and "file2".

( Read more... )

Комментарiи вынесены изъ блога https://evgeniirudnyi.livejournal.com/371302.html

---

На улицѣ сидятъ люди и играютъ въ шахматы. Я прохожу мимо.

"Эй ты!" говорятъ мне. "Ты слонъ или ладья?"

Я въ замѣшательствѣ.

"Я не слонъ и не ладья."

"Разъ ты что-то сказалъ, то ты уже фигура! Поэтому ты долженъ сказать, какая ты фигура."

"Но я не играю съ вами въ шахматы ( Read more... )

Вынесено из комментарiя https://evgeniirudnyi.livejournal.com/371302.html

О метафизикѣ

Проблема съ метафизикой въ томъ, что многiе ея вопросы кажутся важными, сложными, интересными, отвѣты для нихъ кажутся необходимыми для жизни человѣка. ("Гдѣ я? Что я? Зачѣмъ это? Существую ли я?" и т.д.)
( Read more... )

( Read more... )

Here is what I discovered while on vacation: hot water can be null.


( Read more... )

Aufgabe 1.1 http://www-user.tu-chemnitz.de/~rhaf/Aufgabensammlung/Einzelaufgaben/01_001-0.pdf

Für 5 jeweils zu 80 % einer Vollzeitkraft beschäftigte Personen entsteht ein monatlicher Lohnaufwand von 9200 €. Es stehen zusätzlich monatlich Lohnmittel in Höhe von 6210 € zur Verfügung. Dafür sollen zu gleichem Stundenlohn 6 Arbeitskräfte ( Read more... )