Feb. 25th, 2012

knowledge

Feb. 25th, 2012 12:38 pm
juan_gandhi: (Default)
Went to wash my car. In the store saw a book, "Stuff every man should know". Opened randomly. "How to bet on horses".
1. Choose the right horse..


P.s. Meanwhile, having a lunch at Hooters. Should be renamed to Legs.
juan_gandhi: (Default)
...переход от монад к аппликативам.

В частности, приходится таки руками коммутировать поток и исключение.

Если у кого есть идеи...

var thrown: Option[Throwable] = None
val runner = new Thread("...") {
  override def void run {
    try {
      ...
    } catch {
      ...
      case anythingElse: Throwable => thrown = Some(anythingElse)
    }
  }

...
def join(millis: Long) {
  t.join(millis)
  ...
  for (x <- thrown) throw x;
}

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

October 2025

S M T W T F S
    1 23 4
5 678 9 1011
12 13 1415161718
19202122232425
262728293031 

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Oct. 15th, 2025 03:05 am
Powered by Dreamwidth Studios