« first day (2100 days earlier)      last day (1680 days later) » 

12:26 AM
I'm going to be visiting Atronix on Wednesday, and am making some slides. Going over the points I want to raise...with bits of code from R3-Alpha and contrasting in Ren-C..is reminding me just how far Ren-C has come.
3
But I do think that there should be some push back on the verbosity, with a kind of "less is more" regarding comments, and maybe even leaning back to styles of coding that I tried using less of. e.g. R3-Alpha had a lot of:
if (condition) thing1;
else thing2;
thing3;
thing4;
And I tended to feel that obscured matters, compared to:
if (condition)
   thing1;
else
   thing2;

thing3;
thing4;
But especially so as it often crunched the space available to add comments. But there should be a reduction of the comments as they are encoded as policy or better names, or GitHub issues, or the underlying issue it felt the need to go on about addressed. And when that happens, maybe the former style should make somewhat of a comeback.
I'll say that one thing programming in Rebol has made me feel is that one gains less by having hard rules about such things than looking at what serves the communicative intent in the particular piece of code you're writing. So "deep lake" except applied to C, basically.
 
 
5 hours later…
6:00 AM
Small note to Red regarding the "F" reimagination of the icon, Flipboard and some others are in that space.
I'd suggest sticking to the Red logo plan, as suggested, as the F thing is a stretch and you don't want to dilute. Just use the same logo again. You don't need an F.
I'm referring to this:
Funny as that is the inverse of the ultimately-rejected "E". As @pekr may recall, it wasn't that good.
I don't see why the logo as it is couldn't be a logo for a "Full Stack Technologies", I think it stands on its own merit.
@rchris Short Skype note sent.
 
 
10 hours later…
4:18 PM
posted on July 31, 2016 by TheLazyProgrammer

[Reddit] Red by Example: A website providing example code of Red Programming Language

 
 
6 hours later…
10:48 PM
I have an idea which might belong in the "so crazy it just might work" department. What if a function made with MAKE FUNCTION! does not type check, and the type checking is also part of the generator? It's already the case that's how return type checking is modeled...why not arguments too?
That might sound "academic" but it actually is not.
It relieves a fair amount of pressure on the canon representation of typesets and things like that by saying that the "interface" (as it were) to type checking isn't some strange construction syntax that MAKE FUNCTION! speaks, but some nicer-looking Rebol code.
 
11:32 PM
The obvious downside there is that meta-code would not have a guarantee at a system level that for each argument it could get a typeset back. A protocol could exist for functions that offered this information, but when you "cop out" (as @MarkI might say) of committing to it as a standard then it can't be taken for granted. But in the scheme of things, how important is the assurance that you can a-priori ask a function what types of arguments it takes?
It's not functional programming, there aren't guarantees, the first line of the function could do something like foo: func [x [string! integer!]] [append x "blah"]. It might say it takes an integer, but it doesn't actually. Red might be able to do something about that, maybe, but Rebol cannot.
Doesn't Red do some static type checking on that kind of thing already?
 
11:47 PM
I guess what I'm saying here, through a certain line of reasoning, is that type information is already essentially "optional"--you may have it, you may not. It's no guarantee of anything. So if it lives in the META-OF (which is where the help strings and such live in Ren-C) and you might not have any types for a function, how drastic is this really?
You lose basically nothing. Because you just fall back on the same default you would anyway...to assume arguments could take on any type and fail when you pass it something that it decides it doesn't like.
 
doesn't seem like there's anyone here atm who can answer this... although i have a (possibly/likely) stupid question that I'd like to ask about functions and types.
 
@Edoc There are no stupid questions... just stupid people. :-P Nah, what's the question?
 
I have this dialect that i'm working on, and in it, I like for users to be able to write (made up example) "Find email! in string!" where the interpreter, when it encounters this, knows to ASK the user for this input on the fly.
 
I actually wondered if ??? would be a good notation for a "fill in the code here", e.g. when that was hit it would ask and you could plug in the code to run at that point in the evaluator
 
And your idea reminded me of this... I was wondering if it were possible to have a value for a type which is a "query-type" which allows the expression to ask for the input at runtime.
it's easy enough to do in a dialect with some code, but i was thinking about support for something like this in the base language.
 
11:59 PM
Hmm. Well... how do you differentiate the idea of a function with 3 arguments, one of which is a query type, from one with 2 arguments that queries for the type?
 
in the CLI it could 'ask, in a GUI it could prompt, in CGI or ports it could expect another format
 
How does the invocation differ?
 

« first day (2100 days earlier)      last day (1680 days later) »