atom VS harmtrace

Atom and Copilot for using Haskell to generate C for microcontrollers.

There seems to be a little more information on its github page: https://github.com/tomahawkins/atom

Eaton is a manufacturer of electrical and hydraulic equipment, as well as components for the aviation and automotive sectors. The company is using Haskell for day-to-day tasks such as scripting, hardware simulation, remote control tools for vehicle systems, etc. However, the most interesting thing is that they have entrusted hydraulic elements to the control of code written in Atom DSL, which is also implemented in Haskell. Atom is used to develop hard real-time systems and allows describing declaratively the system state transition rules. During compilation, the tasks are scheduled, which is why the resulting code has a deterministic execution time and constant memory consumption. This makes verification of the obtained code much easier and generally increases the system security, which is, of course, very important in this subject domain. You can read about all this in more detail on the slides and in the Atom repository.

Do you use atom or some other free software framework for generating the firmware?

Now let’s jump to an entirely different sphere, that is, the world of music. The service called Chordify allows converting music from YouTube, SoundCloud, etc. into chords so that you could learn to play your favorite songs. Haskell is mostly used during the tracing process; to this end, developers use the HarmTrace library that analyses the sequences of musical harmonics.