Functional Software Stockholm AB

Check out this cool Scala job in Denmark! Er du en funktionel programmør? Tjek dette job ud!

Our Foundation team at Famly are looking for a Backend engineer to join us. We are in the lucky position of working across the platform to improve the foundational features that make Famly truly useful to early childcare staff in the UK, USA, Germany, Norway and Denmark. This role will actively help us bring some pretty incredible projects to life so we are very excited to find our new colleague. If you know someone talented who you can recommend please let me know or encourage them to apply via the link. Edit: No recruiters thanks, I won't respond to those messages. We already have that covered. https://lnkd.in/dNMhZe_J

Very interesting talk from Lambda Days 2024! I learned a lot of things: First of all, I'm not very familiar with the Clean language, but it looks like it has some very interesting properties. Second, the system described in the talk deals with a lot of interesting problems, such as migrating schemas in a live (functional) database, closure serialization, etc. https://lnkd.in/dEvXybTD #codesync #lambdadays2024

Calling all Haskellers in Stockholm! We're re-booting the Stockholm Haskell meetup group with a casual coffee get-together. What could be a better start of your weekend than meeting up with fellow Haskell enthusiasts? #haskell #meetup https://lnkd.in/d3rG7bad

If you are a functional programmer you’re probably familiar with *Hindley-Milner type inference*, the type inference system used in ML-style languages like Haskell, OCaml, F#, etc. However, there is a less common style of type inference called “bidirectional type inference”, which requires more type annotations but yields some interesting properties in return. David Thrane Christiansen has a good write up of this style of inference: https://lnkd.in/dmpyixwW

*Generative Communciation in Linda* Linda is a less well-known approach to concurrency, based on the idea of “tuple spaces”; essentially a “blackboard” where concurrent processes can post and consume messages. You can think of it as a specialization of the pub-sub pattern. The use of a “tuple space” gives Linda some interesting properties compared to other communication techniques; messages can be published independent of consumers, and, unlike RPC producers and consumers do not need to be online at the same time. Also, Linda is language agnostic, meaning you could implement producers and consumers in different languages. This post by Andrew Coyler has a summary of the paper Generative Communication in Linda; it’s an interesting read! https://lnkd.in/djVa2Hxj

Are you a Haskell witch / wizard? In that case we may have a job for you! Functional Software is looking to fill several Haskell positions this autumn; both senior and junior Haskell developers are welcome to apply! If this sounds interesting, please reach out to Daniel Sammer (fd Ekeroth) or Christoffer Ekeroth for details! #haskell #haskelljobs #functionalprogramming

I samarbete med NFI Utbildning kommer vår medarbetare Christoffer Ekeroth att hålla en kurs i F# i höst. Är du nyfiken på funktionell programmering och vill bredda din verktygslåda är det här ett utmärkt tillfälle! Anmäl dig genom länken nedan.

Few people and companies understand this: #Scala is that rare tool that makes everything easier: - backend - frontend (more than most JS libs, and I've used many) - architecture - domain modeling - testing - code reasoning (underappreciated and directly related to productivity)

Happy to announce that Philipp Haller will be the second speaker at our Scala event, which we're co-hosting with Wolt on the 12th of September. Don't miss it! https://lnkd.in/dVuGR4xJ #scala #scalameetup #jvm