[HN Gopher] uLisp on the Raspberry Pi Pico
___________________________________________________________________
uLisp on the Raspberry Pi Pico
Author : tosh
Score : 67 points
Date : 2022-01-17 18:51 UTC (4 hours ago)
(HTM) web link (www.ulisp.com)
(TXT) w3m dump (www.ulisp.com)
| nanomonkey wrote:
| I really enjoy uLisp. It would be nice if it had fexp, or
| nlambda's if not full blown macros for building further language
| forms. My dream would be an emac's like environment built in
| uLisp loaded on a mechanical keyboard for doing password
| management and writing without distractions.
| exdsq wrote:
| I looked at uLisp for writing a flight computer for a small
| rocket at uni dealing with input sensor data - it was fun but
| ended up being too large for the chip we were using and I had to
| go down to C. I'm taking an embedded engineering course with the
| san diego extension school at the moment for fun so I might try
| do some of the coursework in uLisp now I have the "freedom" of
| 1GB of RAM.
| throwaway81523 wrote:
| Ulisp is cute but (when I looked at it a while back) way too
| limited and inefficient. My favourite Lisp of this type is
| Hedgehog, which should run very nicely on a Pi Pico. Its main
| drawback is it has no REPL, but instead uses a separate byte-
| compiler that for some reason is written in C.
|
| https://github.com/sbp/hedgehog
| Findecanor wrote:
| Off topic, but: The use of ASCII letters as typographic
| approximations of Greek letters and mathematical symbols really
| grinds my gears. That instantly puts me off from using something.
| mullr wrote:
| you mean like 'u' for micro, and 'lambda'? I think this is
| pretty common.
|
| Regardless, you're probably doing yourself a disservice if
| you're allowing things like that to take choices out of your
| toolbelt. Perhaps the worst offender is TLA+, where you have to
| write actual ascii art and latex inside your code (yes, I know
| model/spec). I _despise_ it, to be clear, but it 's still a
| pretty good tool and often the right thing to reach for
| exdsq wrote:
| Or Agda where you basically have to use emacs with the agda
| extension to get all the characters.
|
| Less than or equal ends up looking like:
|
| data _<=_ : N - N - Set where z<=n : {n : N}
| - zero <= n s<=s : {n m : N} - n <= m - suc n <=
| suc m
| mullr wrote:
| And to really rub salt on it, they have a syntax that looks
| very much like stock latex for math symbols, and SOME of
| them are the same, but not all of them! (all / forall is
| the one that comes to mind, it's been a little while)
| hwayne wrote:
| It always ALWAYS trips me up that TLA+ uses \A and \E
| while LaTeX uses \forall and \exists
| freedomben wrote:
| A bit off topic but if you're interested in lispy development for
| embedded, definitely check out Elixir Nerves. Elixir is amazingly
| lispy and I was amazed at how quickly I was able to hack some
| embedded stuff out with it.
| jerf wrote:
| It can be very Lispy indeed: https://lfe.io/
| bmitc wrote:
| Just as a note, the Nerves team solely focuses on single-board
| computers like the Raspberry Pi or BeagleBone.
|
| https://elixirforum.com/t/using-a-raspi-pico-with-nerves/376...
|
| https://hexdocs.pm/nerves/targets.html
| [deleted]
___________________________________________________________________
(page generated 2022-01-17 23:00 UTC)