дыбр

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

И на работе тоже. Там у нас в столовке какой-то карнавал объявили; кормят пышками и сахарной ватой и вафлями. Мне этого ничего не надо. Ресепшенистки наши сказали мне, что теперь иногда включают и классическую музыку, по моим заявкам, и некоторым нравится. А некоторым нет, понятное дело. Заодно я таки выяснил, как ресепшенисток зовут. Лиза и Холли. А то как-то неудобно, они мое имя знают, а я ихнее нет. Ну ничо. Попросили меня составить репертуар. Ну ужо.

Ну и так потрахался с кодом, да сбацал небольшой пулреквест. Большой да формальный на потом оставил. Два. Не люблю крупными кусками.

Ну и вот, и пока там ревьюют, сидел баловался, пытаясь имплементировать машину Тьюринга на скальных типах. Да там даже лямбду на чистых типах хрен изготовишь. Рекурсию не дают делать. Типа вот такую:

 type Add[X<:Number, Y<:Number] = IfZero[X, Y, Next[Add[Prev[X], Y]]]

Ну или совет какой дадите. Я в печали и пессимизме.