Sam Buercklin

Bounds Checking Dramatically Reduces Performance

2

I have a script which does some interpolations over a 5D grid. When running the script below normally from the command line, it takes ~25 seconds on my machine, mostly...

The file at [this gist](https://gist.github.com/SBuercklin/7a8790dfe8b44968d1e0669ca3934b5c) require two passes with `JuliaFormatter.jl` to return `true`. This is with both the `DefaultStyle` and `BlueStyle`, likely others as well that I just haven't checked....

Autoreload does not appear to be compatible with Julia 1.1.1. I attempted to `Pkg.add("Autoreload")` and the following error was thrown ```Unsatisfiable requirements detected for package Autoreload [e43a630a]: Autoreload [e43a630a] log:...

Interface Checking Broken on 1.10.0

12

MWE ```julia using BinaryTraits using BinaryTraits: Prefix julia> @trait Foo julia> @implement Prefix.Is{Foo} by f(_, x) julia> struct Bar end julia> f(::Bar, x) = 1 julia> @assign Bar with Prefix.Is{Foo}...

Contradictory Traits Break When Applied to the Type Hierarchy

4

I would like to apply a default trait to an abstract type, and then special case some subtypes with the negated trait. Take for example below: ``` abstract type Bar...

Hierarchical, Contradictory Traits

1

Addresses !60 and introduces a test which fails on `master` but passes on this branch. The fundamental issue this PR addresses is the following: We can apply `Positive{Trait}` to an...

Right now, `addchild` and `addsibling` require you to pass the data directly. Is it reasonable to add methods which allow you to specify `child::Node{T}`s rather than `data::T`? I'm working with...

Interfaces with unspecified, non-Any argument types

3

Consider the following interface where I have a method whose other input types are known in context, but those types are different in general and do not share a common...

Interfaces failing when matching on supertype

1

The following fails because I define `bar(::Foo, ::Any)`, which gives an ambiguity error when I try e.g. `bar(::Foo, ::Int)` with the default error fallback using the abstract type ```julia using...

It'd be convenient to support something like the following syntax for documenting interfaces: ``` @required Foo begin "This is a docstring for bar(::Foo))" bar(::Foo) end ``` There are ways of...