Re: [heycam/webidl] No seemingly consistent Shepherd story (#240)

> dictionaries, sequences, and interfaces are all types though. I don't think you can say one is a name and another is syntax. (Not really sure what an IDL name even is.)

By "names", I'm referring to actual types.  `record` isn't a type, `record<Foo>` is; `record` is a syntax keyword used to *construct* a type. (In Haskell terms, it would literally be a type constructor, which is a first-class value of a higher kind than types.) So the `record` keyword should be marked up as a "dfn" type definition, same as the `interface` keyword is.

> Yeah--I've found the mapping to be exceptionally challenging when doing the conversion to Bikeshed. 

Yeah, this is a particularly meta situation, it's not surprising that confusion abounds. ^_^

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/heycam/webidl/issues/240#issuecomment-261389001