Navigation Menu

Skip to content

Instantly share code, notes, and snippets.

View paulyoung's full-sized avatar
💭
Type check and prove things

Paul Young paulyoung

💭
Type check and prove things
View GitHub Profile
module Main where
import Prelude
import Control.Monad.Except (runExcept)
import Data.Either (Either(..))
import Data.Maybe (Maybe(..))
import Effect.Console (log, logShow)
import Foreign (F)
import Foreign.Generic (defaultOptions, genericDecodeJSON, genericEncodeJSON)
-- | Based on http://www.fewbutripe.com/swift/html/dsl/2017/06/29/composable-html-views-in-swift.html
module Main where
import Prelude
import React as R
import React.DOM as R
import React.DOM.Props as RP
import Thermite hiding (defaultMain) as T
import Thermite.Try as T
Header 1 Header 2 Header 3
Cell 1 Cell 2 Cell 3
Cell 4 Cell 5 Cell 6
Verifying I am +py on my passcard. https://onename.com/py
@paulyoung
paulyoung / println.swift
Created May 8, 2015 17:37
GoldenGate/Swift/println.swift
import JavaScriptCore
let println: @objc_block AnyObject! -> Void = { object in
Swift.println(object)
}
@paulyoung
paulyoung / UIColor.swift
Created May 8, 2015 17:34
GoldenGate/UIKit/UIColor.swift
import UIKit
import JavaScriptCore
@objc protocol UIColorJSExport: class, JSExport {
// Mark: - Creating a UIColor with Preset Component Values
class func blackColor() -> UIColor
class func blueColor() -> UIColor
class func brownColor() -> UIColor
$ strings /Applications/Xcode-Beta.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/lib/sourcekitd.framework/Versions/Current/XPCServices/SourceKitService.xpc/Contents/MacOS/SourceKitService|grep source\\. | sort
source.availability.platform.ios
source.availability.platform.ios_app_extension
source.availability.platform.osx
source.availability.platform.osx_app_extension
source.codecompletion.context.exprspecific
source.codecompletion.context.local
source.codecompletion.context.none
source.codecompletion.context.otherclass
// FYI I also auto set the version and build on the About tab with the following code
NSDictionary *infoDictionary = [[NSBundle mainBundle] infoDictionary];
NSString *appDisplayName = infoDictionary[@"CFBundleDisplayName"];
NSString *majorVersion = infoDictionary[@"CFBundleShortVersionString"];
NSString *minorVersion = infoDictionary[@"CFBundleVersion"];
self.appDescription.text = [NSString stringWithFormat:@"Dirty Dog Software\n%@\nVersion: %@(%@)",
appDisplayName, majorVersion, minorVersion];

Keybase proof

I hereby claim:

  • I am paulyoung on github.
  • I am py (https://keybase.io/py) on keybase.
  • I have a public key whose fingerprint is 5597 E5A5 C4EC 824B F32B CD65 F135 9D72 690D 4347

To claim this, I am signing this object:

@paulyoung
paulyoung / DynamicType.m
Created March 25, 2014 01:21
Dynamic type sizes
NSLog(@"Headline: %f", [[UIFontDescriptor preferredFontDescriptorWithTextStyle:UIFontTextStyleHeadline] pointSize]);
NSLog(@"Subheadline: %f", [[UIFontDescriptor preferredFontDescriptorWithTextStyle:UIFontTextStyleSubheadline] pointSize]);
NSLog(@"Body: %f", [[UIFontDescriptor preferredFontDescriptorWithTextStyle:UIFontTextStyleBody] pointSize]);
NSLog(@"Caption1: %f", [[UIFontDescriptor preferredFontDescriptorWithTextStyle:UIFontTextStyleCaption1] pointSize]);
NSLog(@"Caption2: %f", [[UIFontDescriptor preferredFontDescriptorWithTextStyle:UIFontTextStyleCaption2] pointSize]);
NSLog(@"Footnote: %f", [[UIFontDescriptor preferredFontDescriptorWithTextStyle:UIFontTextStyleFootnote] pointSize]);