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

[Artem Pelenitsyn]

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