Conversation

This Tweet is from a suspended account. Learn more

Oct 25, 2020

Yeah, ncatlab is cool, but when the article on Inductive Type starts with "In terms of categorical semantics, an inductive type is a type whose interpretation is given by an initial algebra of an endofunctor", it's not meant for people building languages

This Tweet is from a suspended account. Learn more

Brendan Zabarauskas

@brendanzab

Oct 26, 2020

Yeah, I really want this too. I think

@evincarofautumn

has been interested in something like this in the past too? It's just so frustrating to have to navigate this stuff from the outside, having to rediscover all the folklore that was well-known in the hallways and classrooms.

This Tweet is from a suspended account. Learn more

Brendan Zabarauskas

@brendanzab

Oct 26, 2020

We were trying to make a Wiki here, but I think doing it via github + PRs might have added a bit of friction? Dunno if a proper wiki thing would be a better idea: proglangdesign.net/wiki/

Brendan Zabarauskas

@brendanzab

Oct 26, 2020

Concatenative.org has a nice Wiki: concatenative.org/wiki/ - implemented in Factor I think 😅

Brendan Zabarauskas

@brendanzab

Oct 26, 2020

I also like some of these 'bibliography' repos that pop up - something like that on this wiki would be helpful: - github.com/andrejbauer/ef - github.com/metaocaml/meta

Replying to

and

sent me pls-lab.org, which looks interesting? Don't know the people behind it though.

2:52 AM · Oct 26, 2020Twitter Web App