http://lj.rossia.org/community/programming/ Програзм - LJ.Rossia.org Програзм Wed, 27 Apr 2011 13:17:37 GMT LiveJournal / LJ.Rossia.org http://lj.rossia.org/community/programming/5272.html Wed, 27 Apr 2011 13:17:37 GMT http://lj.rossia.org/community/programming/5272.html Может кто-нибудь подсказать, как доказать, что языки с "циклической" структурой (где для выражения токенов используется рекурсия) не могут являться регулярными ?<br /><br /><div style="text-align:left"><font size="-2"><a href="http://lj.rossia.org/community/programming/5272.html"><img src="http://lj.rossia.org/numreplies/programming/5272" border=0 width=26 height=17 alt="number of comments" style="border:0px;" /> <strong>Comments</strong></a></font></div> http://lj.rossia.org/community/programming/5272.html http://lj.rossia.org/community/programming/4949.html Mon, 26 Apr 2010 16:12:36 GMT http://lj.rossia.org/community/programming/4949.html subj<br /><br /><div style="text-align:left"><font size="-2"><a href="http://lj.rossia.org/community/programming/4949.html"><img src="http://lj.rossia.org/numreplies/programming/4949" border=0 width=26 height=17 alt="number of comments" style="border:0px;" /> <strong>Comments</strong></a></font></div> http://lj.rossia.org/community/programming/4949.html http://lj.rossia.org/community/programming/4629.html Sun, 20 Sep 2009 18:42:35 GMT http://lj.rossia.org/community/programming/4629.html Кто может подсказать идею файловой системы для носителя, который предназначен ТОЛЬКО для дописывания? Объем файловой структуры ОЧЕНЬ большой. Думаю, около терабайта. Нужна приятная идеология. Арвидную систему знаю... Что еще есть?<br /><br /><div style="text-align:left"><font size="-2"><a href="http://lj.rossia.org/community/programming/4629.html"><img src="http://lj.rossia.org/numreplies/programming/4629" border=0 width=26 height=17 alt="number of comments" style="border:0px;" /> <strong>Comments</strong></a></font></div> http://lj.rossia.org/community/programming/4629.html http://lj.rossia.org/community/programming/4443.html Wed, 08 Oct 2008 08:19:31 GMT http://lj.rossia.org/community/programming/4443.html Чем отличается структура от класса кроме методов? Следует ли данные объявлять структурой или классом? Есть на эту тему какой-то концепт?<br /><br /><div style="text-align:left"><font size="-2"><a href="http://lj.rossia.org/community/programming/4443.html"><img src="http://lj.rossia.org/numreplies/programming/4443" border=0 width=26 height=17 alt="number of comments" style="border:0px;" /> <strong>Comments</strong></a></font></div> http://lj.rossia.org/community/programming/4443.html http://lj.rossia.org/community/programming/3906.html Wed, 29 Aug 2007 10:48:52 GMT http://lj.rossia.org/community/programming/3906.html фолды часто выглядят невнятно.<br />хочется писать что-то вроде<br /><br /><b>let fold</b> elt<b>&lt;-</b>l <b>into</b> accu<b>:</b>ISet.empty = ISet.add elt accu <b>in</b><br /> print_endline (ISet.to_string accu)<br /><br />(или что-то подобное).<br />интересно, camlp4 может нам тут помочь ?<br /><br /><div style="text-align:left"><font size="-2"><a href="http://lj.rossia.org/community/programming/3906.html"><img src="http://lj.rossia.org/numreplies/programming/3906" border=0 width=26 height=17 alt="number of comments" style="border:0px;" /> <strong>Comments</strong></a></font></div> http://lj.rossia.org/community/programming/3906.html http://lj.rossia.org/community/programming/3594.html Mon, 27 Aug 2007 13:34:20 GMT http://lj.rossia.org/community/programming/3594.html появился вариант, способный грузить динамические<br />библиотеки в native-варианте. подробности см.<br /><br /><a href="http://alain.frisch.fr/natdynlink.html">http://alain.frisch.fr/natdynlink.html</a><wbr /><br /><br />там же предлагают ocamlnat, toplevel, в реальном<br />времени компилирующий в native и подгружающий.<br /><br />попробовавшие говорят, что ускорение по сравнению<br />с обычным ocamltop колоссальное (раз в сорок)<br /><br /><div style="text-align:left"><font size="-2"><a href="http://lj.rossia.org/community/programming/3594.html"><img src="http://lj.rossia.org/numreplies/programming/3594" border=0 width=26 height=17 alt="number of comments" style="border:0px;" /> <strong>Comments</strong></a></font></div> http://lj.rossia.org/community/programming/3594.html http://lj.rossia.org/community/programming/3464.html Mon, 27 Aug 2007 11:27:05 GMT http://lj.rossia.org/community/programming/3464.html о прекрасном.<br /><br />написал чудесный функтор<br />module type Holder =<br />sig<br /> type t<br />end<br /><br />module Comparable(H:Holder) =<br />struct<br /> type t = H.t<br /> let compare = compare<br />end<br /><br />прекрасно применяется, между прочим, к целым,<br />строкам, декартовым произведениям, вариантам ...<br /><br />и всё бы было ничего, но функция<br />lim f eq start =<br /> let next = f start in<br /> if (eq start next) then next<br /> else lim f eq next<br />(которая весьма полезна для набивки множеств,<br />получения связных компонент графов и <br />всего такого прочего) у меня зациклилась<br />(на Map[Comparable[Set[...]]] и этот самый<br />compare = 0)<br /><br /><lj-cut text="мораль проста ..."><br />не будь, как тот медведь:<br />compare действительно определяет <b>структурную</b><br />эквивалентность базовых типов - т.е. сравнение того,<br /><b>что лежит внутри</b>. но у множеств внутри лежат<br />сбалансированные деревья, и вот они-то множеством<br />определяются неоднозначно: зависят от порядка закладки<br />туда элементов. посему, кстати, у Set и Map есть<br />свой compare, правильный <br /><br /><br /><div style="text-align:left"><font size="-2"><a href="http://lj.rossia.org/community/programming/3464.html"><img src="http://lj.rossia.org/numreplies/programming/3464" border=0 width=26 height=17 alt="number of comments" style="border:0px;" /> <strong>Comments</strong></a></font></div> http://lj.rossia.org/community/programming/3464.html http://lj.rossia.org/community/programming/3147.html Tue, 17 Jul 2007 09:24:07 GMT http://lj.rossia.org/community/programming/3147.html вопрос - пытался ли кто-нибудь компилировать lablgtk2 под msys/mingw ?<br />имеются проблемы - под windows почему-то отсутствует ocamlmklib,<br />ocamlmktop глючит, и т.д.<br />все это обходится - код у mklib несложный, и все, что она делает,<br />можно сделать вручную и т.д. (также проблема в том, что<br />ocaml под windows генерирует "неправильные" слэши для<br />имени, например, временных файлов и т.д.).<br />это не очень сложно поправить, исходники ocaml удивительно<br />внятные, но интересно, не решал ли кто-нибудь уже эту задачу.<br /><br /><div style="text-align:left"><font size="-2"><a href="http://lj.rossia.org/community/programming/3147.html"><img src="http://lj.rossia.org/numreplies/programming/3147" border=0 width=26 height=17 alt="number of comments" style="border:0px;" /> <strong>Comments</strong></a></font></div> http://lj.rossia.org/community/programming/3147.html http://lj.rossia.org/community/programming/3027.html Mon, 09 Jul 2007 10:00:07 GMT http://lj.rossia.org/community/programming/3027.html троих заключенных сажают в три одиночки. в каждой одиночке<br />на стене лампочка. каждая лампочка либо горит, либо не горит<br />в течение дня.<br />заключенным известно, что лампочки переключаются по одной из<br />двух стратегий. согласно первой, каждый день горят ровно<br />две из трех. согласно второй, некоторое количество дней<br />(неизвестное) в начале срока горят ровно две из трех, <br />а остаток срока - ровно одна из трех.<br />так они сидят натуральную вечность (1,2,3,...).<br />по окончании вечности они должны, не советуясь, <br />проголосовать - каждый за ту стратегию, которая, <br />по его мнению, применялась.<br />перед началом срока они могут советоваться<br />сколько угодно.<br /><br />существует ли метод голосования, позволяющий угадать<br />применявшуюся стратегию большинством голосов ?<br /><br /><div style="text-align:left"><font size="-2"><a href="http://lj.rossia.org/community/programming/3027.html"><img src="http://lj.rossia.org/numreplies/programming/3027" border=0 width=26 height=17 alt="number of comments" style="border:0px;" /> <strong>Comments</strong></a></font></div> http://lj.rossia.org/community/programming/3027.html http://lj.rossia.org/community/programming/2742.html Sat, 07 Jul 2007 06:10:28 GMT http://lj.rossia.org/community/programming/2742.html Для оживления коммьюнити вот еще одна задачка:<br />имеется тюрьма, в которой сидят по одиночным<br />камерам N заключенных. В тюрьме так же есть<br />комната с двумя рубильниками, у каждого <br />рубильника два положения (вкл/выкл), начальное<br />положение рубильников неизвестно.<br /><br />Начальство тюрьмы собирает заключенных вместе<br />и говорит: я буду в некотором произвольном (не<br />обязательно случайном!) порядке водить каждого<br />из вас в комнату с рубильниками. При заходе в<br />комнату вы будете обязаны переключить ровно<br />один из рубильников (по вашему выбору). Как <br />только кто-то из вас при заходе в комнату определит<br />(по состоянию рубильников и собственной памяти),<br />что все ЗК уже в комнате побывали и скажет мне<br />об этом, то я вас отпущу. Сказать мне об этом<br />можно только один раз. Я гарантирую, что каждого<br />из вас будут водить в комнату достаточное <br />количество раз, чтобы определение присутствия <br />всех ЗК было возможным. Водить я буду вас по<br />одному и вы не сможете общаться между собой.<br />Я даю вам время сейчас всем вместе обсудить<br />стратегию.<br /><br />Задача в том, чтобы придумать эту выигрышную <br />стратегию.<br /><br />PS: Условие "достаточного количества вызовов" и<br />произвольности порядка вызова можно сформулировать<br />так: при стремлении к бесконечности общего числа<br />вызовов в комнату, число вызовов каждого конкретного<br />ЗК также стремится к бесконечности некоторым <br />произвольным (не обязательно случайным!) образом.<br /><br />PPS: Комменты скринятся.<br /><br /><div style="text-align:left"><font size="-2"><a href="http://lj.rossia.org/community/programming/2742.html"><img src="http://lj.rossia.org/numreplies/programming/2742" border=0 width=26 height=17 alt="number of comments" style="border:0px;" /> <strong>Comments</strong></a></font></div> http://lj.rossia.org/community/programming/2742.html http://lj.rossia.org/community/programming/2441.html Sun, 24 Jun 2007 15:32:56 GMT http://lj.rossia.org/community/programming/2441.html Имеется последовательность из N объектов,<br />про любые два из которых можно сказать только<br />равны они или нет. Известно, что некоторого<br />объекта в последовательности больше половины.<br />Придумать алгоритм поиска этого объекта, <br />который бы завершался за один проход по <br />последовательности и использовал фиксированный<br />(то есть не зависящий от N) объем памяти.<br /><br />Комменты скринятся.<br /><br />Пояснение:<br /><br />Понятно, что количество бит, при помощи которых<br />можно закодировать число N зависит от N, но <br />конкретно этой зависимостью можно пренебречь.<br />Также понятно, что от размера объекта зависит<br />объем используемой памяти. Этой зависимостью можно<br />также пренебречь. Существенно, чтобы количество<br />используемой памяти не зависело от количества<br />элементов в последовательности.<br /><br />Решение (выделить мышкой):<br /><font color="white"><br /><pre> Одно из возможных решений основывается на том интересном факте, что из последовательности можно выкинуть 3 произвольных попарно неравных элемента. При этом количество искомых элементов по прежнему будет больше половины в уменьшенной последовательности. Другое решение (более простое), предложенное Димой Калединым, также использует индукцию. Понять, как именно, предоставляется читателю в качестве упражнения. Для простоты в решении рассматривается массив из целых чисел. Алгоритмы, впрочем, будут работать для любых объектов. Мой вариант решения: int find_most_repeatable(int *arr, size_t size) { unsigned int i; int a, b = 0, e, answer_a, answer_b, answer; answer_a = arr[0]; a = 1; for (i = 1; i &lt; size; i ++) { e = arr[i]; if (answer_a == e && a &gt; 0) a ++; else if (answer_b == e && b &gt; 0) b ++; else { if (a == 0) { answer_a = e; a = 1; continue; } else if (b == 0) { answer_b = e; b = 1; continue; } a --; b --; } } if (a &gt;= b) answer = answer_a; else answer = answer_b; return answer; } Вариант Димы Каледина (исправленный): int find_most_repeatable2(int *arr, size_t size) { unsigned int i; int answer, e, c; answer = arr[0]; c = 0; for (i = 1; i &lt; size; i ++) { e = arr[i]; if (answer == e) { c ++; if (c &lt;= 0) c ++; } else if (c &gt;= 0) c --; if (c &lt; 0) answer = e; } return answer; } </pre><br /></font><br /><br /><div style="text-align:left"><font size="-2"><a href="http://lj.rossia.org/community/programming/2441.html"><img src="http://lj.rossia.org/numreplies/programming/2441" border=0 width=26 height=17 alt="number of comments" style="border:0px;" /> <strong>Comments</strong></a></font></div> http://lj.rossia.org/community/programming/2441.html http://lj.rossia.org/community/programming/2272.html Wed, 25 Oct 2006 13:34:52 GMT http://lj.rossia.org/community/programming/2272.html Почему это течет? Функция select_calls вызывает себя рекурсивно, но, вроде как tail recursion, так что все нормально.<br /><br /><lj-cut text="под кат!"><code><pre> select_calls(Ref,Fd,NumberOfCalls) -&gt; case odbc:next(Ref) of {selected,["CS_CALLER_ID","CS_CALLED_ID","CS_CALL_ID","CS_TAG_TO","CS_TAG_FROM","CS_ROUTE_TO","CS_ROUTE_FROM"], [{Caller,Called,SessionID,TagTo,TagFrom,RouteTo,RouteFrom}]} -&gt; send_msg (Fd,Caller,Called,SessionID,TagTo,TagFrom,RouteTo), send_msg (Fd,Called,Caller,SessionID,TagFrom,TagTo,RouteFrom), select_calls(Ref,Fd,NumberOfCalls+1); Error -&gt; io:format("Select next FAILED!\n") end. send_msg (Fd,Caller,Called,SessionID,TagTo,TagFrom,Route) -&gt; Msg = "BYE sip:127.0.0.1:5060 SIP/2.0 \r\n" "Via: SIP/2.0/UDP 127.0.0.1:3456\r\n" "From: &lt;" ++ Caller ++ "&gt;;tag=" ++ TagFrom ++ "\r\n" "To: &lt;" ++ Called ++ "&gt;;tag=" ++ TagTo ++ "\r\n" "Call-ID: " ++ SessionID ++ "\r\n" "Route: &lt;" ++ Route ++ "&gt;\r\n" "CSeq: 123 BYE\r\n" "Content-Length: 0\r\n" "\r\n", gen_udp:send(Fd,"127.0.0.1",5060, [Msg]). </pre></code><br /><br />Если в функции select_calls закомментировать вызов send_msg, то ничего не течет. Так как же в erlang'е правильно строки-то отсылать через socket?<br /><br /><div style="text-align:left"><font size="-2"><a href="http://lj.rossia.org/community/programming/2272.html"><img src="http://lj.rossia.org/numreplies/programming/2272" border=0 width=26 height=17 alt="number of comments" style="border:0px;" /> <strong>Comments</strong></a></font></div> http://lj.rossia.org/community/programming/2272.html http://lj.rossia.org/community/programming/2042.html Thu, 19 Oct 2006 18:43:05 GMT http://lj.rossia.org/community/programming/2042.html Приветствую!<br /><br />Что-то я недопонял. Как заставить выполнить кусок кода, скажем, шесть раз.<br /><br />Дано:<br /><br />unixODBC, откуда я читаю записи вот так:<br /><br /><code><pre>main_cycle (Ref) -&gt; case odbc:select_count(Ref, "select A,B,C from name.table") of {ok, NumberOfRows} -&gt; if NumberOfRows &gt; 0 -&gt; select_calls(Ref) end; Error -&gt; exit(Error) end.</pre></code><br /><br />В вышеуказанной функции я получаю NumberOfRows например равным шести. Я не нашел ничего лучше, как рекурсивно выполнить select_calls до тех пор, пока мне не сообщат об ошибке:<br /><br /><code><pre>select_calls(Ref) -&gt; case odbc:next(Ref) of {selected,["CS_CALLED_STATION_ID","CS_CALLING_STATION_ID","CS_LOCALCALLID"], [{Caller,Called,SessionID}]} -&gt; write_msg(Caller,Called,SessionID), select_calls(Ref); Error -&gt; io:format("end of data\n") end.</pre></code><br /><br />Запросить сразу лист записей, а потом сделать map или foreach нельзя, т.к. драйвер базы данных (Oracle) для unixODBC еще не дописан до конца (а фирменный от Oracle или другой коммерческий от Easysoft настолько проблемно ставится, что проще будет пока с этим повозиться) и не позволяет селектом выдавать сразу лист - только так, по одной записи. <br /><br />Так вот, хотелось бы не дожидаться пока odbc:next выбросит ошибку, а выполнить его столько, сколько мне надо.<br /><br />Как?<br />А то я что-то этот момент упустил пока. В туториалах есть много-много про параллельное программирование и кластеризацию ,а вот такой момент что-то обойдет вниманием.<br /><br />Я хотел добавить лишний параметр в вызов функции, что-то вроде <br /><br /><code><pre>select_calls(Ref, counter) -&gt; if counter &gt; 0 -&gt; ... select_calls(Ref, counter-1); end.</pre></code><br /><br />но это почему-то не работает.<br /><br /><div style="text-align:left"><font size="-2"><a href="http://lj.rossia.org/community/programming/2042.html"><img src="http://lj.rossia.org/numreplies/programming/2042" border=0 width=26 height=17 alt="number of comments" style="border:0px;" /> <strong>Comments</strong></a></font></div> http://lj.rossia.org/community/programming/2042.html http://lj.rossia.org/community/programming/1709.html Wed, 17 May 2006 13:33:11 GMT http://lj.rossia.org/community/programming/1709.html Недавно разгребал старые архивы и обнаружил враппер библиотеки <a href="http://www.net-snmp.org/">Net SNMP</a> для OCaml. Интересно, кому-нибудь кроме меня такое может понадобиться? :&gt; <br /><br />/me думает, стоит ли его приводить в порядок (местами оно довольно страшное в духе потока сознания) и выкладывать куда-нибудь. Самому в настоящий момент не надо.<br /><br />P.S. Использование выглядит примерно <a href="http://uzhe.nichego.net/junk/snmpdemoapp.ml">так</a>.<br /><br /><div style="text-align:left"><font size="-2"><a href="http://lj.rossia.org/community/programming/1709.html"><img src="http://lj.rossia.org/numreplies/programming/1709" border=0 width=26 height=17 alt="number of comments" style="border:0px;" /> <strong>Comments</strong></a></font></div> http://lj.rossia.org/community/programming/1709.html http://lj.rossia.org/community/programming/1380.html Fri, 06 Jan 2006 23:17:41 GMT http://lj.rossia.org/community/programming/1380.html Тут в <a href="http://www.livejournal.com/community/ru_lambda/5507.html">http://www.livejournal.com/community/ru_<wbr />lambda/5507.html</a> написана замечательная программа.<br />Я попытался переписать ее на камл, получилось почти буква в букву:<br /><pre> let scanl f i l = let rec aux i = function [] -&gt; [] | x :: xs -&gt; let ir = f i x in ir :: (aux ir xs) in i :: (aux i l) let flip f a b = f b a let rec rmake = function 0 -&gt; [] | n -&gt; n :: (rmake (n - 1)) let lmake n = List.rev (rmake n) let (^) f g x = f (g x) let apply f x = f x (**************) let move (top::xs, ys, zs) = (xs, top::ys, zs) let yz (x,y,z) = (x,z,y) let xz (x,y,z) = (z,y,x) let twist g f = g ^ f ^ g let rec moves = function 0 -&gt; [] | n -&gt; List.map (twist yz) (moves (n - 1)) @ move :: List.map (twist xz) (moves (n - 1)) let hanoi n = scanl (flip apply) ((lmake n), [], []) (moves n) </pre><br />за тем малым исключением, что пришлось написать часть библиотечных функций.<br />Что самое забавное, hugs, который в debian/stable, падает по sigv раньше, что ocaml(top) начинает говорить stack overflow. Желающие могут проверить ocamlopt :-)<br /><br />PS: битик в unboxed values воруется для того что бы всегда можно было знать что это: значение или указатель. Именно из-за этого у камла быстрая арифметика.<br /><br /><div style="text-align:left"><font size="-2"><a href="http://lj.rossia.org/community/programming/1380.html"><img src="http://lj.rossia.org/numreplies/programming/1380" border=0 width=26 height=17 alt="number of comments" style="border:0px;" /> <strong>Comments</strong></a></font></div> http://lj.rossia.org/community/programming/1380.html http://lj.rossia.org/community/programming/1181.html Mon, 12 Dec 2005 12:55:43 GMT http://lj.rossia.org/community/programming/1181.html %subj%<br /><br />Интересует как в scheme производится обработка исключений наиболее распространенным образом? Исключения интересуют, конечно, связанные с внешней средой, типа ошибки при открытии файла (про call/cc я в курсе и он тут никак не поможет). <br /><br />R5RS читал (не очень, впрочем, внимательно), но такого не обнаружил. Google при поиске типа "scheme exception handling" выдает десятки различных вариантов.<br /><br />P.S. Есть о'камловая программа, в которой в качестве языка конфигов используется примитивное подмножество scheme (написанное мною давным-давно за пару дней и даже без tail рекурсии). Думаю заменить свою убогую реализацию на <a href="http://will.iki.fi/software/ocs/">ocs</a> или <a href="http://home.arcor.de/chr_bauer/schoca.html">schoca</a> (скорее всего, на ocs) и вынести часть функциональности в конфиги. Обработку исключений придется, похоже, дописывать самому. Так вот интересует, стоит ли что-то брать за образец или изобретать велосипед самому?<br /><br /><div style="text-align:left"><font size="-2"><a href="http://lj.rossia.org/community/programming/1181.html"><img src="http://lj.rossia.org/numreplies/programming/1181" border=0 width=26 height=17 alt="number of comments" style="border:0px;" /> <strong>Comments</strong></a></font></div> http://lj.rossia.org/community/programming/1181.html http://lj.rossia.org/community/programming/920.html Fri, 18 Nov 2005 09:39:47 GMT http://lj.rossia.org/community/programming/920.html На самом деле идея простая, но красивая. <br /><br />В чем пробелма: с точки зрения статического контроля типов, объект может выступать<br />под любым типом, которому соотвествует его сигнатура (то есть - наличествуют<br />заданные методы и их типы подходят). В месте, где происходит вызов метода, <br />компилятор ничего не знает про тип самого объекта. Он обычно не знает, что такой тип<br />вообще существует.<br /><br />В месте, где создается объект, компилятор как правило ничего не знает о том, что<br />где-то этот объект будет использоваться с конкретной сигнатурой. В отличие от <br />языков, где иерархия основана на наследовании все предки в месте создания объекта<br />известны, O'Caml базируется на отношинее subtyping'a.<br /><br />Понятно, что можно в объекте держать таблицу методов с именами и динамически искать их.<br />Но это как-то не очень. Цикл устраивать. Потому делается так (решение подходит и к реализации<br />записей с subtyping'ом по включению набора полей):<br /><br />Все имена методов нумеруются глобально по всей программе. Это может делать линкер, в<br />O'Caml это делается динамически при запуске программы. Далее в качестве VMT можно использовать<br />таблицу длины n_meth, где n_meth - количество имен методов. В пустующие клетки не записывается <br />ничего, в остальные - адреса функций.<br /><br />Вызов делается просто - по номеру метода берется соотвествующий адрес и вызывается. Статическй<br />контроль гарантирует, что метод с данным именем/номером будет. <br /><br />Идея хороша всем, кроме того, что n_meth может быть довольно большим (напирмер 1000), а заводить для каждого класса<br />(пусть 200 классов) табличку в 1000 слов несколько накладно - даже тут уже получится мегабайт. Это при<br />весьма умеренных n_meth и числе классов. Опять же - понятно, что таблики будут почти пустые.<br /><br />Потому они поджимаются довольно простым методом: для сильно разреженной таблицы с n объектами обычно можно подобрать<br />немного большее число p, такое, что для любого момера k элемента в табличке, k mod p будет однозначно <br />определять k (среди присутсвующих в таблице гнезд). То есть - такое простенькое безконфоликтное хэширование.<br /><br />Далее - в начало таблицы записывается подобранное p, а адреса методов располагаются в позиция по модулю<br />p. Вызов метода соотвественное делается просто - берется остаток от деления номера метода на p из таблицы<br />и вызывается то, что лежит по адресу.<br /><br />Придумал это <a href="http://pauillac.inria.fr/~remy">Didier Rémy</a> в 1992 года:<br /><br /><br /><a href="ftp://ftp.inria.fr/INRIA/Projects/cristal/Didier.Remy/eff-repr-of-ext-records.ps.gz">Efficient Representation of Extensible Records</a>. In Proceedings of the 1992 workshop on ML and its Applications, page 12, San Francisco, USA, June 1992<br /><br /><div style="text-align:left"><font size="-2"><a href="http://lj.rossia.org/community/programming/920.html"><img src="http://lj.rossia.org/numreplies/programming/920" border=0 width=26 height=17 alt="number of comments" style="border:0px;" /> <strong>Comments</strong></a></font></div> http://lj.rossia.org/community/programming/920.html http://lj.rossia.org/community/programming/704.html Mon, 07 Nov 2005 19:48:38 GMT http://lj.rossia.org/community/programming/704.html Объектность там забавная и в каком-то смысле очень оригинальная<br /><br />Во-первых - типизация там, как и везде статическая.<br />Во-вторых - при этом там не наследования в обычном смысле<br />этого слова.<br /><br />То есть: "объектный тип" (АКА class type - типы, которые приписываются<br />значениям объектам) - это сигнатура. То есть - список методов, <br />которые должны быть у объекта + их типы. Ну например - <br /><br /><pre>type p2d = &lt; x : int; y : int &gt; </pre><br /> <br />тип, которому соотвествует любой объект, у которого есть методы x и y,<br />возвращающие int. Соотвественно - естественным путем возникает<br />отношение тип-подтип между объектными типами. Оно и заменяет наследование.<br />Важно не то, как объекты образоывывались, а что они умеют.<br /><br /><br />Более интересный пример (кажется не выразимый ни в одном из статически<br />типизированных языкоа): <br /><br /><pre>type eq = &lt; eq : 'a -&gt; bool &gt; as 'a</pre><br /><br />Тут это тип объекта, у которого есть метод eq, ожидающий получить параметром<br />объект в точности того же самого типа. Понятно, что трехмерная точка<br />будет одноврменно и двумерной, но сравнение на = разнородных точек вряд ли уместно.<br /><br />Наследование, конечно, есть, но это конструкция скорее синтаксическая - <br />вместо использования inherit, можно просто повторить все тоже самое<br />руками. Результат, за исключением тонких нюансов, отличаться не будет:<br /><pre> class p2d (x:int) (y:int) = object (self:'self) method x = x method y = y method eq (a: 'self) = self#x = a#x && self#y = a#y end class p3d (x:int) (y:int) (z:int) = object (self:'self) inherit p2d x y as super method z = z method eq (a: 'self) = super#eq (a :&gt; 'self) && self#z = a#z end class p3d' (x:int) (y:int) (z:int) = object (self:'self) method x = x method y = y method z = z method eq (a: 'self) = self#x = a#x && self#y = a#y && self#z = a#z end let p2 = new p2d 1 2 let p3_1 = new p3d 1 2 3 let p3_2 = new p3d 1 2 3 let _ = Printf.printf "%b\n" (p3_1#eq p3_2) </pre><br /><br />Разницы между p3d и p3d' с точки зрения типов нет никакой. Типы<br />у них идентичны.<br /><br />Обращу внимание,что <pre>p2#eq p3_1</pre> написать нельзя. Будет<br />ошибка типизации.<br /><br />Вот вкратце все.<br /><br />Как это реализуется (а вызов метода делается за константное время), <br />будет в следующем номере.<br /><br /><div style="text-align:left"><font size="-2"><a href="http://lj.rossia.org/community/programming/704.html"><img src="http://lj.rossia.org/numreplies/programming/704" border=0 width=26 height=17 alt="number of comments" style="border:0px;" /> <strong>Comments</strong></a></font></div> http://lj.rossia.org/community/programming/704.html http://lj.rossia.org/community/programming/293.html Tue, 01 Nov 2005 22:33:26 GMT http://lj.rossia.org/community/programming/293.html Представление данных в O'Caml (и вообзще -ML):<br /><br />На самом деле - оно очень красиво. Что самое забавное - на С изобразить <br />это можно, но задолбаешся. Итак:<br /><br />1) никакого RTTI в O'Caml нет. Нет настолько, что сделать downcasting в<br />объектном расширении просто невозможно технически.<br /><br />2) Представление данных там стольже прямолинейно и тупо как в Pascal.<br /><br />3) Что есть - есть следующее:<br /><br />Все <s>типы</s>значения представляются в O'Caml одним словом и делятся на boxed <br />и unboxed. Boxed - это те, которые лежат в куче, а представляются адресом в оной.<br />Unboxed - представляются своим физическим значением, сдвинутым влево на 1 бит и <br />1 в младшем бите. Потому, собственно, int в O'Caml не 31, а 30 битов. <br /><br />Unboxed values - int, char, bool, unit (да - у него есть значение - нолик), <br />и элементы union's (АТД) без "of ...".<br /><br />Boxed - все остальное. Соотвественно как представляются <br /><br />type 'a Tree = E | N of 'a tree * 'a * 'a tree<br /><br />Вариант E - просто 0 (с учетом сдвига и битика - 1)<br />вариант N - адрес блока, в котором лежит три слова - элементы узла.<br />Сам тэг (1) лежат в управляющем слове по смещению -4 от адреса.<br /><br />Вот. Общая идея, надеюсь, понятна. На самом деле вся "информация о типах" в run-time<br />сводится к этому самому младжему битику, который отличает значение от адреса. Более<br />- ничего. Какие-то вещи (вроде сериализации или полиморфного сравнения) на этом<br />сделать можно. Но вообще-то мало что можно.<br /><br /><div style="text-align:left"><font size="-2"><a href="http://lj.rossia.org/community/programming/293.html"><img src="http://lj.rossia.org/numreplies/programming/293" border=0 width=26 height=17 alt="number of comments" style="border:0px;" /> <strong>Comments</strong></a></font></div> http://lj.rossia.org/community/programming/293.html