Channels
#arrow-meta
Title
r
raulraja
11/11/2019, 1:54 PMToday 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 PMI'll join today
r
Ryan Benasutti
11/11/2019, 1:57 PMWill it be recorded?
t
tschuchort
11/11/2019, 2:29 PMDo you know how long this will approx take?
r
raulraja
11/11/2019, 2:39 PMThis 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 PMAwesome, I'll join
r
Richard Gibson
11/11/2019, 5:41 PMHey, I'll join too if you don't mind
a
amanda.hinchman-dominguez
11/11/2019, 5:42 PMI am at the doctor's office wrapping up but I will join late!
t
tschuchort
11/11/2019, 5:58 PMI will join too but stay muted because I have very loud birds 🐦
r
raulraja
11/11/2019, 5:59 PMeveryone is welcome!
a
amanda.hinchman-dominguez
11/11/2019, 6:38 PM@tschuchort lmfaoo same
2 Views