mizchi

import ts, { factory } from "typescript";

export function transformerFactory(context: ts.TransformationContext) {
  function visitNode(node: ts.Node): ts.Node {
    const newNode = ts.visitEachChild(node, visitNode, context);
    if (
      ts.isJsxOpeningElement(newNode) ||
      ts.isJsxSelfClosingElement(newNode)
    ) {
      return appendSourceMapAttribute(newNode.getSourceFile(), newNode);

alexcasalboni

How to use Python3 Type Hints in AWS Lambda

TL;DR

Static Type Checkers help you find simple (but subtle) bugs in your Python code. Check out lambda_types.py and incrementally improve your code base and development/debugging experience with type hints.

Your Lambda Function code will go from this:

pi8027

以下は Lecture 1: Algebraic Effects I （Gordon Plotkin） - Exercise 5 の解である。
http://cs.ioc.ee/ewscs/2015/plotkin/plotkin-slides-exercises1.pdf

p. 31 の等式理論 BoolState より、いかなる式に対しても
read(write_b1(x), write_b2(y))  (x, yは変数)
という形の normal form が自然に与えられる。

以下のように、2つの異なる normal form に関する等式を仮定する:
read(write_b1(x), write_b2(y)) ＝ read(write_b1'(x'), write_b2'(y'))  (b1 ≠ b1' ∨ x ≠ x' ∨ b2 ≠ b2' ∨ y ≠ y')