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

[juan_gandhi]

  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, и я у меня в коде будут торсоры и группы когомологий.
Смешно, конечно.

Comments

[nivanych.livejournal.com]

А когомологии куда там?
И в каком виде, интересно?

[ivan-gandhi.livejournal.com]

Да хз, это так, к слову пришлось.

[thedeemon.livejournal.com]

Без зависимых типов в языке на НоТТ нет смысла смотреть даже.

[nivanych.livejournal.com]

"У меня в языке зависимых типов нет, но посмотреть могу!" ;-)

[thedeemon.livejournal.com]

Напомнило
http://forumlocal.ru/user/upload/file499303.jpg

[ivan-gandhi.livejournal.com]

Это уже анекдоты про строителей напомнило.