Kaspersky Lab is developing its own secure operating system KasperskyOS for IoT systems. Use chords generated by Haskell library to play your favorite music Haskell is mostly used during the tracing process to this end, developers use the HarmTrace library that analyses the sequences of musical harmonics. into chords so that you could learn to play your favorite songs. The service called Chordify allows converting music from YouTube, SoundCloud, etc. Now let’s jump to an entirely different sphere, that is, the world of music. You can read about all this in more detail on the slides and in the Atom repository.
#Haskell field verification
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. During compilation, the tasks are scheduled, which is why the resulting code has a deterministic execution time and constant memory consumption. Atom is used to develop hard real-time systems and allows describing declaratively the system state transition rules. 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. The company is using Haskell for day-to-day tasks such as scripting, hardware simulation, remote control tools for vehicle systems, etc. You can find more details about the development process and technical aspects in the company’s blog post.Įaton is a manufacturer of electrical and hydraulic equipment, as well as components for the aviation and automotive sectors. The Haxl framework is used under the bonnet, which the company has open-sourced. The choice of language was based, among other things, on performance requirements, the need for pure functions and static typing, as well as the possibility of interactive development. Messages containing spam, links to potential malware and phishing attacks are filtered by Sigma, the system that was rewritten in Haskell in 2015. Probably, the most googled and well-known example of Haskell application in major companies is the Facebook Meta spam filters. Industrial Haskell Where and how is Haskell used?
Today we’re going to give some examples of practical use in various industries. One of our recent posts described useful Haskell-based utilities, but all of them are intended to be used by tech-savvy people. This language is relatively young, it emerged in 1990 but has already produced a big impact on other languages and programming language theory on the whole. Its distinctive features include strict static typing, lazy evaluations, algebraic data types, and a serious theoretical background. Haskell is a general-purpose purely functional programming language.
It’s the main development language at Typeable and, surely, we couldn’t ignore this topic. Last time we told you about Lisp, and now we’re going to pick up the talk about functional languages and turn our eyes to Haskell.
#Haskell field series
Hi there! We’re getting on with our series of posts on “where all those strange programming languages of yours are used”.
0 kommentar(er)
