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 6 months ago

Public Feedback

comment Suggest improvements to the Speaker
  • Deepti Tomar
    By Deepti Tomar  ~  4 months ago
    reply Reply

    Hello Sandeep,

    Thanks for your proposal! This is an interesting topic.

    Request you to provide more details on the outline/structure along with time break - up for each sub-topic. For eg. -  Would the session cover a demo along with the concepts? If yes, could you add these details too to the outline?

    Also, to help the program committee to understand your presentation style, can you please upload a video of your past presentations? If you don't have one, can you record a small 1 mins trailer of your talk and share the link to the same? 

    Thanks,

    Deepti

    • Sandeep Virdi
      By Sandeep Virdi  ~  3 months ago
      reply Reply

      Hi Deepti,

      Apologies for a late response, I gave this talk at a local meetup https://www.meetup.com/SF-Scala/events/263554064/

      Will update this thread, once the video is up.

       

      Thanks,

      - Sandeep

      • Deepti Tomar
        By Deepti Tomar  ~  3 months ago
        reply Reply

        Hello Sandeep,

        Thanks for your response!

        Request you to provide more details on the outline/structure along with time break - up for each sub-topic.

        If the video from the recent talk is not available yet, can you record a small 1 mins trailer of your talk and share the link to the same? 

        Thanks,

        Deepti

         

        • Sandeep Virdi
          By Sandeep Virdi  ~  3 months ago
          reply Reply

          Hi Deepti,

          So the talk contained 2 parts

          1. LSM Tree ( 35 mins )

            Go over what LSM Trees are and talk about my implementation

          2.  Final Tagless ( 15 mins )

             Go over Oleg's Paper cover Initial / Final Embedding. And then talk about, how Final Tagless is used in Scala.

          Recording:

          Will share something soon.

          • Deepti Tomar
            By Deepti Tomar  ~  3 months ago
            reply Reply

            Hello Sandeep,

             

            Thanks for your response. Request you to update the proposal with time break up in the Outline/Structure section.

            Look forward to the recording.

            Thanks,

            Deepti

            • Sandeep Virdi
              By Sandeep Virdi  ~  3 months ago
              reply Reply

              Hi Deepti, 

               

              Here is the link for the video https://drive.google.com/open?id=1UdaO2YrJzDigkXSadtE6wWUqrg8lKe6P

              • Naresh Jain
                By Naresh Jain  ~  3 months ago
                reply Reply

                Hi Sandeep, this link contains your slides, not the video. Can you please check?

                • Sandeep Virdi
                  By Sandeep Virdi  ~  3 months ago
                  reply Reply

                  Sorry about that https://drive.google.com/open?id=11Fp8Bq-WlE5ordwFHiQmxIeTDd-lP5Ni

                  • Naresh Jain
                    By Naresh Jain  ~  2 months ago
                    reply Reply

                    Thanks, the link works. 

                    Looks like you are based out of the bay area. Would you be able to present at the conference in Bangalore?

                    • Sandeep Virdi
                      By Sandeep Virdi  ~  2 months ago
                      reply Reply

                      Hi Naresh,

                      I think I will skip this year and try again next year. Thanks for everything.