Adrian Sampson

Great! Sounds good overall. Some quick notes: 1. Instead of using nom, one possible advantage of using a Lisp as your input language is that it's just S-expressions. So you...

Just to be specific, I guess what I'm suggesting is that you only support a "sublanguage" that is equivalent to System F with a couple of base types (like int...

Sounds good!

Awesome; nice work!! A couple of answers: - Yep, I'd recommend saying "you can't do that." This is one of many instances where it will make sense to restrict the...

Sure—basically, the idea is that your typechecker and interpreter have some manner of contexts/environments that user code can populate. For example, maybe there is a hash table for types that...

Thanks for getting this started! I think you need to make this proposal a bit more concrete/specific before it's ready to go. I understand that you want to build some...

Sounds like a great project! Before you get started, I think it would be good to think a little bit more about exactly how you will do the benchmarking. Comparing...

> We think, it should be relatively straightforward to disentangle the cost of the memories form the rest of the design as long as we can actually synthesize things. The...

OK! One thing to worry about a bit here is that, in my experience, controlling an HLS tool to do anything specific with memories can be pretty tricky. Vivado HLS...

All sounds good! As soon as possible, please try to narrow down which of the above directions you will pick. You have several ideas in here, and you'll need to...