S K I in Forth

[juan_gandhi]

http://soton.mpeforth.com/flag/jfar/vol4/no4/article6.pdf

But my bigger question is: can anybody direct me to a good definition of J combinator? Somebody mentioned recently, I forgot who. Now I'm stuck.

Comments

[juan-gandhi.livejournal.com]

Спасибо за ваш коммент выше. Красиво, ясно и логично, на самом деле. И как бы намечает мост к типизированной лямбде.

[pbl.livejournal.com]

Ну там без HOAS на практике не обойтись, мне тут как раз недавно довелось поломать голову на эту тему на работе, как ни странно.

> Красиво, ясно и логично, на самом деле.

Но устарело же. Сейчас in vogue делать то же самое через свободные монады.

[zeit-raffer.livejournal.com]

у меня оффтопик-вопрос.

если хочется рассказать соседям-джаваскриптерам в коворкинге (или даже зашедшим туда школьникам) про формальную верификацию и зависимые типы, но так, чтобы в двух словах на полчаса, а не годичный академический курс, то реально ли это сделать, по Вашему мнению?

[pbl.livejournal.com]

У меня плохо получалось заинтересовать даже более простыми и доступными темами. Причем специально отобранных мною же нетупых студентов. Так что... без внутренней мотивации я не думаю, что это стоит потраченного времени. Ну и вообще это такой интересный путь, который надо с квикчека проходить. Вот когда уже квикчек в продакшне проверяет пропертиз, и ни у кого это не вызывает больших вопросов, можно начинать говорить: "А ПРИКИНЬТЕ, ТО ЖЕ САМОЕ МОЖНО ДОКАЗЫВАТЬ!"

[zeit-raffer.livejournal.com]

тут интересный вопрос, откуда берется мотивация такого рода... но не буду, не буду.

[pbl.livejournal.com]

У меня - от двадцати лет в траншеях. Но некоторых устраивает каждый день лопатовать одно и то же говно безо всякого проблеска и надежды. Чо, бапки капают, мухи не кусают. Лафа.