"Пропала планета" (C) Spaceballs

Sep 15, 2011 23:20

http://ect.bell-labs.com/who/ajeffrey/agda-frp-js/clock.html

Программка на Агде, показывает какое-то текущее время с помощью HTML5.

Исходнички.

Пришло по списку рассылки Агды, пока самого письма в Интернете нет.

web 2.0, программирование, зависимые типы данных

Leave a comment

geniepro September 16 2011, 11:41:39 UTC
В Хроме пашет, а в Опере нет, видно нет там HTML5.
Посмотрел на исходник этого скрипта
http://ect.bell-labs.com/who/ajeffrey/agda-frp-js/require.js
страх и ужас ))

Reply

kurilka September 16 2011, 11:44:07 UTC
неприязнь к require.js?

Reply

nivanych September 16 2011, 12:51:06 UTC
Я тоже испытываю глубокую личную неприязнь к require.js...
Что же мне делать, ведь оно такое полезное, позволяет в некоторых бравзерах показывать часы...

Reply

thesz September 16 2011, 19:29:55 UTC
Завидно?

Reply

nivanych September 17 2011, 05:36:01 UTC
;-) Именно к require.js - нисколько.
А так, они предоставили довольно убедительные аргументы за то, чтобы генерировать js самому, что компилятор из полноценного языка в js, это слишком.

Reply

kurilka September 17 2011, 14:58:02 UTC
КО в студии:
http://requirejs.org/ не результат компиляции в js
как-то грустно слушать реплики "не читал, но осуждаю"...

Reply

thesz September 17 2011, 15:05:05 UTC
Вот этого комментария я совершенно не понял.

Нельзя поподробней раскрыть логику?

А то есть у меня соображение, что "не читал, но осуждаю" относится здесь именно к тебе. ;)

Reply

kurilka September 17 2011, 15:10:02 UTC
1. были претензии к компилятору к js
2. из явных "предъяв" был назван require.js
3. который не является результатом компиляции
достаточно раскрыл свою мысль?

Reply

thesz September 17 2011, 15:44:27 UTC
Вполне.

Можно ли "предъяву" отнести к сарказму?

Reply

kurilka September 17 2011, 15:56:23 UTC
ну с nyvanich я порой теряюсь в его ЧЮ, так что можно почти как угодно.

Reply

nivanych September 17 2011, 17:40:17 UTC
Что такое require, я знаю.
Но там, вроде, было что-то ещё ;-)

Reply

thesz September 16 2011, 19:29:08 UTC
Тем лучше, что мы это увидим только по большому желанию. ;)

Reply


Leave a comment

Up