SoftwareMill, a software house based in Poland and Typesafe Consulting Partner was founded in 2009 to deliver high-quality, customized software solutions. We are a 100% remote company which gives us the access to the best people without geographical limitations.
Our clients come from the Telecommunications, Banking, Logistics and Entertainment industries. A wide range of systems can be found in our portfolio, starting from high-performance mobile application backends, through fault-tolerant messaging gateways, big-data reporting solutions and credit management systems.
We take care of developing projects end-to-end, always trying to keep in mind that we want to develop maintainable, working software which brings value to our clients.
-
To the Pub
If you're dead on your feet and want to skip straight to the pub, from 6PM we'll be opening up the bar (see programme for location details).
-
An invitation to functional programming
Featuring Rúnar Bjarnason
Scala is not a purely functional programming language. But we can restrict ourselves to a purely functional subset of Scala. The question is: should we? This talk will make the case that the answer is unequivocally "yes". We can treat Scala as a purely functional language. But more than...
scalax scala functional-programming -
Declarative protocol messages in Scala for testing distributed systems
Featuring Patrick Tschorn
When testing distributed systems, protocol messages have to be parsed, instantiated and modified, which leads to incidental code that obscures the test narrative.
scala distributed testing -
Type-Level Computations in Scala
Featuring Stefan Zeiger
Scala has a powerful type system that allows many properties of a program to be verified at compile-time. Do you still think of types as Int, String and Object? Types like ""Fold[Nat, ({ type L[X <: HList, Z <: Nat] = Succ[Z] })#L, Nat._0]"" are only a small step away....
scala types -
A Field Guide to DSL Design
Featuring Tomer Gabel
Scala combines a powerful type system with a lean but flexible syntax. This combination enables incredible flexibility in library design, most particularly in designing internal DSLs for many common scenarios: specification definition and matching in Specs² and ScalaTest, request routing in Spray...
scala dsl -
State of the Typelevel
Featuring Lars Hupel
The typelevel project is nearing its second anniversary -- a great time to look at what it is actually about. Starting out as a community of Scala projects aiming for principled library design, we have been continuously growing by adding more projects and most recently, forking the Scala compiler...
scala functional-programming types -
Using Docker, Scala and Akka for integration tests
Featuring Andreas Gies
Developing a distributed application presents many challenges and one of the biggest is integration testing. While we have many tools at our fingertips for tackling unit tests integration tests are run manually within many projects. Most of the time this is because an integration test requires a...
scala akka docker integration-testing -
Live coding Scala.js reloaded
Featuring Sébastien Doeraene
Have you been missing all the goodness happening this year in Scala.js, the Scala to JavaScript compiler? Here's your chance to catch up.
scala functional-programming javascript scala.js -
Building a Secure Distributed Social Web using Scala & Scala-JS
Featuring Henry Story
We will show how to build a full Scala client and server application by illustrating it with a use case pushing the limits of what can be done: a distributed secure Social Web server.
scala scalajs distributed -
42: Rise of the dependent types
Featuring George Leontiev
Scala is a language with a very sophisticated type system. It is even said to be the "poor-man's prolog". As part of his hacker-time (20% time program) at SoundCloud, George collaborated with Eugene Burmako to explore the possibility of adding an accessible way to use literal-based...
scala types