r3wp [groups: 83 posts: 189283]
  • Home
  • Script library
  • AltME Archive
  • Mailing list
  • Articles Index
  • Site search
 

World: r3wp

[Core] Discuss core issues

Geomol
6-Jun-2011
[1630]
>> s: [1 2 3]
== [1 2 3]
>> t: tail s
== []
>> index? t
== 4
>> remove/part s 2
== [3]
>> index? t
== 2
BrianH
6-Jun-2011
[1631]
Never mind, INDEX? just sucks in R2 with out-of-bounds refs. That 
is part of what we tried to fix in R3.
Ladislav
7-Jun-2011
[1632x3]
Regarding the "comparison is meaningless", or "SORT doesn't have 
that luxury though, because it is designed to not fail" philosophical 
arguments. They, in fact, are not valid at all. The facts are different.


* For large lists which are frequently searched it *is* useful to 
have them sorted. 

** The reason is, that it is much easier to perform searches in a 
sorted list, than in an unsorted list.

** The "meaning" of the sort order is to facilitate searches, no 
other meaning is needed. (it is like the zero case, the meaning of 
zero is to facilitate the positional representations of numbers, 
no other "meaning" is needed)

* The whole "sorted list business" needs comparison functions (for 
searching, etc.)


The above "meaning" is one meaning comparisons do have. It suffices 
to prove, that comparisons are not "meaningless". (for that it would 
be absolutely necessary, that we can find no meaning at all)
It shouldn't be possible to order pairs, like complex numbers.

 - the set theory uses the axiom, that can be formulated so, that 
 it should be possible to sort any set so, that it becomes well ordered. 
 Of course, it is useful to have even partial order, like the one 
 you mentioned, but nobody said it was the only ordering possible.
The only thing not possible is to sort the complex numbers so, that 
the ordering is in some useful way "compatible" with arithmetic operators.
Pekr
7-Jun-2011
[1635]
The problem of SORT, which I am not sure we are able to address, 
is the Unicode-aware sort ...
Ladislav
7-Jun-2011
[1636]
Individual nations have individual collating sequences - norms prescribing 
how strings shall be ordered. Thus, "Unicode-aware sort" is something 
like a unicorn.
Henrik
7-Jun-2011
[1637]
It definitely makes sense to me to expose SORT's basic grouping or 
sorting mechanism, so you can build your own sorter around its logic. 
I'm not sure I care about what datatypes come first or which order 
the "meaningless values" come in, just as long as it's consistent 
with SORT.
Andreas
7-Jun-2011
[1638x2]
You can just use SORT to access SORT's sorting mechanism, no?
(Obvious performance implications left aside.)
BrianH
7-Jun-2011
[1640x3]
Ladislav, you are arguing that those comparisons have *use*, not 
*meaning*. They definitely have *use* in SORT, mostly as placeholders 
and fallbacks, so that SORT can be used as you describe above on 
heterogeneous data. But that doesn't mean that those comparisons 
have meaning.
SORT needs there to be an ordering between pieces of data in order 
to sort them. Whether or not that ordering has meaning, SORT needs 
it to exist because it need to use it. So in the cases where there 
is no ordering that has meaning, SORT uses ordering methods that 
don't have meaning. They are useful, but not meaningful.
SORT itself is useful for the reasons you give above.
Ladislav
8-Jun-2011
[1643x3]
They definitely have *use* in SORT

- as far as I am concerned, I find it "meaningful" to implement a 
feature of the language that is "useful" (but that may be just me)

But there are much more important issues:


* the users shall be able to use their own sorting functions applying 
useful comparison operators (SORT has known issues)

* the users shall be able to utilize the advantages of having the 
data sorted, which, again, is possible if the compatible comparison 
functions are available
Regarding the "meaning" of ordering. If we examine some of the orderings 
you eventually might find "meaningful" we can come to the conclusion 
that they are not the only alternatives possible, and thus are actually 
"meaningless" as well in that respect. To support the "most meaningful" 
ordering for the specific data SORT supports the /COMPARE refinement, 
which proves the point, that even the ordering one user finds "meaningful" 
may lack "meaning" for another.
For example, I bet that the order REBOL uses for strings currently 
is "meaningless" for Pekr, who would prefer something more "meaningful".
james_nak
8-Jun-2011
[1646]
Is there a way to retrieve the name of an object that is referenced 
by another word?
layout  [ a_field: field [ ]  ]
b:  a_field
....
What I want is to somehow get "a_field" given b.
Ladislav
8-Jun-2011
[1647]
Is there a way to retrieve the name of an object that is referenced 
by another word?

 - only if you provide some (keep track of such things in your program)
james_nak
8-Jun-2011
[1648]
Is that right. I would think that it is stored somewhere in the system.
Ladislav
8-Jun-2011
[1649x2]
for example, it is quite common to do something like:

