HirotoShioi

[]

HirotoShioi

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.17;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).

HirotoShioi

someFun :: Env -> IO ()
...

someHandling :: Env -> Int -> IO Int
...

HirotoShioi

data Unit = MkUnit
data Bool = True | False

HirotoShioi

[
  {
    "region": "旧北区",
    "category": "タテハチョウ科",
    "img_src": "pa-sp/nymph/ooitimoji.jpg",
    "pdf_src": "butterfly_pdf/p_arc/p_arc-ny 4.pdf",
    "img_path": "./assets/old_north/images/ooitimoji.jpg",
    "pdf_path": "./assets/old_north/pdf/p_arc-ny%204.pdf",
    "jp_name": "オオイチモンジ",
    "eng_name": "Limenitis_populi",

HirotoShioi

extern crate hex; // 0.4.0
extern crate reqwest; // 0.9.20
extern crate serde_json; // 1.0

use reqwest::{StatusCode, Url};
use serde_json::{json, Value};
use std::fmt;
use std::fs;

fn main() {

HirotoShioi

extern crate hex; // 0.4.0
extern crate reqwest; // 0.9.20
extern crate serde_json; // 1.0

use reqwest::{StatusCode, Url};
use serde_json::{json, Value};
use std::fmt;
use std::fs;

pub fn get_dominant_colors(image_url: &Url) -> Result<Vec<Color>, Box<dyn std::error::Error>> {

HirotoShioi

extern crate hex; // 0.4.0
extern crate reqwest; // 0.9.20
extern crate serde_json; // 1.0

use reqwest::{StatusCode, Url};
use serde_json::{json, Value};
use std::fmt;
use std::fs;

pub fn get_dominant_colors(image_url: &Url) -> Result<Vec<Color>, Box<dyn std::error::Error>> {

HirotoShioi

import Data.List (nub, permutations)
let a = [ [a, b, c] | a <- [1..9], b <- [1..9], c <- [1..9], a <= b, b <= c, a + b + c == 21]
let comb = nub $ concatMap permutations a
forM_ comb (\[a,b,c] -> putStrLn $ "(" <> show a <> ", " <> show b <> " ," <> show c <> ")\\")
forM_ a (\[a,b,c] -> putStrLn $ "(" <> show a <> ", " <> show b <> " ," <> show c <> ")\\")
length comb
28
length a
7

HirotoShioi

Quickcheckの極意

QuickCheckで可能となる様々なテスト手法

• Model based test
• Metamorphic test
• Postconditions
• Round-trip test

テストをデバッグしよう

• 有効なテストがどの程度の頻度で行われているのか確認しよう。(例：リストに存在しない値に対するlookupがテストの大半を占めていないか)