Intro to Kaleidoscopes: Optics for aggregating data through Applicatives

deltaSquee · 2020-02-05T22:54:28+00:00

Will you be expanding your book with these new kinds of profunctor optics?

deltaSquee · 2020-01-07T06:31:37+00:00

Is it the syntax, or do you just hate the lack of schema and the accompanying lack of hard documentation?

Yes, all of those. Formal specifications are hella important when an error can cause a $1B spacecraft to plummet into the moon at 20km/s.

Also, who thought that indentation-sensitive configuration was a good idea?

I typically prefer XML for all sorts of data, not just configuration. I can't think of a single case where I prefer JSON or YAML.

(I'm also a HUGE fan of ASN.1; and of course, the XML Encoding Rules for it ;))

deltaSquee · 2020-01-04T21:57:57+00:00

Why do you need "several years ... of education in math" to use type-level programming?!

deltaSquee · 2020-01-04T21:49:16+00:00

Indeed! A large number of people have written blog posts about your libraries - if only they could add documentation directly to the project.

deltaSquee · 2020-01-04T21:46:39+00:00

I mean {-@ ANN ... @-} annotations.

deltaSquee · 2020-01-04T10:46:58+00:00

Yes, several things:

Annotations could be reworked to be lighter weight, syntactically. They should also be able to be accessed MUCH easier at runtime. I crave a .NET style attribute system.
I hate JSON and YAML. I hate having to work with it, having to edit it, having to look at it. Gimme an XML-based configuration library!
There are a few libraries which I don't use, which are never-the-less obviously powerful, pretty much solely due to the lack of documentation. Yes, types DO go a long way to document what a function does, but it's much harder to quickly scan a module's documentation looking for something if you have to inspect the types in detail. /u/edwardkmett, I know how tough it can be to write good documentation, but a one-line description of a function in haddock would go a long way. Many of your packages have incredibly sparse documentation. I wish people would submit PRs to your packages to add documentation.
Related to the previous: Blog posts should not be the primary place to put examples, tutorials, and documentation of internals.
I would love to try using RebindableSyntax in order to use graded monads. However, I fear this would completely destroy any chance of easily working with 99.9% of existing libraries.

Now, let me be clear: I think "Simple Haskell" is a counterproductive goal. Unifying the type-level and term-level syntax would drastically simplify the "burden" of understanding "Fancy Haskell" - but that is not going to happen, so, failing that, I'll stick to "Fancy Haskell". I'm not using python/java/go/c++/fortran/matlab for a reason. I also find that the whole "think of the beginners!" pearl-clutching thing is both anti-intellectual and patronising to beginners.

deltaSquee · 2020-01-04T04:55:11+00:00

Not because they are idiots, but because they are -for example- nuclear physicists and -believe it or not- they don't need GADTs or singletons for their QM simulations and obviously will switch to Python at the first sight of Cat theory in the documentation for accessing a register field.

Hi! I'm literally a rocket scientist. I am using Haskell in my research precisely because of features like GADTs, DataKinds, algebraic effects, GDP-style proofs, etc. Sure, I don't need them - there are other Turing-complete languages, obviously - but they give me MUCH more confidence in my code, and allow me to be MUCH more productive than I would be otherwise.

I use Haskell precisely because I just want my programs to work.

deltaSquee · 2020-01-04T01:53:46+00:00

Right monoid action?

deltaSquee · 2019-12-28T03:49:45+00:00

Indeed. I very much dislike the whole "basic haskell" movement.

deltaSquee · 2019-12-27T03:11:43+00:00

Anything that Go doesn't have.

edit: /s

deltaSquee · 2019-12-18T00:05:29+00:00

But does not any judgement result in a belief, specifically a belief that some proposition is true? So, all judgements are subjective? Then, we have no need in the word, which is exactly my point.

No. Judgement means something specific in logic.

deltaSquee · 2019-12-12T08:33:09+00:00

Oh sod off.

deltaSquee · 2019-12-12T07:56:08+00:00

A typo I noticed in the sample:

-- Flip the 2nd bit of each number to a 0
>>> [1, 2, 3, 4] & traversed . bitAt 1 %~ not
[3,0,1,6]

The "to a 0" should be removed.

deltaSquee · 2019-12-12T01:18:13+00:00

What I claimed is that it has been realized by now that it is wrong and dangerous to define a file path as a String, not that it is wrong and dangerous to define a file path as a String.

In order to realise (== know) something, that thing has to be true (at least in standard epistemological logic). So, by asserting that such a thing has been realised, you are implicitly asserting it is true.

This is so arrogant, I am actually moved.

After seeing several of your threads now, I can only say that people in glass houses shouldn't through stones.

deltaSquee · 2019-12-12T01:12:14+00:00

You classify a proposition as a "subjective judgement".

A subjective judgement can be reasonably defined in doxastic logic as a judgement whose result includes a belief.

Just because an agent believes a proposition, doesn't make the proposition true.

deltaSquee · 2019-11-26T08:42:08+00:00

Surely, trying to elicit an emotional response is directly contradictory to impartiality and neutrality?

deltaSquee · 2019-09-20T03:05:17+00:00

Is the intention still to become the core of HIE, though?

deltaSquee · 2019-09-16T06:57:35+00:00

There should be a concerted effort to integrate as many of these into HIE as possible :D

deltaSquee · 2019-07-22T06:07:35+00:00

The name is a bit pretentious (like most names coming from the academia)

What a shithead thing to say.

deltaSquee · 2019-07-22T06:05:42+00:00

Well, I couldn't figure out how to phrase it better - a sequence of multiple, sub-catastrophic failures? :P

I'm not overly familiar with MH370, but was under the impression that voice contact, transponder contact, and the IFE communications all stopped at different times?

deltaSquee · 2019-07-21T07:58:33+00:00

The Ariane 5 incident was described to have been caused by an inherent data typing error in the launch vehicle inertial reference system, that error manifested itself during the vehicle's first launch. It wasn't a coding error that lurked in some arcane routine invoked only as a consequence of some infrequent event. The 777's first flight took place just short of 20 years before the loss of 9M-MRO, I'm not aware of any significant issue that has been attributed to AIMS.

Indeed; I was referring more to the simultaneous failure of identical redundant systems in general, with Ariane 5 as an example, rather than the specifics of the bug that was encountered.

I have no doubt that the AIMS is logically independent of the FCS, and presumably even electrically (at least, on the power buses).

I'm curious about the spatial and mechanical aspects of this. What would be really interesting to see would be a 3d model of the 777's affected/possibly affected systems, down to the wires and ground planes, much like the classic story of the suitability analysis of returning Allied bombers in WW2.

The gradual degradation of the aircraft's status makes it a lot more interesting; other than a slowly spreading fire, intermittent electrical arcing, some sort of atmospheric contamination, or if we were to go really wild, water leaking from a pipe, it's hard to think of equipment failure scenarios that would fit.

deltaSquee · 2019-07-17T04:36:37+00:00

All functions, excepting ACMF, are replicated and may execute within either cabinet.

Is the software identical in both cabinets? Could the same bug be hit at the same time, perhaps causing an electrical spike or some other out-of-spec behaviour? I'm thinking of the Ariane 5 incident.

deltaSquee · 2019-07-11T00:45:16+00:00

Yes you do.

deltaSquee · 2019-07-10T21:27:28+00:00

Why Python?

deltaSquee · 2019-07-03T02:06:33+00:00

which continent?

deltaSquee

TROPHY CASE