не мог он Генделя от Баха...

"Я ничего против развития науки не имею, но если вы хоть чуть-чуть интересуетесь наукой, то вам знакома теорема Генделя. Она гласит, что невозможно построить такой набор суждений, такую теорию, которая могла бы сама, своими силами, доказать любые свои постулаты. Любая научная теория строится на неких аксиомах, которые сама доказать не может. Нам предоставили этот набор аксиом. Но есть еще вопрос нравственной оценки тех или иных научно-технических свершений. То, что я сейчас говорю – это заключения ученых, Эйнштейна, Сахарова и так далее. Которые стали задумываться о том, что они сделали. Наука должна иметь нравственные ограничения."

/Кураев/

це пiздец

http://www.rg.ru/2014/03/12/pismo.html


Ответ тем, кто желает России капитуляции
Юрий Кублановский , Феликс Разумовский , Валерий Сендеров

"Рукоплескать нынешней украинской смуте могут только черствые и недальновидные демагоги. Им не хватает ни разумения, ни стыда вдуматься в судьбу людей и земель, насильственно отрезанных коммунистами у России. Русская интеллектуальная элита обязана разъяснять суть происходящего. Ее долг говорить с городом и миром, а не использовать мировой политический кризис для сведения счетов с демонизированным "режимом Путина". "

today's picture

danmarkovich

using Try monad

  def using[T](file:File)(f: FileInputStream => T): Try[T] = Try {
    val in = new FileInputStream(file)
    (Try(f(in)), Try(in.close))._1
  }.flatten

  def startsWith(prefix: Array[Byte])(file: File):Boolean =
    using (file) (in => prefix forall (in.read ==)) filter identity isSuccess

What happens here. I want to check if a file starts with these bytes (usually, "%PDF".getBytes).

I have function using that takes a file, then takes a function that converts a stream into something, opens the file, feeds the stream to the function, then always closes the file, returning a failure something went wrong.

In startsWith I get a prefix and a file; on this file I call the function that reads the stream and compares its bytes with the bytes of prefix; the result will be Try[Boolean]; I filter it, so that Success(false) will turn into Failure; then I check if it's still a success.

Obvious and funny; and yes, we use Java io library here, unfortunately.