gmane.lisp.qi

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

can do?

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

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

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 -> (append L (tie L (- N 1))))

(define makearray1
       0 N L -> (append (reverse N) [L])
       M N L -> (if (< M (length L)) (makearray1 M (cons (take M L) N) 
(drop M L))
                  (makearray1 0 N L)))
                     
(define makearray
        M L -> (makearray1 M [] L))

(define k -> (makearray 10 (makearray 10 (it0 200))))

(define q -> (tie (k) 5)) 

(define r -> (tie (q) 3)) 


\* (it0 20) *\

\* (addL (it0 20) (it0 20)) *\

\* (adds (it0 100)) *\

\* (take 5 (it0 20)) *\

\* (drop 5 (it0 20)) *\

\* (fromto 5 10 (it0 20)) *\

\* (dropflast 2 (it0 10)) *\

\* (droplast (it0 10)) *\

\* (fromp [2 3 1] [a b c d e]) *\

\* (amend 2 a [1 2 3 4]) *\

\* (makearray 5 (it0 20)) *\

\* (k) *\

\* (q) *\

\* (r) *\

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

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

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

Shen Ruby - making "wrapped ruby functions" available from within the shen repl

Artella Coding — 2013-05-12T16:57:01

Hi Greg, 

As you specified on the webpage https://github.com/gregspurrier/shen-ruby the 
shen environment can be extended with functions written in Ruby. This 
functionality turned out to be quite useful. For example in "Ruby Program 
2" in https://groups.google.com/forum/#!msg/qilang/aOdyQQJYR5w/3Ep-K7k37ZUJ I 
used the Ruby modulo function in a Shen program in order to achieve 
speedup. In the example in 
https://groups.google.com/forum/#!msg/qilang/lFWmNMQydD0/thpnLIrvA_MJ I 
used the Ruby "rand" function from within Shen (since Shen does not have 
its own random number generator).

My question is whether it is possible to use the wrapped Ruby functions 
from within the srrepl? If not, would it be possible to allow these wrapped 
functions to be accessible from within the Repl, please? Thanks.

Finding the type signature of a function

Artella Coding — 2013-05-12T15:23:37

Hi, how do I find the type signature of a function? I was looking to find 
out what the type signature of the "print" function was. Thanks.

random numbers in shen

dani — 2013-05-11T19:55:02

Hi all,

I'm new to shen. How can I generate random numbers?

Thanks!

Function descriptions in Shen (a simple macro)

Racket Noob — 2013-05-11T18:24:07

Just playing a little with Shen and defined a macro that allow us to
define function with textual description (something similar to Common
Lisp an Python).

The macro is here: http://pastebin.com/dLJW5Rrr

While the macro does what I want, I'm still little unhappy with this
triple cons in line 15. I know there must be some more elegant way to
express this, but cannot find it.
Any help?

Racket Noob

Programs in TBOS & function subst

Racket Noob — 2013-05-11T12:46:47

I apologize for bothering you, but I can't find the programs from TBoS
on Shen website.The book says: "All the programs in this book are
available from the Shen web site and they are cited with a (*)
indicating the path to the relevant program", but I cannot find the
link.

Second, on the page 151 of TBoS, in the body of function replace-anon-
calls, there's a call to the function subst. subst isn't listed
nowhere in the book nor in Appendix A , but Shen still "recognizes"
subst. No description of subst anywhere in the book.

Shen 11

Mark Tarver — 2013-05-11T07:18:08

Shen 11 is up; the missing Native directory bug reported by deech is
fixed.  This version includes the facility to generate type
annotations in the KL code.

Documentation is here.

http://www.shenlanguage.org/Documentation/shendoc.htm#Type
declarations

Mark

Official libraries in shen-libs.

Ramil Farkhshatov — 2013-05-10T09:04:29

Hello.

Official libraries[1] are now in shen-libs[2] with added modulesys[3]
support. That means if your Shen environment is modulesys aware then you
can load those libraries by direct `use-modules` call

    (use-modules [maths strings calendar])

or via dependencies mechanism:

    \* in Your-library/module.shen *\
    (register-module [[name: Your-library]
                      [depends: maths calendar vectors-mt]    \\ <----
                      [load: "your-library-1.shen"
                             "your-library-2.shen"]])

