https://kotlinlang.org logo
r

raulraja

11/11/2019, 1:54 PM
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
👍 6
💯 5
a

amanda.hinchman-dominguez

11/11/2019, 1:56 PM
I'll join today
r

Ryan Benasutti

11/11/2019, 1:57 PM
Will it be recorded?
t

tschuchort

11/11/2019, 2:29 PM
Do you know how long this will approx take?
r

raulraja

11/11/2019, 2:39 PM
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
👆🏽 1
t

thanh

11/11/2019, 4:43 PM
Awesome, I'll join
r

Richard Gibson

11/11/2019, 5:41 PM
Hey, I'll join too if you don't mind
a

amanda.hinchman-dominguez

11/11/2019, 5:42 PM
I am at the doctor's office wrapping up but I will join late!
t

tschuchort

11/11/2019, 5:58 PM
I will join too but stay muted because I have very loud birds 🐦
r

raulraja

11/11/2019, 5:59 PM
everyone is welcome!
a

amanda.hinchman-dominguez

11/11/2019, 6:38 PM
@tschuchort lmfaoo same
2 Views