Let's build great software together
Inner Product brings functional programming to the enterprise to produce more reliable software in less time.
Software Development
Build the next generation of software your business needs. We build software that works, no matter the complexity or scale. We understand where computer science meets industry and can solve your hardest problems in a time efficient manner. We can take on complete projects in-house, or augment your existing team to help you move faster.
Training
We've spent a decade refining processes for teaching and mentoring. Let us take your team to the next level with onsite or online training and mentoring. Make your junior developers more productive without tying up more experienced staff, or help your senior staff take the next leap.
Consulting
Get targeted advice to solve key problems. If you have a project that needs expert oversight, or a core technical decision that needs de-risking, we can assist. We can advise on architecture and process, and have deep knowledge in areas of programming and machine learning.
Essential Effects
Learn to build concurrent and resource-safe applications using Cats Effect.
More events
Context Bounds are Implicitly Passed, are Subtype Bounds?
A question about covariance and `Functor.widen` leads to me correcting my mistaken notion about the mechanism of subtype constraints.
What is an Effect?
We often use the term effect when talking about the behavior of our code. But what is an effect? Can we talk about effects in precise ways, in order to write better programs that we can better understand?