(no subject)

Started the day at almost 11AM. Bad, bad! Ok, so, I mostly studied the code, was looking for a solution for one of the Jira cases. Eventually I found that the solution was implemented about five years ago, not in our modules, but in the one that we actually use. And all this must work. And if in doubt, let's look at the logs. Wrote it all in Jira.

BTW, Brian, in whose place I was hired, he sent me a connect request on linkedin, I approved it immediately, and we discussed this topic. He also thinks that the product has more of an archeological value, although it's just 5-7 years old. And it's kind of advanced. Monads, Kleisli, algebras.

All these algebras are coming from cats project, which has improved a lot in the last years, and now it looks like new buildings on top of old ruins. That is, when you read that they turn an algebra into Kleisli, it's kind of funny. We actually deal with two decompositions of the same monad into pairs of adjoints, one pair is initial, another is terminal. The fact that this rather exotic area of knowledge is casually used by the people whom I don't believe that they know what adjoint functors or just functors are. But the very fact! As a result, this pretty categorically-pure code is, in their cats frameworked, mixed with total nonsense... Well, see, they never heard of natural transformations, they call them a "parameterized pattern". OMG... Well, whatever. As long as it works, what can I do about it. Nothing. Cats people know me as an enemy of their science.

So, we agreed with Brian that all this code is like new buildings in Rome, all built on top of ancient ruins. If you were in Rome, you know what I'm talking about. And Brian loves Rome, he even has a XIX century guide (some kind of cicceroni wrote it?) Etc. Interesting, eh.

At 12 noon we had a meeting, a "sprint post-mortem". The main event of the last two weeks, judging by the table, is My Arrival. Well, I'm impressed, of course.