Viewing profile — bassislife

Adding to the list the very important Kanem-Bornou Empire and Bagirmi Kingdom.

I think it was humor :)

Yes, for instance, it's easy to create concurrent programs that are semantically wrong (in other words inadequate for use) albeit correct in terms of "types" because the coder made…

"unsafety" rather ? ;) decreasing non-safety is not the same as increasing safety. One starts with the assumption that things are safe. The other does not.

> A good type system (e.g Rust's, Haskell's..) can eliminate all type errors from your programs. It will eliminate errors related to the use of a given programming language. It wil…

The issue with safety is that nothing is really safe. Once you have some level of safety in your programming language, you realize that there are still a lot of other sources of ha…

Your proposal only works if you don't need ABI-compatibility, especially relevant if the build process needs to be parallelizable. It all depends on what sense you provide to the t…

That's not different from having a bad leader ruling forever... That's torture. 1789 occured for a reason.

All these dictators in Africa ruling for (eternal) life ?!! What a nightmare !

> Treating different major versions as different packages For emphasis, because I think that's what should ideally happen.

If you are Seebeck, where are Peltier and Thomson? ;)

> they are all defined with fmt.Errorf No, an error implements the error interface. It means that it can be a value of any type that implements the constraint of having an Error me…

You can test the interface. A type is just an interface around memory, albeit more consrained.

It's problematic for dependency management. It's almost perfect but what would be better would be to be able to switch easily between different $GOPATH. One per project. We can alr…

Release the Hounds.... The Hounds have been released. Go is released seems fine to me.

Anxiety is probably environment-induced. Kids are not necessarily so anxious.

In Go, each version corresponds to a given import/Pkg path. If you want to change version (major), you need to create a new package. The advantage is that you do not have to downlo…

Which I guess is normal since it does not create any dependency cycle. A new version might as well be thought as a completely different package (of perhaps similar functionality).

If there is a market for the education you received, it should. If the job market conditions change, it might not unless the person is resourceful. Also note that the OP is talking…

A very nice explanation about what covariance and contravariance mean, especially in the context of subtyping (with potential parametric polymorphism). And implementation details a…

For category theory, I don't think so. But if we take tensor algebra, of course, in physics, especially quantum mechanics .The thing is, you could approach the same physical proble…

> But maybe monads are too exotic to provide a good example. Nah, it's fine. But a monad is just a part of an abstraction. Which also means that they have been used without that sp…

Well maybe an example of something related to the game of Go written in Go should be planned in the future then. :)

so "=== gefahrlos" ?