Thread
#arrow-meta
    raulraja

    raulraja

    2 years ago
    Today at 7pm (GMT+1) I’ll be showing @bloder and others the internals of Arrow Meta looking at the code. Anyone interested is welcome to join for an internals walkthrough. This is meant to be for people that want to understand the inner parts of meta for other contributions they are working on. ZOOM : https://zoom.us/j/878707806 GCal : https://calendar.google.com/event?action=TEMPLATE&tmeid=MWZqZ2FkaXFnc2loZHZtazQ1aDhnc2swb3QgcmF1bEA0N2RlZy5jb20&tmsrc=raul%4047deg.com
    amanda.hinchman-dominguez

    amanda.hinchman-dominguez

    2 years ago
    I'll join today
    r

    Ryan Benasutti

    2 years ago
    Will it be recorded?
    tschuchort

    tschuchort

    2 years ago
    Do you know how long this will approx take?
    raulraja

    raulraja

    2 years ago
    This may take anything between 30mins to an hour based on questions
    it will be entirely informal. I don’t plan to record it but I plan on repeating it. I don’t want to record it because I don’t want to ask permission to everyone to be recorded and I’m afraid internals change in such a way that certains things we are looking at today would not be like that in a few months
    for example I discovered that I can largely base unions, kinds, type classes and others just with safe implicit proofs that modify the typechecker and we may see that today but that may not be the actual impl
    thanh

    thanh

    2 years ago
    Awesome, I'll join
    r

    Richard Gibson

    2 years ago
    Hey, I'll join too if you don't mind
    amanda.hinchman-dominguez

    amanda.hinchman-dominguez

    2 years ago
    I am at the doctor's office wrapping up but I will join late!
    tschuchort

    tschuchort

    2 years ago
    I will join too but stay muted because I have very loud birds 🐦
    raulraja

    raulraja

    2 years ago
    everyone is welcome!
    amanda.hinchman-dominguez

    amanda.hinchman-dominguez

    2 years ago
    @tschuchort lmfaoo same