Scott Olsen
Scott Olsen
To reproduce: ```clojure (doc foo "") (defn foo [x] (if (> x 10) 10 (foo (+ x 1)))) => I’m unable to concretize the expression '(meta-stub foo)' at line 0,...
The repl will state that e.g. it doesn't understand `Array.push-back!` and other forms when they are used at the top level in non-functions: ```clojure (let [x (Array.push-back! &[1 2 3]...
I currently have a program that contains a `cond` statement that's about 300+ lines long. Trying to compile the whole thing takes long enough that it's equivalent to a hang...
Every now and then, it's useful to ignore references in interfaces. For example, imagine we wanted to define an (unlawful) monoid on Strings. Given: `(definterface monoid (Fn [a a] a))`...
`Dynamic.mod` will cause loops on some arguments, the following code causes a hang: ``` ;; assume arr is ['x 'y] (= 0 (mod (length arr) 2))) ``` Changing `mod` to...
Now that `delete` is an interface, we can easily implement it for `Ptr` and allow Carp to also manage this type, all we'd need to add is: `(implements delete Pointer.free)`...
In some cases, our lack of support for `Refs` as members of user defined types can result in ownership problems. In particular, when mapping anonymous functions over the inhabitants of...
I've run into a case where a String is freed before it's actually used, here's the code: ```clojure (defn binary-partial [f x] (fn [y] (f x y))) (doc lift-binary "Lifts...
In certain cases, our type inference can sometimes fail to concretize generic types whose concretization should be derivable from the overarching context. Consider: ``` (definterface first (Fn [&a] (Maybe b)))...
Consider the following in the REPL: ``` (Pair.init 1 2) ``` Should this evaluate to `Dynamic.Pair.init` or just `Pair.init`? Currently it does the former as we prefer and privilege dynamic...