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

August 2025

S M T W T F S
      12
3456789
10 11 12 13141516
171819 20212223
2425 26272829 30
31      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Aug. 31st, 2025 03:56 am
Powered by Dreamwidth Studios