знаете что...

Никто не будет гореть в аду, и никому ни за что ни на каком том свете не воздастся, ни хорошим, ни плохим. Или здесь, или всё. Конечно, память человеческая... но память - штука обманчивая, да и хер ли толку, если вас помнят, но вы в коме. Ну или за комой.

камуфляжная форма нидерландских полицейских

(10x brother2)

вот так вот пишу нынче

  def retrieveAllPatients(listOfProps: Seq[Props]): Result[Traversable[PatientInfo]] = {
    val listOfMaybePatients = listOfProps.zipWithIndex map (retrievePatientInfo _).tupled
    val maybeListOfPatients = Result.traverse(listOfMaybePatients)
    suspiciousError(s"Now we have all the patients, right?\n$maybeListOfPatients")
    maybeListOfPatients
  }

Шутки шутками, а Патерсон и МакБрайд как бы тут непосредственно вписываются.
Научите меня HoTT, и я у меня в коде будут торсоры и группы когомологий.
Смешно, конечно.

picture of the day

СВЕТЛАНА АЛЕКСИЕВИЧ и Нобель

Мало верю в успех, но желаю его изо всех сил! Ждем 10 октября.

Оригинал взят у philologist в Светлана Алексиевич вошла в тройку фаворитов на Нобелевскую премию по литературе

Белорусская писательница и журналистка Светлана Алексиевич вошла в тройку фаворитов Нобелевской премии по литературе — 2013 по версии букмекерской конторы Ladbrokes. Ставки на нее принимаются в соотношении 6 к 1. Ранее Алексиевич не была замечена в числе наиболее вероятных кандидатов на премию; из-за чего букмекеры резко повысили шансы Алексиевич — из-за «слитой» информации или из-за вала ставок — неизвестно.



Внимание к белорусской писательнице мог привлечь выход ее книги «Время сэконд-хэнд», завершающей серию «Голоса Утопии». В августе, когда книга вышла по-шведски, местные газеты объявили Алексиевич претенденткой на Нобелевку; высокие оценки работе дали и рецензенты из других стран. В начале сентября «Время сэконд-хэнд» вышло по-русски. По данным СМИ, ссылающихся на шведский ПЕН-центр, Алексиевич с 2002 года номинируется на Нобелевку.

( Read more... )

an impediment

What prevents me from using applicative functors that return, after tensor product, a container of a tuple, is that, before calling some Constructor.tupled, I have to carefully work on the tuple.

E.g.

  getName <*> getDOB <*> getMemberID <*> flatMap (User.apply _).tupled

would be cool, but if User constructor takes first name and last name, and DOB should be converted from String to Date...

In short, I've almost convinced myself to write additional constructors.

But then another impediment. What if I need to check the values and complain if they are wrong. Like, no Sue can be less than 70 years old, right? Something like that. And no 70-year-old can be called Tasha or Brenda or Luanda, right? In short, constructors should be partial functions, then they can be lifted.

Or...?