a: make object! [name: 'a]
You can even define a function doing that for you.
james_nak
8-Jun-2011
[1651]
Yes, I see that. I'll just go that route then. Thanks Ladislav.
Cyphre
8-Jun-2011
[1652]
James, in th case of LAYOUT dialect you can get the name this way:

>> b/var
== a_field
>> type? get b/var
== object!

etc.
james_nak
8-Jun-2011
[1653]
Cyphre, thanks a milion!
Gregg
8-Jun-2011
[1654x4]
This is about the HTTP scheme, but I can't find a group for R2 schemes.


Does anyone have a patch for the HTTP scheme that handles 204 (No 
Content) responses where no headers are returned? The standard scheme 
throws an error as there are no headers to parse. Here is the 'success 
case handler:

        success: [
            headers: make string! 500

            while [(line: pick port/sub-port 1) <> ""] [append headers join line 
            "^/"]

            port/locals/headers: headers: Parse-Header HTTP-Header headers
            port/size: 0

            if querying [if headers/Content-Length [port/size: load headers/Content-Length]]

            if error? try [port/date: parse-header-date headers/Last-Modified] 
            [port/date: none]

            port/status: 'file
    ]


For anyone familiar with the scheme, would the proper behavior be 
to set all related 'port fields to zero or none? e.g.

            port/locals/headers: headers: none
            port/size: 0
            port/date: none
            port/status: none
And should it only do that in case of a 204? It's not clear if a 
304 response may also be affected.
RFC2616 says 304 MUST inlcude a date field.
If it's just 204, it looks like the cleanest solution would be to 
add a success-204 response action block.
Oldes
9-Jun-2011
[1658x4]
The main problem with R2's HTTP scheme is, that it does not provide 
response-code even in cases where it should, like:

port: open/direct some-url


Without available response-code you have no chance to differentiate 
responses like 204 or 205 which has special meaning =

http://benramsey.com/archives/http-status-204-no-content-and-205-reset-content/
I think the most practical solution is to provide response-code in 
port/locals and return none for 204 and 205.
I suppose that server should provide date on 304 response, not client.
Also when you are using just:

new-content: read url-with-no-content-response


using error chatching and parsing the error message should be enough.
Gregg
9-Jun-2011
[1662]
Thanks Oldes. I can handle it simply for now, and maybe this can 
be addressed more thoroughly in R3.
Geomol
9-Jun-2011
[1663]
Tonight's Moment of REBOL Zen:

>> same? :empty? :tail?
== true

Wouldn't it be better to define EMPTY? as:

	empty?: func [
		series
	][
		tail? head series
	]
Endo
10-Jun-2011
[1664]
They are different and not backward compatible.
>> b: [1 2 3]
== [1 2 3]
>> c: skip b 3
== []
>> empty? b
== false
>> empty? c
== true
; c references to b, b is not empty, but c is.
Oldes
13-Jun-2011
[1665x2]
in R3:
>> same? :empty? :tail?
== false
but the result is same.. for me it's fine as it is.
BrianH
14-Jun-2011
[1667]
On R3, TAIL? is a redefinition of EMPTY? with fewer supported types. 
Internally they are the same function code. This was done in order 
to have one version that is more flexible, and another that triggers 
useful errors.
amacleod
15-Jun-2011
[1668x2]
Getting an error when sending bulk email: 

** User Error: Server error: tcp 501 <>: missing or malformed local 
part
** Near: insert smtp-port reduce [from address message]

The number of email addresses is 52. 

I can send using the same settings one at a time and I have succeeded 
sending  8 addresses at one time. But it bombs on my whole list.
Found a bad address thats probably the problem....
Endo
15-Jun-2011
[1670]
Did you try send/only ?
Henrik
8-Jul-2011
[1671x2]
Has anybody built a binary diff/patch function set?
If I want to store some fairly big data as undo information, it seems 
to make sense to store it as a diff, and load the data that I want 
to undo/redo to. Then it would also be possible to store the entire 
changes sequence to disk.
Gabriele
8-Jul-2011
[1673x2]
binary diff can be expensive - if you control the application that 
modifies the data, can you log the changes instead?
if not, you probably want something like this: http://publications.cse.iitm.ac.in/734/
Gregg
8-Jul-2011
[1675x3]
I did some a long time ago Henrik. It isn't fast enough to work on 
data of any size though. I can dig it out if you're interested. Can't 
remember what state of completion it's in.
Any *significant* size that is.
It's also high space complexity.
Henrik
8-Jul-2011
[1678]
The biggest object here is around 4 MB or 550 kb compressed. I expect 
that binary diff would only be used during load and save, and then 
keep full objects in memory.
Gregg
8-Jul-2011
[1679]
Mine will be way too slow for that.