Мы фанаты ICFP Programming Contest. И контест Sapka будет таким же интересным. Только нашим. Для русского, украинского та и вообще всего СНГ-шного сегмента сети. Мы выдумали свою интересную задачу и сейчас разрабатываем нужное техническое обеспечение для нее.
есть мысль, что можно взять бревно и потащить. старт 05.03.2009, финиш 12.03.2009, результаты обещают 15.03.2009
количество уже заявленных хаскеллистов и лисперов как бы намекает
"Притеснять неизвестных пользователей никто не собирается"
"Именно. Но писать без регистрации никто запрещать не собирается, это чётко"
"Сохранение возможности постить без регистрации - это принципиальная позиция"
"анонимный пользователь, непременный участник всех дискуссий. Одновременно является как самым трезвомыслящим, так и совершенно отмороженным пользователем. Именно анонимусами сформирован т. н. «дух» ЛОР, ключевая особенность протекающих на ресурсе обсуждений"
никто не знает, где можно было бы заказать книгу "To Mock a Mockingbird" by Raymond M. Smullyan в бумажном варианте с доставкой в Украину (Киев), либо Россию (если кто-то поможет принять с той стороны)? на amazon.com все имеющиеся варианты проваливаются по причине проблем с доставкой
заодно буду благодарен за советы касательно литературы по формальным семантикам языков программирования
а можно как-нибудь посмотреть в одном списке все ответы на мои посты/комментарии? если нет - то нельзя ли это заимплементить? :) чертовски неудобно искать же
вот интересно, а сколько на ЛОРе всего модераторов?
http://www.linux.org.ru/server.jsp показывает 18, однако некоторых из них на ЛОРе не было уже очень давно (green, Tima_, I-xoid, fagot, etc); некоторые на ЛОРе были недавно, однако давно не принимали участия в модератории (BaT, Obidos, svyatogor, etc) - ну, насколько это заметно со стороны. может стоит обновить список? или он по-прежнему актуален?
особой смысловой нагрузки вопрос не несёт, просто любопытно
мне кажется, или на ЛОРе за последнее время прижился анклав ксакепа?
некоторые обсуждения в девеле просто-таки архитипичны. вроде их вотчину пока не запилили (или я чего-то не знаю), откуда они взялись-то? или услиями M$ Linux внезапно стал привлекателен с точки зрения реверс-инжениринга и крякинга?
очень хотелось бы услышать мнения о MS'овском The Unity Application Block (Unity) - о самой технологии, альтернативах в других ООП-enabled ЯП, ну и опыт использования (если вдруг - насколько я знаю, Mono его не тянет)
существенный момент с точки зрения ленивости языка (ну и определения рекурсии тоже), а никто не поправил :( оставьте там кто-нибудь комментарий, пожалуйста. заранее спасибо
в рассылке промелькнула новость о выходе новой версии IDE для Tcl/Tk; сначала хотел запостить как новость (описание понравилось), потом скачал, запустил, и малость охренел
в общем, если вам нужна показательная программа для тезиса "Tk - неюзабельное и страшное говно", то TKproE - для вас:
а есть здесь ML-программисты? порекомендуйте какой-нибудь исчерпывающий мануал, пожалуйста,- что-то вроде YAHT и Gentle Introduction. желательно именно ML, не вариации (OCaml, F#, etc). статьи предпочтительней книг, но если есть в сети хорошие учебники - буду благодарен и за них
нужен самый простой вариант получения tar.gz архива, разбитого на куски по N байт, на машине с очень урезанным набором утилит (в частности нет split; сам tar и gzip есть). shell - ksh, других ЯП кроме него нет
надоело слушать на повторе Dimmu Borgir - 51k, в связи с чем прошу совета уважаемого all: чего у нас такого тяжёленького концептуального про красноглазие есть?
я вот знаю два офигенных альбома Beyond Twilight (The Devil's Hall Of Fame, про сумасшедшего хакера, и For The Love Of Art And The Making, просто про красноглазие) и один альбом Spastic Ink (Ink Compatible, но там всё больше около-M$ тексты). а что ещё есть? вот чтобы про бессонные ночи за компом, слаку, LFS, патченье KDE2, фидошечку, и желательно чтобы слова разобрать можно было (The Kovenant прекрасны, но разве что как фон)
вопрос лисперам хотел задать, забыл: какая реализация scheme сейчас наиболее актуальна для embedded-применения? ну, или других каких лиспов,- если есть лиспы меньше схемы, конечно :)
главный критерий - минимальные объём лисп-машины и требования к RAM, производительность на втором плане. система - gnu/linux, возможно на загадочных архитектурах
в принципе интересуют личные предпочтения практикующих лисперов, и просто общий список "на заметку"
хочется странного. есть замечательная статья (ссылку к сожалению сходу не нагуглил), сводящая scheme к лямбда-исчислению - выражая одни операции через другие, и так до трёх базовых (а рекурсию посредством Y-комбинатора). есть ли такое же для каких-нибудь не-Чёрчевских языков (того же C, или BASIC, или кто там у нас попроще)?
и, в общем случае, как системы типов исходного/результирующего языка влияют на трансляцию? что сложнее - усиливать типизацию при трансляции (C -> Haskell, например), или ослаблять (C -> Tcl), если желаемым результатом является эквивалентная исходной программа?
доброго времени суток
имеют место быть два глупых вопроса. первый (составной):
properFraction (liftM read $ getLine) --возвращает (b, IO a)
почему именно так? т.е. почему только второй элемент кортежа
находится внутри монады IO?
более того:
snd $ properFraction (liftM read $ getLine) --отрабатывает
fst $ properFraction (liftM read $ getLine) --приводит к ошибке
однако при всём этом функция
printTuple :: (a, b) -> IO ()
printTuple (int, frac) = do
print int
print frac
будучи вызванной в таком вот контексте
do val <- properFraction (liftM read $ getLine)
printTuple val
отрабатывает опять же без проблем
вопрос в следующем: откуда появляется различие между типами
элементов кортежа, возвращаемого properFraction, и куда оно
внезапно исчезает? то есть не то чобы оно совсем исчезало -
тип b может быть каким-нибудь (IO c), однако print (IO c) в таком
случае не должен отрабатывать - (IO c) не является экземпляром
Show
к сожалению сейчас без доступа к ghc, текст сообщений об ошибках
приведу завтра
ну и второй вопрос - как средствами библиотеки стандартной поставки
ghc произвести сравнение двух чисел с плавающей запятой с заданной
точностью (например, до пятого знака после запятой)?
заранее спасибо
есть мнение о необходимости организации в Киеве User Group, посвящённого вопросам функционального и, в более общем смысле, декларативного программирования: эдакий выездной LtU. насколько мне известно, в продакшене в киевских компаниях используются CL, Scheme, APL и J; знаю несколько любителей-хаскелистов и даже одного ребольщика. вопрос в следующем: есть ли среди читающих люди (и/или лисперы), которым это было бы интересно?
прошу извинения если оффтоп, однако в какой ещё раздел это приткнуть - не знаю. всё-таки Devel, как ни посмотри
P.S. лисперам просьба не обижаться, просто вспомнилось made with the alien technology ;)
первая (или почти первая) комманда, которую я самостоятельно выполнил в Linux, была fortune; полученной мною в тот раз фразой была: "Beware of Programmers who carry screwdrivers" (в вольном переводе "бойся программиста с отвёрткой")
фраза сия настолько меня потрясла что я до сих пор её помню, считаю полной семантического астрала, векового опыта, и мрачных предзнаменований...а сейчас вот хочу поинтересоваться её толкованием у аналитиков ЛОРа