dastapov: (new)
[personal profile] dastapov
Во-первых, поздравляю человека и парохода jabber.ru с победой в lightning раунде.

Во-вторых, на этом месте мог бы быть отчет, но писать особо не о чем. В этом году я пробовал что-то сделать самостоятельно, но буквально сразу увидел (кажется, на IRC) слово SECD и в результате отвлекся на чтение книжки Хэндерсона "Functional Programming Application and Implementation", которой явно вдохновлялись организаторы. В результате я узнал много нового и интересного о том, как можно использовать camlp4, чтобы реализовать "компилятор" из сделанного тобой DSL в OCaml, а также о том, что такое SECD-машина (как она дана у Хэндерсона, а не урезанный вариант из задачи этого года).

После возни с полноценной SECD-машиной мотивация делать обкоцанную SECD-машину у меня как-то пропала, и я для себя на этом ICFPC-2014 закрыл. А что у вас?

(no subject)

Date: 2014-09-09 08:35 am (UTC)
From: [identity profile] pbl.livejournal.com
А я выиграл main round и прославил Хаскель во веки веков^W^W^W до следующего года. Внезапно.

(no subject)

Date: 2014-09-09 09:37 am (UTC)
From: [identity profile] bvlb.livejournal.com
Круто! Я не знал, что винер есть в жж, пойду на вас ссылку поставлю.

(no subject)

Date: 2014-09-09 10:45 am (UTC)
From: [identity profile] pbl.livejournal.com
Да меня уже нет в ЖЖ. Я сюда хожу только поболтать об ICFPC.

(no subject)

Date: 2014-09-18 04:01 pm (UTC)
From: [identity profile] triampurum.livejournal.com
А это, кстати говоря, весьма печально, любил Ваш ЖЖ. Все события, о которых я упоминаю в этой книге, я поместил сюда потому, что другая жизнь приближается ко мне скорым шагом, – да минуют нас несчастья, и да обойдет стороною лукавый, – и еще потому, что “никогда уже не будет нам подобных”. И потому надлежит и подобает поведать тем, кто придет после нас, о буйных разгулах и похождениях, что пришлись на наше время, поскольку не будет более на свете людей, нам подобных, и никакая жизнь в Ирландии не сравнится впредь с той жизнью, что прожили мы и которая уж не вернется.

Profile

dastapov: (Default)
Dmitry Astapov

July 2017

M T W T F S S
     12
3456789
1011 1213141516
17181920212223
24252627282930
31      

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags