[PL-sem-jr] 06/15/2017

Artem Pelenitsyn artem.pelenitsyn at gmail.com
Sun Jun 11 19:43:55 EDT 2017

Dear participants of Pl-sem-jr!

Julia flys for ECOOP Thursday afternoon. Will it be possible to shift our
meeting from Thursday to Wednesday? Not only for her to be able to
participate, but also for me to accompany her on the way to airport.

I checked out our poll for a time:
It turns out that the most convinient time on Wednesday is 11-00. Is it OK
for most of us?

Best regards,

On Fri, 9 Jun 2017, 21:06 Artem Pelenitsyn, <artem.pelenitsyn at gmail.com>

> Hi, guys!
> Thank everyone who voted for the topic. Clear winner is 'Compiling to
> categories' -- we will discuss it next Thursday. Please, prepare:
> http://conal.net/papers/compiling-to-categories/compiling-to-categories.pdf
> -- Artem
> чт, 8 июн. 2017 г. в 14:34, Artem Pelenitsyn <artem.pelenitsyn at gmail.com>:
>> Hi, guys!
>> I have two options for the next week so far:
>>    - V. Vene categorical programming with inductive and coinductive
>>    types (first several chapters) // PhD thesis
>>    - C. Elliot Compiling to categories // ICFP'17
>> Would it be possible for you to vote for any?
>> https://www.survle.com/s/593994f4dbf20
>> Short summary:
>> 1) (Vene) Categorical means to express common "(co)inductive" types
>> (Lists, Trees, Streams...) and algorithms on them (fold/unfold).
>> 2) (Elliot) Categorical approach to program transformation in Haskell:
>> write simple functional program and turn it into 1) graph, 2) hardware
>> description, etc.
>> As for the second option (this is my favourite one as it is newer for
>> me): No deep understanding of Haskell is required, syntax would be
>> described as we go (we only need the notion and syntax for type classes
>> really).
>> --
>> Best wishes,
>> Artem
-------------- next part --------------
HTML attachment scrubbed and removed

More information about the Pl-sem-jr mailing list