gmane.lisp.qi

Re: some array functions

Mark Tarver — 2013-05-22T10:33:27

Its in github coded by Eric, but not in standard lib.  Mainly when you
need a missing list function you can either look for it in lib or
write 3 lines of code.  Mostly I just write the code.  I think if we
had an IDE which allowed people to find this stuff it would encourage
use.  But I expect most people would still roll their own.

Mark

On 21 May, 16:38, Jacob <submissionfight...-KK0ffGbhmjU< at >public.gmane.org> wrote:

Shen under Python downloads are up

Mark Tarver — 2013-05-22T09:06:45

Both the Python ports are now on the download page.

http://www.shenlanguage.org/Download/download.html

Mark

Re: can do?

Mark Tarver — 2013-05-22T08:50:37

Not only can do, but can do superbly.   My second book 'The
Specification of Programming Languages' is precisely about using Shen
as a metalanguage to describe and formally prove properties of other
languages.

A lot of my time is divided right now.  I've embarked on a regime of
intensive qigong, yoga meditation and exercise to build the body to
the state of efficiency I need.   Four hours a day goes into this.  On
top of that we have an expanded second edition of TBoS with an
improved presentation and more examples.  A program is under
development for generating standalones from all these ports.  Some
videos will appear on Shen.   I've also got on the backburner the SECD-

Somebody kindly provided 'Lisp in Small Pieces' to the project and
asked me to review the book.  I passed it to Willi who codes in C.  My
impressions were that it was very comprehensive and I need to take
time to look at it.  I'll review it here when I do.

Mark

On 22 May, 00:25, Raoul Duke <rao...-Re5JQEeQqe8AvxtiuMwx3w< at >public.gmane.org

can do?

Raoul Duke — 2013-05-21T23:25:07

http://stackoverflow.com/questions/3037643/typed-metaprogramming-languages

Re: some array functions

Jacob — 2013-05-21T15:38:58

There is a standard lib that has such fns. 

On Tuesday, May 21, 2013 4:17:00 AM UTC-4, newbie wrote:

some array functions

newbie — 2013-05-21T08:17:00

(define it0
     N -> (it N []))

(define it 
    0 L -> L
    N L -> (it (- N 1) (cons (- N 1) L)))


(define timesL
   _ [] -> []
   [X|Y] [P|Q] -> (cons (* X P) (timesL Y Q)))

(define addL
   _ [] -> []
   [X|Y] [P|Q] -> (cons (+ X P) (addL Y Q)))


(define add0
    [] N -> N
   [X|Y] N -> (add0 Y (+ N X)))

(define adds
     L -> (add0 L 0))

(define take
   0 _ -> []
   N [X|Y] -> [X|(take (- N 1) Y)])

(define drop
      0 L -> L
    N [X|Y] -> (drop (- N 1) Y))

(define fromto 
    N M L -> (take (- M N) (drop N L)))

(define abs
   N -> (* N -1) where (< N 0)
   N -> N)

(define dropflast
   N L -> (take (- (length L) (abs N)) L))

(define droplast
      [] -> []
     [A] -> A
   [X|Y] -> (if (not (= (tail Y) [])) (droplast Y) (head Y)))

(define from
   0 L -> (head L)
   N [X|Y] -> (from (- N 1) Y))

(define fromp
   [] _ -> []
   [X|Y] L ->  (cons (from X L) (fromp Y L)))

(define amend
    N M L -> (append (take N L) (cons M (drop (+ N 1) L))))

