alar's Journal
[Most Recent Entries]
[Calendar View]
[Friends]
Below are the 20 most recent journal entries recorded in
alar's LiveJournal:
[ << Previous 20 ]
| Wednesday, January 27th, 2010 | | 6:56 pm |
| | Sunday, November 1st, 2009 | | 5:43 pm |
затуп мозга, haskell
Есть индуктивный тип данных, примерно такое data InType = In1 InType | In2 InType InType | InL [InType] | In0 и тип, полученный из него разложением на составляющие: type Key = String data OutType = Out1 Key | Out2 Key Key | OutL [Key] | Out0 и таких пар несколько (штуки 4). Везде структура сторого типа в точности повторяет структуру первого, за исключением рекурсивности. Как бы сэкономить и не писать такие повторения руками? И вообще, что тут можно сэкономить? Есть соблазн в каждое рекурсивное вхождение воткнуть Either InType Key, но это перегрузит доступ к типу сборками-разборками Either. И ваще как-то некрасиво. Current Mood: default | | Thursday, October 29th, 2009 | | 5:41 pm |
Боевые промышленные фидорасы
Обнаружил на сервере - регистраторе аварийных ситуаций и прочих полезных параметров DOS-окошко с заголовком 2:5020/795. Удивлён. Current Mood: broken | | Wednesday, October 21st, 2009 | | 8:48 pm |
| | Thursday, October 8th, 2009 | | 1:19 pm |
Сборка мусора. Вопрос
Где-то я видел ссылку на статью про способ учесть циклические ссылки при сборке мусора путём подсчёта ссылок. Подскажите. Current Mood: отравленноеCurrent Music: Metallica - S&M | | Friday, September 18th, 2009 | | 5:08 pm |
Умные книжки
Немного обозначений из умных книжек: 1. Г |- x ::y "Имеет тип" В контексте Г x имеет тип y. Справа от знака |- всегда ставится обозначение типа. 2.X Y ------- Z "Следует" или "получается". Речь идёт о правилах вывода или системе переписывания. Следует в логике "хост-языка", который заложен в голове у авторов или в реализации языка программирования / системы доказательств. А не в логике предметного языка, поэтому не используется обычное "=>". Сверху от знака "---" перечисляются предпосылки, обычно через пробел, снизу - результат. 3. В логике иногда |= значит "истинно", а |- - "выводимо". Слева стоит контекст, справа выражение, о котором речь. 4. ∀x:X.Y или Πx:X.Y это, оказывается, одно и то же - тип зависимых функций. Частный случай этого типа X => Y (в хаскеле стрелочка такая: ->) , а общий случай отличается от него тем, что в Y может входить переменная x. 5. ∃x:X.Y или Σx:X.Y - тип зависимых пар. Частный случай - тип X × Y (он же X ∧ Y) (в хаскеле (X,Y)), в общем случае в Y может входить x. to be continued Current Music: Fear Factory | | Wednesday, September 9th, 2009 | | 6:54 pm |
| | Monday, August 10th, 2009 | | 10:59 am |
USB. Как сделать на коленке?
Как быстро сделать устройство ввода данных со скоростью потока до 80 Мбит/с? Данные сыплются непрерывно (это выход с быстрого АЦП). Верно ли, что USB - подходящий интерфейс для такой задачи? Current Music: Ozzy Osbourne - Dreamer | | Tuesday, July 21st, 2009 | | 10:26 pm |
| | Thursday, July 16th, 2009 | | 5:19 pm |
| | Wednesday, July 15th, 2009 | | 10:36 am |
| | Monday, July 6th, 2009 | | 3:47 pm |
| | Wednesday, July 1st, 2009 | | 12:11 pm |
VCS as DB
В СУБД бывают всякие служебные таблички со списком всех существующих таблиц и прочего. А в VCS есть какой-нибудь простой-простой способ собрать несколько реп в список? Хочется чего-то вроде "покажи, какие проекты хранятся в VCS на этом сервере". | | Tuesday, June 30th, 2009 | | 9:38 pm |
ФП. Вопрос
Если у потенциального работодателя потенциальный начальник говорит, что Лисп - не функциональный язык - следует ли делать какие-то выводы? | | Thursday, June 25th, 2009 | | 10:10 am |
| | Monday, June 22nd, 2009 | | 5:09 pm |
| | Thursday, June 18th, 2009 | | 9:39 pm |
L.I.S.P. Вопрос
К Scheme как-нибудь можно прикрутить удобный синтаксис? Может, можно сделать "автоподставлятор скобок", и в каких-то местах их не писать? Суть задачи в том, что: 1. надо, чтоб код получился сочетаемым другим схемным кодом. То есть, "возьми другой язык" - не вариант. 2. Но руками пейсать код на этом языке роботов - это мазохизм. Хочется немного подточить синтаксис: мнемоники понятные сделать, скобки куда-нибудь убрать.... Короче, предпроцессор. Желательно при этом не изобретать велосипед, а погнуть уже готовый. | | Thursday, June 11th, 2009 | | 4:58 pm |
Мифоложка
– Все условия, – сказал Иван-царевич. – Персональная оранжерея. Тропические деревья, штат обслуживающего персонала. Всё, что твоей душе угодно. – Заманчиво, – признала Жар-птица, и задумчиво пощёлкала клювом. – Я, пожалуй, приму твоё предложение… если ты поможешь мне с одной проблемой. – Я слушаю? – в голосе царевича слышалась готовность моментально решить любые птичьи проблемы. – Ты должен найти мне Жар-Птицу. Иван-царевич внимательно посмотрел на птицу, сидящую перед ним. – Э? – проговорил он, не в силах придумать ничего лучше. Существо, сидевшее на ветке перед ним, вздохнуло. – Вань, я не птица. Я Жар-птиц. Мальчик. Самец. Ну, посмотри на меня! Птиц встряхнул крыльями, роскошный, сияющий хвост заструился в воздухе. Царевич сощурился и заслонил глаза рукой. – В животном мире, – наставительно сказал птиц, – так выглядят именно самцы. У самочек, – он мечтательно покачал головой, и выгнул шею, отчего перья на ней засверкали всеми цветами радуги, – у самочек оперение куда скромнее… Что не делает их в наших глазах менее прекрасными, – закончил самец строго. – А, – отреагировал Иван. – И где эту твою самочку искать? – Понятия не имею, – ответил птиц с горечью. – Я лично давно ни одной не встречал. Их, видишь ли, переловили да перестреляли. Охотнички, – он обвиняюще посмотрел на Ивана, и тот поспешно передвинул на спину лук, торчавший из-за плеча. – Да как же, – забормотал царевич, чувствуя, что перспектива заиметь во дворце собственную Жар-птицу стремительно улетучивается, – у кого же рука поднимется? – Я же уже сказал, – раздражённо напомнил птиц, – что у самочек вид намного скромнее. Их невежественные тупицы обычно вообще не принимают за Жар-птиц. Повисла пауза. Иван раздумывал, Жар-птиц на дереве терпеливо ждал. – Хорошо, – сказал наконец царевич. – Я готов… попробовать. Разыскать тебе самочку. Ничего не обещаю, но попробую. Рассказывай, как они, всё-таки, выглядят. _____ – Я ей непременно понравлюсь, – нервно говорил птиц, расхаживая по комнате из угла в угол. – Вань, ну как я могу ей не понравиться? – Понравишься, понравишься, – успокоил его Иван. – Но не сразу. Она сейчас проходит курс психологической реабилитации. – Что с ней, – заволновался птиц, и даже слегка потускнел от переживаний, – Она больна? – Совершенно здорова, – твёрдо сказал Иван. – Но я же рассказывал тебе. До недавнего времени она не считала себя Жар-птицей, и ей надо привыкнуть. – Варвары, – птиц схватился крыльями за голову. – Они искалечили девочку! – Ты должен признать, что их трудно обвинить, – осторожно заметил Иван. – Её внешность… – Да, разумеется, – саркастически сказал птиц, – Внешность! Но когда она снесла золотое яйцо, уж тогда-то эти идиоты могли бы заподозрить, что существо, которое они держат в своём доме, вовсе не курица! © silver_mew источник | | Tuesday, May 26th, 2009 | | 9:43 pm |
Кабала
Можно ли с помощью кабалы, а именно, build-type: Simple, собрать DLL? С помощью build-type: Make , ясное дело, её собрать можно, но тогда непонятно, зачем, собственно, нужна кабала. Да и забыл я, как мэйкфайлы пишут, слишком мало практики было. ( подробности )</></></></></></></></></></></></> Current Music: Nightmares on wax | | Friday, May 22nd, 2009 | | 7:44 am |
GCC vs AVR = 1:0
GCC - хороший компилятор. Но иногда его зарубает: в коде
uint16_t x;
int16_t ref;
uint32_t result;
result += (x-ref)*(x-ref);
он делает всё правильно, за исключением: 1. результат умножения должен быть 32битным 2. надо пользоваться командой перемножения знаковых чисел. Причём, получить от него 32битный результат, немного пошаманив, можно. Но при этом пациент пытается перемножать 32битные числа! Добиться от него использования команды знакового умножения так и не удалось. А вот оптимизатор у него - очень качественный: выделение подвыражений (в этом примере x-ref он считает 1 раз), размещение данных в регистрах, толковый пролог у функций и прерываний (я иногда на асме пишу хуже :)). Current Mood:  shockedCurrent Music: Venetian Snares - Hospitality |
[ << Previous 20 ]
|
![[info]](http://l-stat.livejournal.com/img/userinfo.gif){kind=small}
nealar's journal
