CodaFi

Deprecate @UIApplicationMain and @NSApplicationMain

• Proposal: SE-NNNN
• Authors: Robert Widmann
• Review Manager: TBD
• Status: Awaiting implementation

Introduction

@UIApplicationMain and @NSApplicationMain used to be the standard way for iOS and macOS apps respectively to declare a synthesized platform-specific entrypoint for an app. These functions have since been obsoleted by SE-0281 and the @main attribute, and now represent a confusing bit of duplication in the language. This proposal seeks to deprecate these alternative entrypoint attributes in favor of @main in Swift 5.8, and makes their use in Swift 6 a hard error.

CodaFi

#if canImport(Darwin)
import Darwin
#elseif canImport(Glibc)
import Glibc
#else
#error("unsupported platform")
#endif

/// Core utilities for interacting with IP-based abstractions.
public struct IP {

CodaFi

Motivation

Swift’s type system supports a number of different ways of taking a function or type and abstracting it. Usually, this is done by adding a generic parameter and an associated set of constraints. Similarly, a function that takes a particular type of argument can be abstracted to any number of those arguments by making it variadic with triple-dot (...) syntax. Today, both of these features are permitted separately: you can define a generic function that takes a variable number of arguments, such as

func debugPrint<T>(_ items: T...) 
  where T: CustomDebugStringConvertible
{   
  for (item: T) in items {
    stdout.write(item.debugDescription)

CodaFi

class AsyncOperation: Operation {
  private(set) var taskHandle: Task.Handle<Void, Error>?

  fileprivate enum State: Equatable {
    case ready
    case executing
    case finished
  }

  fileprivate var state: State = .ready {

CodaFi

# NOTE: You need sccache first - but if you already have it, this'll void your cache.
 env SCCACHE_RECACHE=1 caffeinate ./swift/utils/build-script -R --cmake-cxx-launcher (which sccache) --cmake-c-launcher (which sccache) --skip-build-benchmark

CodaFi

#####
./utils/build-script -r --foundation --swiftpm --llbuild --libdispatch --install-swift --install-swiftpm --install-llbuild --install-foundation --install-libdispatch --xctest --install-xctest --install-swift --install-swiftpm --install-llbuild --install-foundation --install-libdispatch --xctest --install-xctest --test --skip-test-swift --skip-test-foundation --indexstore-db '--llvm-install-components=llvm-cov;llvm-profdata;IndexStore;clang;clang-resource-headers;compiler-rt;clangd;lld' 
#####
./utils/build-script -r --foundation --swiftpm --llbuild --libdispatch --install-swift --install-swiftpm --install-llbuild --install-foundation --install-libdispatch --xctest --install-xctest --install-swift --install-swiftpm --install-llbuild --install-foundation --install-libdispatch --xctest --install-xctest --test --skip-test-swift --skip-test-foundation --indexstore-db '--llvm-install-components=llvm-cov;llvm-profdata;IndexStore;clang;clang-resource-headers;compiler-rt;clangd;lld' --skip-test-libdispatch --ski

CodaFi

//: Foreword
//:
//: This playground is the culmination of a week of digging around
//: for the oldest papers I could find about (Lisp) macros and their evolution.
//: I found this paper particularly enlightening as it is the place where Scheme
//: and Rust-style "Macro-by-Example" macros first came into their own.  In
//: addition, this paper discusses the implementation challenges faced by
//: previous macro systems and Kohlbecker's first go at MBEs.
//:
//: I have re-typeset this paper because [the one hosted by IU](ftp://www.cs.indiana.edu/pub/techreports/TR206.pdf)

CodaFi

//: Playground - noun: a place where people can play
//: Roots of Unity Often Lie

indirect enum BTree {
  case empty
  case branch(BTree, BTree)
}

func encode(_ t: (BTree, BTree, BTree, BTree, BTree, BTree, BTree)) -> BTree {
  switch t {

CodaFi

module Untitled where

open import Data.Nat
open import Data.Nat.Properties
open import Data.Char hiding (_≟_)
open import Data.Bool hiding (_≟_)
open import Data.List
open import Data.Unit hiding (_≟_)
open import Data.Empty
open import Relation.Nullary

CodaFi

struct State0 {}; struct State1 {}; struct FinalState {} /*States*/
struct Symbol {}; struct Blank {} /*Symbols*/
struct Left {}; struct Right {} /*Directions*/
struct EndOfTape {} /*End of Tape*/

struct Transition<StartState, StartHead, EndState, EndHead, Direction> {
  static func transitionOne()      -> Transition<State0, Blank, State1, Symbol, Left>  { fatalError() }
  static func transitionTwo()      -> Transition<State1, Blank, State0, Symbol, Right> { fatalError() }
  static func transitionThree<State>() -> Transition<State, Symbol, FinalState, Symbol, Left>  { fatalError() }
}