leque

;;;; Freer monad in Scheme
;;;; See also
;;;; * "Freer monads, more extensible effects"
;;;; http://dl.acm.org/citation.cfm?doid=2804302.2804319
;;;; * Free monad in Scheme https://gist.github.com/wasabiz/951b2f0b22643a59aeb2
(use gauche.record)
(use util.match)

;;; data Freer f a where
;;;   Pure   :: a -> Freer f a

leque

#!r6rs
(import (rnrs))

;; R7RS 処理系で実行する場合は、上の行をコメントアウトし、
;; 下の行のコメントを外す
;; (import (scheme base) (scheme write))

;; R5RS 処理系で実行する場合は、ここから上をすべてコメントアウトする

;; From "Applicative syntax-rules: macros that compose better",

leque

#!r6rs
(import (rnrs))

;; From "Applicative syntax-rules: macros that compose better",
;; http://okmij.org/ftp/Scheme/macros.html#ck-macros
(define-syntax ck
  (syntax-rules (quote)
    ;; yield the value on empty stack
    ((ck () 'v) v)
    ;; re-focus on the other argument, ea

potix2

% ab -n 10 -c 10 -p json.file -T "application/json; charset=utf-8" http://localhost/

leque

(use srfi-1)
(use gauche.partcont)

(define (main args)
  (reset
   (let* ((p1 (shift k (call-with-input-file (second args) k)))
          (p2 (shift k (call-with-output-file (third args) k))))
     (copy-port p1 p2))))
;; -> "./vminsn.scm", line 1375: Assertion failed: SCM_PAIRP((vm)->handlers)

Jxck

how to compile

$ gcc -g -Wall -I /path/to/libuv/include /path/to/libuv/uv.a -framework CoreServices server.c -o server
$ gcc -g -Wall -I /path/to/libuv/include /path/to/libuv/uv.a -framework CoreServices client.c -o client

leque

(*
  Requirement: higher, ppx_deriving.show
*)

(*
  Lightweight higher-kinded polymorphism
  https://ocamllabs.github.io/higher/lightweight-higher-kinded-polymorphism.pdf
 *)
open Higher

aradarbel10

{-# LANGUAGE StrictData, DerivingVia, OverloadedRecordDot #-}

{-
  (compiled with GHC 9.4.2)
-}

{-
  HEADS UP
  this is an example implementation of a non-trivial type system using bidirectional type checking.
  it is...

qnighy

パターンとはその言語が抽象化できなかった敗北の歴史である。 しかしどんなに優れた言語であってもあらゆる繰り返しに勝てるわけではない。 人は必ずメタ繰り返しを欲するからだ。 そしてそれはRustも例外ではない。

ここでは、OOPでも知られているパターンよりも、Rustに特有のパターンを思いつく限りまとめてみた。名前は適当。

• crate splitting
  • でかいcrateを分割して、見通しを良くする・再コンパイルの分量を削減する・並列コンパイルを可能にする
• 親玉crate(全てにdependする)と殿crate(全てにdependされる)があることが多いので、だいたい束みたいな形になる。

jFransham

Achieving warp speed with Rust

Contents:

• Number one optimization tip: don't
• Never optimize blindly
• Don't bother optimizing one-time costs
• Improve your algorithms
• CPU architecture primer
• Keep as much as possible in cache
• Keep as much as possible in registers