captain!

Эвклидова геометрия (в том числе и в формулировке Гильберта) не использует теорию множеств в качестве "основания".

мудрые речи о программировании

""Гибкое" софтостроение.
Чтобы выкопать канаву 1х10х2 метра нанимают 10 землекопов.
Чтобы вырыть котлован 100х100х4 метра нанимают 200 землекопов.
Пользоваться экскаваторами не позволяет религия."

(arbinada)

type class pattern in sumologic

ronald mcdonald is dead?

in our neighborhood

my lunch today

TypeClasses.pdf

typeclasses take 3

So, now I think that a type class is just an algebraic theory; an instance of a type class (in Haskell) is a model of the theory.

Now wtf then is an "abstract data type"? A single-sorted type class? Sounds like. Not sure though.

Guys, why not use some math language for describing mathematical notions, eh...

спелчекер такой

В фоксе - написал "хаскель", предлагает исправить на "ласкатель" (а "её" на "сё").

А, и ещё. "виджиланти" предложил поменять на "Силантьевичи".

Так. Соному предложила переименовать в Содому.

kind of losing it

So, in Scala, one can write (something like)

class X(tag: String) {
  val f1 = (i: Int) => "<<" + i + ">> (" + tag + ")"
  val f2 = () => "this is a string function for today, " + new java.util.Date()
  val something = "this is something: " + tag
}

which is basically a structure; but sure one can have val x = new X("Jesus") and then call x.f1(42), which, well, obviates the whole oopish way of thinking of objects as having big difference between methods and variables etc. They are all structures to us. The complexity kicks in a little bit if we throw in type parameters and have something like GADT, but still we can well stay outside of oop realm; the only thing is that one can override some values, which is cool and funny, but still is rather kind of JavaScriptish (I never knew Smalltalk).

Yes, it's obvious, so.

got an interesting half-spam

"Better Backfill by O*NETs
Optimize your backfill on an advanced level by using O*NET categories, rather than keywords. O*NET is the job classification system used by the U.S. government. By using O*NET categories in your backfill, you can more accurately display specific industry jobs."

google:
back·fill
/ˈbakˌfil/
Verb
Refill (an excavated hole) with the material dug out of it: "they backfill the hole".
Noun
Material used for backfilling.