http://rust-lang.github.io/rfcs/1522-conservative-impl-trait.html
- Fature Name: conservative_impl_trait
- Start Date: 2016-01-31
- RFC PR: rust-lang/rfcs#1522
- Rust Issue: rust-lang/rust#34511
Require Import Coq.Strings.Ascii. | |
Require Import Ssreflect.ssreflect Ssreflect.eqtype Ssreflect.ssrbool. | |
Definition eqascii (a a' : ascii) : bool := | |
match a, a' with | |
| Ascii b0 b1 b2 b3 b4 b5 b6 b7, Ascii b0' b1' b2' b3' b4' b5' b6' b7' => | |
(b0 == b0') && (b1 == b1') && (b2 == b2') && (b3 == b3') && | |
(b4 == b4') && (b5 == b5') && (b6 == b6') && (b7 == b7') | |
end. |
#!/usr/bin/env runghc | |
import Distribution.Simple.InstallDirs -- Cabal package | |
( platformTemplateEnv | |
, fromPathTemplate, toPathTemplate | |
, substPathTemplate | |
) | |
import Distribution.System (buildPlatform) -- Cabal package | |
import System.Process -- process package | |
( shell |
/* | |
* File: main.c | |
* Author: amutake | |
* | |
* Created on November 22, 2015, 1:43 PM | |
* | |
* シリアル通信で、なんかデータ (char 型) を送ると Analog In の値を送り返してくる。 | |
* 使うピンは以下の通り | |
* | |
* RB1: RX |
package finch.bug | |
import io.finch._ | |
import com.twitter.io.Buf | |
import com.twitter.finagle.http._ | |
import com.twitter.util.{ Await, Duration } | |
object Main extends App { | |
val string = "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa" |
Set Implicit Arguments. | |
Unset Strict Implicit. | |
(** Type Definitions *) | |
Inductive IndexedContsT (W M : Type -> Type) (R O A : Type) : Type := | |
| mkIndexedContsT : (W (A -> M O) -> M R) -> IndexedContsT W M R O A. | |
Definition runIndexedContsT W M R O A (c : IndexedContsT W M R O A) : W (A -> M O) -> M R := | |
match c with |
require 'csv' | |
classes = {} | |
file = ARGV[1] | |
GENEKI = '現役生' | |
OBOG = 'OBOG' | |
OTHER = 'その他' | |
CSV.foreach(file) do |row| |
#!/usr/bin/env bash | |
FOCAL=focal.dat | |
WC=~/tmp/wc.rb | |
if [[ "$1" == "-t" && ! -z "$2" ]]; then | |
exiftool -T -focallengthin35mmformat *.JPG | grep -v '-' | awk '{print NR, $0}' > $FOCAL | |
gnuplot -p -e "set terminal png; set term png size 2000,500; set term png font 'ヒラギノ丸ゴ ProN W4, 16'; set output '$2'; set xlabel 'n枚目'; set ylabel '焦点距離'; plot '$FOCAL' using 1:2:(1) with boxes" | |
rm $FOCAL | |
open $2 |
Array.prototype.map.call(document.querySelectorAll("table tbody tr"), function (tr) { var c = tr.children; return c[2].textContent + "年" + c[3].textContent + "組" + "『" + c[4].textContent + "』"; }).join("\n"); |
http://rust-lang.github.io/rfcs/1522-conservative-impl-trait.html
参照に関するパターンマッチをよりわかりやすくします。
現在、参照に関するパターンマッチは ref
と &
を使いわけなければいけません。