Note: There is already `vectors` library in [2] so `vectors` from [1] is
      renamed to `vectors-mt`.

1. http://shenlanguage.org/library.html
2. https://github.com/vasil-sd/shen-libs
3. https://github.com/vasil-sd/shen-libs/wiki/Modules

the type 'sleeping gene' is woken up in version 11

Mark Tarver — 2013-05-09T21:48:46

When Shen was first issued I included a primitive 'type' that gave the
type of an argument.

http://www.shenlanguage.org/Documentation/shendoc.htm#Type
declarations

This was a 'sleeping gene' in Shen - I intended to make use of it
later in the development and the later has come about in the fullness
of time.

In version 11 I've linked this to the type checker so that these
declarations are inserted into the KL on the basis of the results of
the type checker.

I'll spell out how this can be used in the upgrade to Shendoc, but
basically all I want to say here is that *whether* this information is
utilised to improve performance is at the discretion of the porter.

Mark

Standalone Shen?

Nobody — 2013-05-04T18:12:09

Are there any plans to allow Shen to compile and execute its own code, 
instead of having to piggyback off of other languages?

Slides from my Shen talk

deech — 2013-05-03T12:55:09

Hi all,
I presented on Shen at a local user group [1] here in St. Louis. To support 
the talk I wrote a toy concurrent vending machine [2] to go along with the 
slides [3]. Shen was generally well received.
Thanks!
[1] lambdalounge.org
[2] https://github.com/deech/ShenVendingMachine
[3] 
https://github.com/deech/ShenVendingMachine/blob/master/Talk.pdf?raw=true

include-all-but bug

deech — 2013-05-03T13:01:35

`include-all-but` doesn't seem to work correctly:
(datatype as
  __________
  a : blah-a;)
(datatype bs
  __________
  b : blah-b;)
(datatype cs
  ___________
  c : blah-c;)

(16-) type#as
type#bs
type#cs

run time: 0.03200000151991844 secs
loaded

(17-) (include-all-but [type#as])
[type#cs type#bs type#as]

Thanks!
-deech

Issue with double underline sequence

deech — 2013-04-30T18:09:47

Hi all,
I want to type a global variable with one type and use it as another. 
Here's an example:

(tc -)
(set *test* [1 2 3])

(tc +)

(datatype numbers
  
   _______________
   (value *test*) : numbers

   X : (list number)
   =============
   X : numbers
)


Here I'm saying that the global variable *test* is of type `numbers`, and 
that if something can be shown to be of type `numbers` replace that with 
the assumption that it is also of type `(list number)`. However this 
doesn't work:

(1 +) (value *test*)
[ 1 2 3 ] : numbers

(2 +) (head (value *test*))
type error

However flipping the premise and conclusion seems to make it work, so if I 
replace the second sequent with:

X : numbers
==========
X : (list numbers)

(1 +) (value *test*)
[1 2 3] : numbers

(2 +) (head (value *test*))
1 : number


Am I thinking about this wrong? I thought the double underline meant that 
premise and conclusion were interchangeable.

Thanks!
-deech

Shen-py

Ramil Farkhshatov — 2013-04-29T18:32:58

Hello.

I've just released Python version of Shen[1] which is a showcase of my
KLVM translator. In current state Shen-py is huge and unbearably slow.
Also keep in mind that I haven't written Python before. But it seems to
work.

Running
-------
Go to directory where `shen.py` is and type

    python -m shen

If you imported shen module from Python repl you can start Shen repl via

    shen.repl()

Python integration
------------------
To define a Shen function from Python use shen.defun construct:

    shen.defun("plus", 2, lambda: shen.reg[1] + shen.reg[2])

where first argument is the function's name, second is the number of
arguments, and third is a function that takes zero arguments. In that
function passed arguments are accessed via shen.reg array.

To load Python file from Shen use `shenpy.load` function.

About KLVM Translator
---------------------
It translates KL to a some VM language suitable for further translation
to target languages. It takes care of
  - TCO,
  - lambdas,
  - closures,
  - exception handling,
  - partial application.

So it needs just GC, vectors, function pointers and eval (till I finish
KLVM evaluator) in target language. Also, it's relatively simple to add
green threads support.

1. https://github.com/gravicappa/shen-py