ceving

Extract WASM-Instructions from Webassembly Spec

This is the URL of the specification of the WASM instructions.

https://webassembly.github.io/spec/core/appendix/index-instructions.html

This is some JavaScript which extracts the instructions.

(opcodes => {

ceving

Vererbung ist nicht schlecht

Nur die schlampige Verwendung von Sprache ist schlecht.

Seit ein paar Jahren macht sich in der Programmierwelt das Mantra breit, Vererbung sei schlecht und solle besser nicht verwendet werden^[1]. Ich halte das für eine unangemessene Vereinfachung der Problematik.

Das Mantra wird durch das Liskovsche

ceving

export class Enum
{
  static Item = class
  {
    #name;
    #enumeration;

    constructor(name, enumeration)
    {
      this.#name = name;

ceving

import van from "./van-1.2.7.min.js"

const {p, button} = van.tags;

const love = van.state(true);

van.add(
  document.body,
  p("She loves me",
    () => { return love.val ? "" : " not"; }, // empty string is necessary

ceving

(defun inferior-prolog-proc ()
  (get-buffer-process (prolog-inferior-buffer)))

(defun inferior-prolog-get-clause ()
  (buffer-substring-no-properties (prolog-clause-start)
                                  (prolog-clause-end)))

(defun inferior-prolog-send-read ()
  "Send a char read from minibufer."
  (interactive)

ceving

Racket-Turtle

1. Racket installieren: https://download.racket-lang.org/
2. Techpacks installieren

   cd "C:\Program Files\Racket"
   raco pkg install techpacks
   

3. Beispiel

ceving

Current Debian sources for main and testing

• stable: bookworm
• testing: trixie

/etc/apt/apt.conf.d/99defaultrelease

APT::Default-Release "bookworm";

ceving

(define-syntax numeral
  (syntax-rules ()
    ((_ i s body)
     (lambda (i)
       (lambda (s)
         body)))))

(define zero (numeral i s s))

#;

ceving

// Implementation independant

const Z =
  (inc) => (zero) => zero;

const S =
  (n_times) =>
    (inc) => (zero) => inc(n_times(inc)(zero));

const add2 =

ceving

In case of an error Gambit and Guile automatically enter a debugger. In order to leave the debugger it is necessary to press Ctrl-d, which sends the Unicode character 'End of Transmission' (ASCII 0x04 EOT) to the Scheme process. It is necessary to switch buffers for this, becuse "C-d" has a different meaning in the scheme-mode. The following definition extends the scheme-mode by adding the key binding "C-c C-d", which sends EOT to Scheme process.

(defun scheme-send-end-of-transmission ()
  "Send Unicode 'End of Transmussion' to the Scheme process."
 (interactive)