Arc Forumnew | comments | leaders | submit | mayson's commentslogin
2 points by mayson 5813 days ago | link | parent | on: Idioms for programming in Arc

He hasn't posted on his own blog, either, so he may be doing something entirely different, like travelling: he gave a talk recently at the European Common Lisp Meeting (ECLM) in Amsterdam.

-----

2 points by lojic 5813 days ago | link

Traveling for 42 days? :) Nope. He's still active on c.l.l., and he's been pretty clear regarding his views on Arc.

-----

2 points by mayson 5844 days ago | link | parent | on: On Design & Research

I have to say, that while the syllogism is correct, the conclusion "no language that makes type declarations mandatory could be convenient to program in" is invalid, because mandatory type declaration is not incompatible with a toplevel.

How can I say this? Because in the language environment that I am currently programming in (AOS - the Active Oberon System) I can type:

  M:M[splat] <-- splat is a keychord, in my case Cmd-Shift-X
and the following code appears:

  MODULE M;

    (* PACO.Compile M.Mod; System.Free M; M.Do ~ *) <-- click at the start - type Cmd-Enter, and the sequence of commands gets run, with output to the system console.

    PROCEDURE Do ();
      VAR
      BEGIN
        (* code goes here *)
        END Do;

    BEGIN
      (* code goes here *)
      END;
with the cursor positioned at the first code entry position, and when a little code is written, execution is a click-splat away. Macro execution at code-writing time is almost as powerful as macro execution at compile time, and dynamic execution of polymorphic statically typed code is about as powerful as dynamic execution of polymorphic dynamically typed code.

Did I mention that I'm about to make the (perhaps inanely or insanely hubristic) experiment of seeing how hard it eill be to implement Arc in AOS? Should be a fun learning experience.

-----


Re: Psyco you might like to take a look at <a href=http://www.sagemath.org/doc/html/prog/node35.html>Why Cython is the best available option for Sage</a> perhaps something like Cython's cdef and cpdef might be possible in Arc.

-----


Oberon - specifically the Component Pascal dialect.

-----

1 point by mayson 5857 days ago | link | parent | on: Moved Anarki to GitHub

I too would appreciate an invite. maysonl@gmail.com

-----

1 point by wfarr 5857 days ago | link

Done.

-----

2 points by mayson 5901 days ago | link | parent | on: Clarification about Character Sets

Re my previous:

arc> (prn "u") u "u" arc> . Those u's all have umlauts, until the blog software gets hold of them.

-----

8 points by nathanpbell 5901 days ago | link

And the blogging software is written in Arc. QED. ;o)

-----

1 point by mayson 5901 days ago | link | parent | on: Clarification about Character Sets

Has anyone else tried to use Unicode character in Arc?

arc> (prn "u") u "u" arc> .

QED!

-----

2 points by mayson 5901 days ago | link | parent | on: I hereby propose...

Arcanist

Arcitech

Arcite(chi) [a real reason for Unicode]

-----


>>"asdfa"[4..-3] ??? "asdfa"[9 -20] ?? "asdfa"[0..-0] ??

either "" or an error (-0 doesn't strike me as very nice syntax, reverse indexing should probably start w -1)

-----