anthonyquizon

#lang racket                                                                                                                                                                                                       
                                                                                                                                                                                                                   
(require web-server/servlet-env                                                                                                                                                                                    
         web-server/http                                                                                                                                                                                           
         web-server/dispatchers/dispatch)                                                                                                                                       

anthonyquizon

#lang racket

(require racket/trace)

(define (example)
  (error a b c))
  
(trace example)

anthonyquizon

// db.zig
const std = @import("std");
const warn = std.debug.warn;
const Allocator = std.mem.Allocator;
const util = @import("../util.zig");

const c = @cImport({
    @cInclude("lmdb.h");
});

anthonyquizon

(use-modules (web client)
             (web response)
             ((rnrs) :version (6)))

(define port "8000")
(define body "{\"foo\": \"xyx\"}"  )

;; GOTCHAs
;; Body needs to be converted from string to utf8 and back again
;; Need to destructure response with let-values in order to get body string

anthonyquizon

const PORT = 8008;

interface APIInterface {
    @safe:
    string postMatches();

    string get();
}

class APIHandlers : APIInterface {

anthonyquizon

Reading

Title	Author(s)	Year
Intuitionistic Type Theory	Per Martin-Löf	1984
On the Meanings of the Logical Constants and the Justification of the Logical Laws	Per Martin-Löf	1996
[[http://mat.uab.cat/~kock/crm/h

anthonyquizon

import std.stdio;                                                                                                                          
import std.uni;                                                                                                                            
import std.conv; 
///Taken from https://github.com/dlang/dmd/blob/0517fc93ceb9e74e979bbbc9de64eb64d610094c/src/dmd/utf.d
static immutable wchar[2][] ALPHA_TABLE =
    [
        [0x00AA, 0x00AA],
        [0x00B5, 0x00B5],
        [0x00B7, 0x00B7],
        [0x00BA, 0x00BA],

anthonyquizon

anthonyquizon

lib.so: lib.c
	gcc -shared lib.c -o lib.so

anthonyquizon

Bytecode: ⟨ 0 1 33 0 0 48 6 0 1 0 0 34 0 0 17 7 ⟩
Loc: ⟨ ⟨ 2 2 0 0 0 1 3 6 6 5 5 4 4 4 5 4 ⟩ ⟨ 2 2 0 0 0 1 3 6 6 5 5 4 4 4 5 4 ⟩ ⟩
Token: 
┌─                                                                                                            
· ⟨ 95 72 96 64 95 0 96 ⟩ ⟨ 0 ¯3 0 ¯1 0 1 0 ⟩ ⟨ ⟨ "a" ⟩ ⟨⟩ ⟨ 2 ⟩ ⟨⟩ ⟨⟩ ⟩ ⟨ 0 1 2 3 4 5 6 ⟩ ⟨ 0 1 2 3 4 5 6 ⟩  
                                                                                                             ┘