ArKi-KV : Abusing Tagless Final Approach to build key-value store

There has been a lot of interest in the Tagless Final Approach/Pattern in the Scala-FP community. ArKi-KV is a simple LSM (Log Structured Merge Tree) based key value store that explores multiple functional programming concepts, including the Tagless Final Approach/Pattern. ArKi-KV uses cats/cats-effects for its functional and concurrent parts and jnr/jffi for off heap memory management.


Outline/Structure of the Talk

This talk will cover concepts like

  • LSM (Log Structured Merge Trees) - 30 Mins
  • Final Tagless - 15 Mins

Learning Outcome

People attending the talk will learn about Tagless-Final, Cats/Cats-Effects, debugging, LSM ( Log Structured Merge Trees ) and jnr/jffi.

Target Audience

Scala, FP, Functional Programming

Prerequisites for Attendees

Participants should have interest in functional programming and familiarity with Scala.

schedule Submitted 1 year ago

Public Feedback