m93a

const MSB = 1 << 7;

const nanbox = (message: string): number => {
  const float = new Float32Array(1);
  const bytes = new Uint8Array(float.buffer);
  bytes[3] = ~MSB + (MSB & message.charCodeAt(0));
  bytes[2] = MSB + (~MSB & message.charCodeAt(0));
  bytes[1] = message.charCodeAt(1);
  bytes[0] = message.charCodeAt(2);

m93a

Mag

Tired? Mag it! Down? Mag time! Liver damage? MAXIMUM MAG! You’re about to become a magnesium-based lifeform. The age of the primitive carbon-man is done. —DE

Tier 1

These features are the core of Mag, and need to be implemented to make it usable.

• Opt-in mutability
• Sound type checker for JS primitives
• Structs & traits
• Fat enums

m93a

Intro

The academic language Effekt has so-called effects. They are a generalization of throw, yield and await which allow an executed function to "stop" in the middle of its execution, and then optionally continue. This would be a great feature for Gunpowder.

Categorization

• throw<E>: E → never

  • interrupts with any value – it will act as the error
  • never resumes
  • not consuming is equivalent to a try{} block

• (suffix after function call) ?: T / throw → T

m93a

/**
 * Checks if object `obj` has a property `key` and its value is not undefined.
 */
export const hasDef = <T, K extends string | number | symbol>(
  obj: T,
  key: K
): obj is T & {
  [k in K]: Required<Extract<T, { readonly [k in K]?: unknown }>>[K];
} => key in (obj as any) && (obj as any).key !== undefined;

m93a

Primitive Stores

Readable

• svelte/store#readable – start, set, stop; subscribe
• @kundinos/nanostores – listen
• butik – get

Derived Readable

• svelte/store#derived – one or multiple inputs
• svelte-previous – withHistory

m93a

// type definitions for the NPM package svelte-grid

declare module "svelte-grid" {
  import type { SvelteComponentTyped } from "svelte";

  export interface Size {
    w: number;
    h: number;
  }

m93a

<script lang="ts">
  let foo = 1;
  let lastFoo: typeof foo;
  $: {
    fooChanged(foo, lastFoo);
    lastFoo = foo;
  }
  
  function fooChanged(current: typeof foo, previous?: typeof foo) {
      console.log(current, previous);

m93a

Variables and scopes

You can define a variable in the current scope using a let keyword and an equal sign.

> let foo = 42
> echo! foo
42

m93a

Pokročilé partie z teorie grup

Obsah

1. Základy variet ($C^\infty$), topologie a teorie míry
2. Lieovy grupy: definice věty a věty o implicitních funkcích
3. Základy teorie reprezentací
4. Konečněrozměrné reprezentace $\mathrm O(n)$ a $\mathrm{SU}(2)$
5. Cliffordovy algebry a spin-grupy
6. Superprostory a superalgebry
7. Reprezentace polopřímých součinů: Wignerova klasifikace částic
8. Heisenbergova grupa a Stone-von Neumannova věta

m93a

Gunpowder

A fictional language inspired by TypeScript, Rust, FrTime, CoffeeScript, Svelte and Dart, that compiles to JavaScript, WebAssembly and Rust and that I will totally make once I have the time.

Runtime constants

Like Rust, Gunpowder uses runtime constants by default, instead of variables. You can declare them using the let keyword.

let a = 4;
a = 5; // err

Shadowing is fully supported.