gdotdesign

※ Raspberry Pi RAID NAS Server Setup ※

Hardware:

• Raspberry Pi 4 (4GB RAM)
• Micro SD card 32GB
• 2x Integral USB 3.1 flash drives 128GB

OS:

• Raspbian Buster

gdotdesign

## Parser

The parser has been spead up some thanks to @asterite #537 and it should parse
twice as fast and should consume half the memory in the general case.

## Type Checker

- Fixed a bug in scoping #529

## Language Server

gdotdesign

component Main {
  state mobile : Bool = false

  use Provider.MediaQuery {
    query = "(max-width: 1000px)",
    changes =
      (matches : Bool) : Promise(Never, Void) {
        next { mobile = matches }
      }
  }

gdotdesign

class Cors
  include HTTP::Handler

  getter origin : String

  def initialize(@origin)
  end

  def call(context)
    context.response.headers["Access-Control-Allow-Methods"] = "GET, PUT, POST, DELETE, LOAD, PATCH"

gdotdesign

component Main {
  fun render : Html {
    <div>
      <a
        role="button"
        class="navbar-burger"
        data-target="navMenu"
        aria-label="menu"
        aria-expanded="false">

gdotdesign

store Store {
  state counter : Number = 0

  fun increment : Void {
    next { counter = counter + 1 }
  }

  fun decrement : Void {
    next { counter = counter - 1 }
  }

gdotdesign

enum BarcodeScanner.Error {
  Unkown
}

module BarcodeScanner {
  fun scan : Promise(BarcodeScanner.Error, String) {
    `
    new Promise((resolve, reject) => {
      cordova.plugins.barcodeScanner.scan((result) => {
        resolve(result.text)

gdotdesign

record Provider.WebSocket.Subscription {
  onOpen : Function(WebSocket, Promise(Never, Void)),
  onMessage : Function(String, Promise(Never, Void)),
  onError : Function(Promise(Never, Void)),
  onClose : Function(Promise(Never, Void)),
  url : String
}

provider Provider.WebSocket : Provider.WebSocket.Subscription {
  fun open (url : String, socket : WebSocket) : Array(a) {

gdotdesign

%YAML 1.2
---
name: Mint
file_extensions:
  - mint
scope: source.mint

variables:
  variable: '[a-z][A-Za-z_0-9]*'

gdotdesign

target: run_backend run_frontend

start:
	make -j2

run_frontend:
	cd frontend && yarn live-server

run_backend:
	cd backend && rails s