pthariensflame

impl Trait is Always Existential

Recently, Rust 1.26 was released, and with it came stable access to a heavily desired feature: impl Trait. For those unfamiliar, impl Trait lets you write something like this:

fn foo<'a, A, B>(x: &'a mut A) -> impl Bar<'a, B> { ... }

and have it be translated to something like this:

rlxone

/* 
    static func getOutputDevices() -> [AudioDeviceID: String]?
    static func isOutputDevice(deviceID: AudioDeviceID) -> Bool
    static func getAggregateDeviceSubDeviceList(deviceID: AudioDeviceID) -> [AudioDeviceID]
    static func isAggregateDevice(deviceID: AudioDeviceID) -> Bool
    static func setDeviceVolume(deviceID: AudioDeviceID, leftChannelLevel: Float, rightChannelLevel: Float)
    static func setOutputDevice(newDeviceID: AudioDeviceID)
    static func getDeviceVolume(deviceID: AudioDeviceID) -> [Float]
    static func getDefaultOutputDevice() -> AudioDeviceID
*/

chriseidhof

import Foundation

// Let's use a Command protocol...

protocol Command {
    associatedtype Action
    static func modalAlert(title: String, accept: String) -> Self
    static func request(_ request: URLRequest, available: @escaping (Data?) -> Action) -> Self
}

mikeash

extension Optional: Sequence {
    public func makeIterator() -> Iterator {
        return Iterator(optional: self)
    }
    
    public struct Iterator: IteratorProtocol {
        var optional: Wrapped?
        
        public mutating func next() -> Wrapped? {
            defer { optional = nil }

chriseidhof

import Foundation

enum Either<A,B> {
    case left(A)
    case right(B)
}

// Works only using Swift 4.1
extension Either: Codable where A: Codable, B: Codable {    
    enum CodingKeys: CodingKey {

bkase

//  Write some awesome Swift code, or import libraries like "Foundation",
//  "Dispatch", or "Glibc"
struct Monoid<T> {
    let empty: T
    let append: (T, T) -> T
    
    func fold(_ arr: [T]) -> T {
        return arr.reduce(empty, append)
    }
    

bkase

// Paper located: https://github.com/snowleopard/alga-paper
infix operator <>: AdditionPrecedence
protocol Semigroup {
	static func <>(lhs: Self, rhs: Self) -> Self
}
protocol Monoid: Semigroup {
	static var empty: Self { get }
}
protocol CommutativeMonoid: Monoid { }
protocol BoundedSemilattice: CommutativeMonoid { }

chriseidhof

//
//  main.swift
//  ExtensibleEffects
//
//  Created by Chris Eidhof on 02.01.18.
//  Copyright © 2018 objc.io. All rights reserved.
//

import Foundation

kazuho

#! /usr/bin/perl
#
# Written in 2017 by Kazuho Oku
#
# To the extent possible under law, the author(s) have dedicated all copyright and related and neighboring rights to this software to the public domain worldwide. This software is distributed without any warranty.
# You should have received a copy of the CC0 Public Domain Dedication along with this software. If not, see <http://creativecommons.org/publicdomain/zero/1.0/>.
# 
use strict;
use warnings;

sebmarkbage

let cache = new Map();
let pending = new Map();

function fetchTextSync(url) {
  if (cache.has(url)) {
    return cache.get(url);
  }
  if (pending.has(url)) {
    throw pending.get(url);
  }