inamiy

import SwiftUI

struct RootStringNavStack: View {
    @State
    var navigationPath: [String] = []

    // For hook-printing.
    var navigationPathBinding: Binding<[String]> {
        .init(
            get: { navigationPath },

inamiy

import Foundation
import _Concurrency

actor SomeSystem {
    nonisolated var unownedExecutor: UnownedSerialExecutor {
        #if os(Linux)
        MyActor.sharedUnownedExecutor
        #else
        MainActor.sharedUnownedExecutor
        #endif

inamiy

import Foundation
import _Concurrency

// https://twitter.com/inamiy/status/1506118628839546880

var f: () -> () = {}
var fSendable: @Sendable () -> () = {}
var fMain: @MainActor () -> () = {}
var fMainSendable: @MainActor @Sendable () -> () = {}

inamiy

@rethrows
protocol P {
    func foo() throws
}

struct S1: P {
    func foo() {}
}

struct S2: P {

inamiy

// Q. How to abstract Actor's impl into protocol?

// 1. Plain protocol + async methods
protocol MyProtocol
{
    var foo: Int { get async }

    func bar() async
}

inamiy

/// `async` monad that wraps async function.
public struct Async<T>
{
    public let run: () async -> T
}

// MARK: - Functor

extension Async
{

inamiy

func asyncThrowsToAsyncResult<A, B>(_ f: @escaping (A) async throws -> B) 
    -> (A) async -> Result<B, Error> 
{
    { a in
        do {
            return .success(try await f(a))
        } catch {
            return .failure(error)
        }
    }

inamiy

import Foundation

let url = URL(string: "https://httpbin.org/get")!

@main
struct Main {
    static func main() async throws {
        print("1")

        let task1 = Task.init { () -> Data? in

inamiy

import SwiftUI

extension View {
    func pipe<R>(@ViewBuilder _ f: (Self) -> R) -> R {
        f(self)
    }
}

struct ContentView: View {
    @State var flag: Bool = false

inamiy

-- こういうフラットな配列から木構造を作るのってどうやったらいいんだろう？
-- https://twitter.com/suin/status/1390626013814476800

{-# LANGUAGE DeriveFunctor, UndecidableInstances, LambdaCase #-}

module Main where

import Data.Functor.Classes
import Data.List