(define tie
        _ 0 -> []
        L N -> (appe

Re: wish i could code this up in shen some day as a nice demo

W. Yang — 2013-05-20T02:09:52

(define f 
     M N L -> (- (M N L)
                 (- (* (M N L) (M (+ N 1) L))
                    (* (M N L) (M (- N 1) L)))))

(define st
      _ [] -> []
      N L -> (if (< (- (length L) N) 3) (st _ [])
              (cons (msten N L) (st (+ N 1) L)))) 
(define sten 
      N L -> (f from N L))

(define msten
      N L -> (f sten N L))

(define st0
      L -> (st 2 L))

(define m
       L 0 -> L
       L M -> (m (st0 L) (- M 1)))

(define addto
   N L -> (map (/. X (+ N X)) L))

(define timesto
   N L -> (map (/. X (* N X)) L))

(define from
   0 L -> (head L)
   N [X|Y] -> (from (- N 1) Y))

(define it0
     N -> (it N []))

(define it 
    0 L -> L
    N L -> (it (- N 1) (cons (- N 1) L)))

(define q1 -> (addto 1.0 (timesto 0.1 (it0 20))))

\* (m (q1) 3) *\

Re: wish i could code this up in shen some day as a nice demo

W. Yang — 2013-05-19T16:58:38


On Thursday, May 16, 2013 11:10:56 AM UTC-7, raould wrote:


 (define sten
      N L -> (- (from N L)
                 (- (* (from N L) (from (+ N 1) L))
                    (* (from N L) (from (- N 1) L)))))

(define st
      _ [] -> []
      N L -> (if (< (- (length L) N) 3) (st _ [])
              (cons (- (sten N L)
                       (- (* (sten N L) (sten (+ N 1) L))
                          (* (sten N L) (sten (- N 1) L))))
                                              (st (+ N 1) L))))
(define st0
      L -> (st 2 L))

(define m
       L 0 -> L
       L M -> (m (st0 L) (- M 1)))

(define addto
   N L -> (map (/. X (+ N X)) L))

(define timesto
   N L -> (map (/. X (* N X)) L))

(define from
   0 L -> (head L)
   N [X|Y] -> (from (- N 1) Y))

(define it0
     N -> (it N []))

(define it 
    0 L -> L
    N L -> (it (- N 1) (cons (- N 1) L)))

(define q1 -> (addto 1.0 (timesto 0.1 (it0 20))))

\* (m (q1) 3) *\

Re: how to do native calls in shen-js

Ramil Farkhshatov — 2013-05-17T05:05:37


You have to define a wrapper first:

    // a sample of wrapper for 3-place function
    Shen.mkfunction("some-func", 3, function f(args) {
      if (args.length < 3) return [Shen.type_func, f, 3, args]
      return some_func(args[0], args[1], args[2])
    })

You can put all required wrappers in a file which you can load from Shen by:

    (shenjs.load "wrappers.js")

Bug fix release for shen-on-java

2013-05-17T03:34:44

The bug reported here:
https://groups.google.com/d/msg/qilang/mxcG2TNTTv0/IfrT9i2mID8J

Has been fixed and a new release uploaded.

how to do native calls in shen-js

Răzvan Rotaru — 2013-05-16T20:52:54

Hi,

How can I call a native JS function from shen-js?

Răzvan

wish i could code this up in shen some day as a nice demo

Raoul Duke — 2013-05-16T18:10:56

http://okmij.org/ftp/meta-programming/HPC.html#stencil
care of
http://lambda-the-ultimate.org/node/4739

Re: First release of PyShen - a port of Shen in Python

Mark Tarver — 2013-05-16T11:34:06

Congrats;  I'll put this and the other addition by Ramil on download.

Mark

On May 14, 9:15 pm, Matthieu Lagacherie
<matthieu.lagache...-Re5JQEeQqe8AvxtiuMwx3w< at >public.gmane.org> wrote:

First release of PyShen - a port of Shen in Python

Matthieu Lagacherie — 2013-05-14T20:15:11

Hello,

I'm pleased to announce that we have released a new port of Shen in pure 
Python. This port supports Shen version 11 and it passes the Shen test 
suite. 

The implementation of the parser and compiler follows the ShenRuby port of 
Greg Spurrier. The compiler generates directly Python bytecode with the 
Python AST module.

The source code is available on GitHub at https://github.com/yminer/pyshen . 
With Python installed you can launch the repl with:

$ python
Shen 2010, copyright (C) 2010 Mark Tarver
released under the Shen license
www.shenlanguage.org, version 11
running under Python, implementation: pyshen
port 0.135 ported by Matthieu Lagacherie and Yannick Drant

(0-)

Any questions, bug reports, and other feedback on this release are welcomed.

Regards,

Matthieu

Re: Shen wiki

Răzvan Rotaru — 2013-05-14T14:57:34

I'd suggest to put a link to the wiki on the main site.

Răzvan

joi, 14 martie 2013, 13:21:18 UTC+2, Mark Tarver a scris:

Re: Finding the type signature of a function

Bruno Deferrari — 2013-05-14T14:49:17

Hi Artella. The `shen-` prefix has changed to `shen.` in Shen9, if you
change that the code should work in the Chibi and Ruby ports:

Shen 2010, copyright (C) 2010 Mark Tarver
released under the Shen license
www.shenlanguage.org, version 10
running under Scheme, implementation: chibi-scheme
port 0.5 ported by Bruno Deferrari


(0-) (shen.variant? (shen.typecheck print B) [A --> A])
true

(1-) (element? print (value shen.*signedfuncs*))
true


On Mon, May 13, 2013 at 7:23 PM, Artella Coding
<artella.coding-gM/Ye1E23mwN+BqQ9rBEUg< at >public.gmane.org> wrote:

development setup for running in the browser

Răzvan Rotaru — 2013-05-14T14:03:46

Hi,

I recently discovered Shen and intend to play with the Javascript version. 
I'm interested in GUI stuff in the browser, and I need a setup that makes 
development quick and easy. I wish for a REPL, but I can also live with 
edit & refresh page. Here are my questions:

1/ what editor do you recommend? are there extensions for shen in one of 
the popular editor? (emacs mode, vim plugin, etc.)
2/ Is there a way to have a REPL in the browser? (i.e. edit with the 
editor, evaluate and display results in the browser)
3/ In order to have the second setup (edit & refresh page), I need a way to 
automatically compile to javascript when I refresh the page. Has anybody 
already done this (or something similar)?

Any other suggestions are very welcome. Thanks.

Răzvan Rotaru

Re: Finding the type signature of a function

Artella Coding — 2013-05-13T22:23:56

Hi jpd, thanks. I only managed to get this to work on Joel's java port (
https://www.assembla.com/code/shen-on-java/git/nodes), for which I got : 

Shen 2010, copyright (C) 2010 Mark Tarver
www.shenlanguage.org, version 7
running under Java, implementation: Shen on Java
port 0.7.2 ported by Joel Shellman

(0-) (shen-variant? (shen-typecheck print B) [A --> A])
true

(1-) (element? print (value shen-*signedfuncs*))
true



When I tried on the latest Ruby port (
https://github.com/gregspurrier/shen-ruby) I got : 

Shen 2010, copyright (C) 2010 Mark Tarver
released under the Shen license
www.shenlanguage.org, version 11
running under Ruby, implementation: ruby 1.9.3
port 0.5.0 ported by Greg Spurrier


(0-) (shen-variant? (shen-typecheck print B) [A --> A])
The function shen-typecheck is undefined

(1-)  (element? print (value shen-*signedfuncs*))
variable shen-*signedfuncs* has no value


When I tried on the Chibi Shen port (https://github.com/tizoc/chibi-shen) I 
got : 

Shen 2010, copyright (C) 2010 Mark Tar

Re: Shen-py

Artella Coding — 2013-05-13T22:41:49

Hi, I tried the commands jpd suggested in 
https://groups.google.com/forum/#!msg/qilang/w1JpNPfTc08/KX87ZFS6AFcJ but 
they did not work in this new port. They also did not work in the 
ChibiScheme port and the Ruby port, but they did work in Joel's java port. 
Thanks.

Re: chibi-scheme port of Shen on Github

Artella Coding — 2013-05-13T22:45:35

Hi, I tried the commands jpd suggested in 
https://groups.google.com/forum/#!msg/qilang/w1JpNPfTc08/KX87ZFS6AFcJ but 
they did not work. I got the following : 

Shen 2010, copyright (C) 2010 Mark Tarver
released under the Shen license
www.shenlanguage.org, version 11
running under Scheme, implementation: chibi-scheme
port 0.5 ported by Bruno Deferrari

(0-) (shen-variant? (shen-typecheck print B) [A --> A])
undefined variable: (shen-variant?)

(1-) (element? print (value shen-*signedfuncs*))
variable has no value:: (shen-*signedfuncs*)

Re: Shen-py

Ramil Farkhshatov — 2013-05-14T05:28:49


Works for me after I replaced `shen-` with `shen.`:

    Shen 2010, copyright (C) 2010 Mark Tarver
    released under the Shen license
    www.shenlanguage.org, version 10
    running under python, implementation: all
    port 0.0.1 ported by Ramil Farkhshatov


    (0-) (shen.variant? (shen.typecheck print B) [A --> A])
    true

    (1-) (element? print (value shen.*signedfuncs*))
    true