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

September 2025

S M T W T F S
 1 2345 6
78 9 10 111213
14 151617 181920
21222324252627
282930    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 24th, 2025 12:44 am
Powered by Dreamwidth Studios