0xe4c016a18617cc307d955ffbe003f0bd1ddc58e5 |
[package] | |
name = "rand" | |
version = "0.1.0" | |
authors = ["zhangsoledad <787953403@qq.com>"] | |
[dependencies.num-bigint] | |
git = "https://github.com/zhangsoledad/num-bigint" | |
features = ["rand"] |
//This is a WeChat miniprogram client transport for phoenix.js | |
// so that you can use easily use Phoenix Channel as a WebSocket server. | |
// Written by @chrismccord | |
// example usage: | |
// ``` | |
// let socket = new Socket("ws://localhost:4000/socket", { transport: WxSocket }) | |
// socket.connect() | |
// let channel = socket.channel("room:lobby", {}) | |
// channel.join() | |
// .receive("ok", resp => { console.log("Joined successfully", resp) }) |
pragma solidity ^0.4.0; | |
import "./Ownable.sol"; | |
import "./SafeMath.sol"; | |
contract HackathonFactory is Ownable { | |
address public owner; | |
event HackathonCreated( | |
address indexed _owner, |
pragma solidity ^0.4.0; | |
import "./Ownable.sol"; | |
import "./SafeMath.sol"; | |
import "./State.sol"; | |
contract HackathonFactory is Ownable { | |
address public owner; | |
event HackathonCreated( |
pragma solidity ^0.4.0; | |
import "./Ownable.sol"; | |
import "./SafeMath.sol"; | |
import "./State.sol"; | |
contract Hackathon is Ownable, HackathonState { | |
using SafeMath for uint256; | |
uint256 public initFound; |
pragma solidity ^0.4.0; | |
contract Auth { | |
mapping(address => bytes32) internal verification; | |
function submit(bytes32 code) public { | |
verification[msg.sender] = code; | |
} | |
function getVerificationCode(address _person) public view returns (bytes32) { |
Intel(R) Core(TM) i7-7700 CPU @ 3.60GHz
numext https://github.com/yangby-cryptape/rust-numext @ f7279be
ethereum-types https://crates.io/crates/ethereum-types 0.4
bench_ser_numext_h256 time: [62.599 ns 63.126 ns 63.872 ns]
bench_ser_ethereum_types_h256
I've been fiddling about with an idea lately, looking at how higher-kinded types can be represented in such a way that we can reason with them in Rust here and now, without having to wait a couple years for what would be a significant change to the language and compiler.
There have been multiple discussions on introducing higher-ranked polymorphism into Rust, using Haskell-style Higher-Kinded Types (HKTs) or Scala-looking Generalised Associated Types (GATs). The benefit of higher-ranked polymorphism is to allow higher-level, richer abstractions and pattern expression than just the rank-1 polymorphism we have today.
As an example, currently we can express this type: