Hawstein Hawstein

MarginNote

👆literal "MarginNote"

MarginNote - 在 iPad 上提升学习效率，它可能是最合适的 PDF 阅读器

如何使用 MarginNote
MarginNote 提供的工具：批注（摘录）、大纲、思维导图、记忆卡

Scoped Implicit Lifetimes

All things considered, our experience in Scala Native has shown that resource management in Scala is way harder than it should be. This gist presents a simple design pattern that makes it resource management absolutely hassle-free: scoped implicit lifetimes.

The main idea behind it is to encode resource lifetimes through a concept of an implicit scope. Scopes are necessary to acquire resources. They are responsible for disposal of the resources once the evaluation exits the

	<?
	# MIT license, do whatever you want with it
	#
	# This is my invoice.php page which I use to make invoices that customers want,
	# with their address on it and which are easily printable. I love Stripe but
	# their invoices and receipts were too wild for my customers on Remote OK
	#

	require_once(__DIR__.'/../vendor/autoload.php');

	/** Showing with Kind-Polymorphism the evidence that Monad is a monoid in the category of endofunctors */
	object Test extends App {

	/** Monoid (https://en.wikipedia.org/wiki/Monoid_(category_theory))
	* In category theory, a monoid (or monoid object) (M, μ, η) in a monoidal category (C, ⊗, I)
	* is an object M together with two morphisms
	*
	* μ: M ⊗ M → M called multiplication,
	* η: I → M called unit
	*

	use "time"
	use "collections"

	interface Receiver
	"""
	The receiver interface is used allow the sender receive the result
	value. This could be used to send the result to another actor.
	"""
	be result(value: F64)


	import scala.language.experimental.macros
	import scala.reflect.macros.Context

	/**
	* you can try this in the REPL even
	*/
	object SafeEq {
	/**
	* eqv(1, "foo") won't compile

	SLIDES := $(patsubst %.md,%.md.slides.pdf,$(wildcard *.md))
	HANDOUTS := $(patsubst %.md,%.md.handout.pdf,$(wildcard *.md))

	all : $(SLIDES) $(HANDOUTS)

	%.md.slides.pdf : %.md
	pandoc $^ -t beamer --slide-level 2 -o $@

	%.md.handout.pdf : %.md
	pandoc $^ -t beamer --slide-level 2 -V handout -o $@

	#!/bin/bash

	sudo kextunload -b com.apple.iokit.BroadcomBluetoothHostControllerUSBTransport
	sudo kextload -b com.apple.iokit.BroadcomBluetoothHostControllerUSBTransport