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)

Ridwy

//
//  Created by Chiharu Nameki @Ridwy on 2021/07/30.
//

import UIKit
import AVFoundation

/*
 Using MTAudioProcessingTap, you can touch raw audio samples playing with AVPlayer.
 This sample code shows how to use MTAudioProcessingTap in Swift 5.

aibo-cora

import Foundation
import AVFoundation
import CoreMedia

class Converter {
    static func configureSampleBuffer(pcmBuffer: AVAudioPCMBuffer) -> CMSampleBuffer? {
        let audioBufferList = pcmBuffer.mutableAudioBufferList
        let asbd = pcmBuffer.format.streamDescription

        var sampleBuffer: CMSampleBuffer? = nil

ryanpedersen42

version: 2.1

setup: true

orbs:
  path-filtering: circleci/[email protected]

workflows:
  setup-workflow:
    jobs:

dougallj

# IDA (disassembler) and Hex-Rays (decompiler) plugin for Apple AMX
#
# WIP research. (This was edited to add more info after someone posted it to
# Hacker News. Click "Revisions" to see full changes.)
#
# Copyright (c) 2020 dougallj


# Based on Python port of VMX intrinsics plugin:
# Copyright (c) 2019 w4kfu - Synacktiv

DougGregor

googleson78

{-# LANGUAGE TypeFamilies #-}
module Ado where

(>>=) :: Int ~ Char => f a -> (a -> f b) -> f b
(>>=) = undefined

(<*>) :: Applicative f => f (a -> b) -> f a -> f b
(<*>) = (Prelude.<*>)

pure :: Applicative f => a -> f a

codelynx

//
//	Swift UnsafePointer converter
//	Kaz Yoshikawa
//
//	These code demonstrates how to convert swift pointers to the other forms of pointers.
//
//	Source:
//	Swift の Array やら ArraySlice やらポインタの変換まとめ
//	https://qiita.com/Satachito/items/4c39c9b06304e4d86660
//

ekmett

Anon, a young researcher, sits down with Saunders Mac Lane.

Anon: Please, explain to me in full detail, everything you know about category theory. Indicate where you are uncertain so I may better understand your epistemic state.

-- End Prompt

Saunders: It's the foundation of modern mathematics and computer science. It deals with sets of objects called categories, which can be thought of as collections of things. For example, there is a set called the natural numbers that we use for counting. There is also another set called the real numbers, which are used for computing. The idea behind it is that if two things are in one category, then they must have some relationship to each other. If two things are in two different categories, then they probably don't have any relationship to each other.

Anon: Can you describe how these objects and arrows get used in practice?

friedbrice

-- monadstate-example.hs
--
-- Load this program in GHCi:
--
--     stack repl \
--         --resolver nightly \
--         --package transformers \
--         --package mtl \
--         monadstate-example.hs
--