# Internals & Design

**URL:** https://discourse.julialang.org/c/dev/5.md?page=42

[Latest](https://discourse.julialang.org/latest.md) · [Categories](https://discourse.julialang.org/categories.md) · [Tags](https://discourse.julialang.org/tags.md)

**Page:** 43

---

## [Does Julia support hardware, which does not provide twos' complement integers?](https://discourse.julialang.org/t/does-julia-support-hardware-which-does-not-provide-twos-complement-integers/33092)

<div class="topic-metadata">

**Author:** [@klacru](https://discourse.julialang.org/u/klacru)\
**Replies:** 13\
**Last updated:** [January 10, 2020, 6:13pm UTC](https://discourse.julialang.org/t/does-julia-support-hardware-which-does-not-provide-twos-complement-integers/33092 "2020-01-10T18:13:24Z")

</div>

In the function gcd in intfuncs.jl I saw, that the logic depends on the twos’ complement representation of integers. It would be important to avoid that, if Julia claimed to support the rare processor architectures not …

---

## [Bug with @edit macro attempts to edit non-existant file on OSX](https://discourse.julialang.org/t/bug-with-edit-macro-attempts-to-edit-non-existant-file-on-osx/32879)

<div class="topic-metadata">

**Author:** [@dcastel](https://discourse.julialang.org/u/dcastel)\
**Replies:** 3\
**Last updated:** [January 8, 2020, 6:28pm UTC](https://discourse.julialang.org/t/bug-with-edit-macro-attempts-to-edit-non-existant-file-on-osx/32879 "2020-01-08T18:28:18Z")

</div>

When I for example tested the edit macro for some of the InteractiveUtils I get a reference to a file name that isn’t correct. ERROR: no unique matching method found for the specified argument types Stacktrace: \[1\] err…

---

## [Should "1 ∈ 1" be "true"?](https://discourse.julialang.org/t/should-1-1-be-true/32914)

<div class="topic-metadata">

**Author:** [@Ibb](https://discourse.julialang.org/u/Ibb)\
**Replies:** 3\
**Last updated:** [January 3, 2020, 9:59am UTC](https://discourse.julialang.org/t/should-1-1-be-true/32914 "2020-01-03T09:59:47Z")

</div>

I know it’s a trivial proposal, but, should a primitive type data object belong to(∈, in) itself? Axiom of regularity implicates that “No set is an element of itself”.

---

## [Question about how method signatures are encoded in \`Docs.Meta\`](https://discourse.julialang.org/t/question-about-how-method-signatures-are-encoded-in-docs-meta/32666)

<div class="topic-metadata">

**Author:** [@jonathan-laurent](https://discourse.julialang.org/u/jonathan-laurent)\
**Replies:** 2\
**Last updated:** [December 28, 2019, 5:06pm UTC](https://discourse.julialang.org/t/question-about-how-method-signatures-are-encoded-in-docs-meta/32666 "2019-12-28T17:06:35Z")

</div>

Hi, I am trying to debug a surprising behavior in Documenter.jl and had to look at how docstrings are stored and represented internally. I am confused by the encoding that is used to represent method signatures that inv…

---

## [Question regarding Julia's planned approach to composable, safe, and easy multithreading](https://discourse.julialang.org/t/question-regarding-julias-planned-approach-to-composable-safe-and-easy-multithreading/17692)

<div class="topic-metadata">

**Author:** [@jpsamaroo](https://discourse.julialang.org/u/jpsamaroo)\
**Replies:** 14\
**Last updated:** [December 23, 2019, 6:10pm UTC](https://discourse.julialang.org/t/question-regarding-julias-planned-approach-to-composable-safe-and-easy-multithreading/17692 "2019-12-23T18:10:58Z")

</div>

After reading the post by @StefanKarpinski about compiler work priorities here, where multithreading (via PARTR) is now planned as priority #2, I figured it was a good time to ask a question that’s been on my mind for a…

---

## [Extend the domain of maximum and minimum to include empty collection?](https://discourse.julialang.org/t/extend-the-domain-of-maximum-and-minimum-to-include-empty-collection/5135)

<div class="topic-metadata">

**Author:** [@klacru](https://discourse.julialang.org/u/klacru)\
**Replies:** 24\
**Last updated:** [December 22, 2019, 6:49am UTC](https://discourse.julialang.org/t/extend-the-domain-of-maximum-and-minimum-to-include-empty-collection/5135 "2019-12-22T06:49:23Z")

</div>

When I ask for the maximum of an empty collection, there is no obvious result in general. For a collection of real numbers, nevertheless I would expect to obtain -Inf and not an exception. Boiling down my use-case gave: …

---

## [Get function object from method](https://discourse.julialang.org/t/get-function-object-from-method/6524)

<div class="topic-metadata">

**Author:** [@cstjean](https://discourse.julialang.org/u/cstjean)\
**Replies:** 7\
**Last updated:** [December 19, 2019, 4:04am UTC](https://discourse.julialang.org/t/get-function-object-from-method/6524 "2019-12-19T04:04:11Z")

</div>

Given a Method object, how do I get the function it implements? eval(method.module, method.name) works, but it doesn’t look all that reliable.

---

## [Perhaps a new way of composing functions](https://discourse.julialang.org/t/perhaps-a-new-way-of-composing-functions/32366)

<div class="topic-metadata">

**Author:** [@StevenSiew](https://discourse.julialang.org/u/StevenSiew)\
**Replies:** 2\
**Last updated:** [December 17, 2019, 10:20am UTC](https://discourse.julialang.org/t/perhaps-a-new-way-of-composing-functions/32366 "2019-12-17T10:20:16Z")

</div>

julia\> msg = "Hello!" "Hello!" julia\> print("Normal: "); println(uppercase(msg)) Normal: HELLO! julia\> print("Piping: "); msg |\> uppercase |\> println Piping: HELLO! julia\> print("Compose: "); (println ∘ uppercase)(msg…

---

## [Unification or pattern matching for matching \`UnionAll\` types against each other](https://discourse.julialang.org/t/unification-or-pattern-matching-for-matching-unionall-types-against-each-other/32217)

<div class="topic-metadata">

**Author:** [@goretkin](https://discourse.julialang.org/u/goretkin)\
**Replies:** 8\
**Last updated:** [December 16, 2019, 8:23pm UTC](https://discourse.julialang.org/t/unification-or-pattern-matching-for-matching-unionall-types-against-each-other/32217 "2019-12-16T20:23:43Z")

</div>

There’s some type-system functionality which I believe exists in Julia, that I’d like to try to access. I don’t know of a better way to explain it than jumping straight to a code example. connection(x, y) = false connec…

---

## [Could performance of globals be improved by a 265 like approach?](https://discourse.julialang.org/t/could-performance-of-globals-be-improved-by-a-265-like-approach/32292)

<div class="topic-metadata">

**Author:** [@Oscar\_Smith](https://discourse.julialang.org/u/Oscar_Smith)\
**Replies:** 9\
**Last updated:** [December 16, 2019, 4:34pm UTC](https://discourse.julialang.org/t/could-performance-of-globals-be-improved-by-a-265-like-approach/32292 "2019-12-16T16:34:52Z")

</div>

As I understand it, the fundamental problem with performance of variables in the global scope is that dynamic checks and then dispatch have to be done, since the types of globals can change after definition. What would h…

---

## [Iterate() not defined for RemoteChannel](https://discourse.julialang.org/t/iterate-not-defined-for-remotechannel/32311)

<div class="topic-metadata">

**Author:** [@bocc](https://discourse.julialang.org/u/bocc)\
**Replies:** 0\
**Last updated:** [December 15, 2019, 9:19pm UTC](https://discourse.julialang.org/t/iterate-not-defined-for-remotechannel/32311 "2019-12-15T21:19:52Z")

</div>

Channel has an iterate() method defined for it, but RemoteChannel doesn’t. Issue #31177 points out that Channel’s implementation copied over naively seems to work for RemoteChannel, too, but that issue haven’t received a…

---

## [Suggestion for sometimes faster data serialization](https://discourse.julialang.org/t/suggestion-for-sometimes-faster-data-serialization/32302)

<div class="topic-metadata">

**Author:** [@anon92994695](https://discourse.julialang.org/u/anon92994695)\
**Replies:** 8\
**Last updated:** [December 15, 2019, 9:17pm UTC](https://discourse.julialang.org/t/suggestion-for-sometimes-faster-data-serialization/32302 "2019-12-15T21:17:08Z")

</div>

Hey Julians, So I had this idea, and I was going to make an issue on a requisite package for it, then I realized the context of it is potentially broader then any single package. So in the geospatial domain a trick for…

---

## [Using other Integer types as type parameters](https://discourse.julialang.org/t/using-other-integer-types-as-type-parameters/32204)

<div class="topic-metadata">

**Author:** [@dstarerstor](https://discourse.julialang.org/u/dstarerstor)\
**Replies:** 3\
**Last updated:** [December 13, 2019, 5:28pm UTC](https://discourse.julialang.org/t/using-other-integer-types-as-type-parameters/32204 "2019-12-13T17:28:29Z")

</div>

I’ve recently been using a lot of Int16s, and found really unexpected behavior when I ended up plugging one of them in as a type parameter. For example: You can’t use one to define an NTuple julia\> NTuple{2, Nothing} T…

---

## [Can \`eltype()\` deduce the element type of a generator?](https://discourse.julialang.org/t/can-eltype-deduce-the-element-type-of-a-generator/6429)

<div class="topic-metadata">

**Author:** [@Alexander\_Belopolsky](https://discourse.julialang.org/u/Alexander_Belopolsky)\
**Replies:** 30\
**Last updated:** [December 11, 2019, 8:40pm UTC](https://discourse.julialang.org/t/can-eltype-deduce-the-element-type-of-a-generator/6429 "2019-12-11T20:40:22Z")

</div>

As of Julia Version 0.7.0-DEV.2036, calling eltype() on even the simplest generator returns Any: julia\> eltype(x for x in 1:2) Any Unless the generator function is very complicated, It does not look like a hard problem…

---

## [Working towards better C interop](https://discourse.julialang.org/t/working-towards-better-c-interop/30637)

<div class="topic-metadata">

**Author:** [@colinxs](https://discourse.julialang.org/u/colinxs)\
**Replies:** 5\
**Last updated:** [December 10, 2019, 4:11am UTC](https://discourse.julialang.org/t/working-towards-better-c-interop/30637 "2019-12-10T04:11:50Z")

</div>

I recently wrapped a C library in Julia and am thoroughly impressed with how easy the process is compared to any other language I’ve worked with. That being said, there are a few pain points that, as far as I know, do no…

---

## [A version of sparse! that updates a previously existing SparseMatrixCSC?](https://discourse.julialang.org/t/a-version-of-sparse-that-updates-a-previously-existing-sparsematrixcsc/31943)

<div class="topic-metadata">

**Author:** [@Bruno\_Amorim](https://discourse.julialang.org/u/Bruno_Amorim)\
**Replies:** 2\
**Last updated:** [December 8, 2019, 12:57am UTC](https://discourse.julialang.org/t/a-version-of-sparse-that-updates-a-previously-existing-sparsematrixcsc/31943 "2019-12-08T00:57:31Z")

</div>

I will start with some context: I am dealing with a problem where I have to diagonalize a matrix H for diferent values of a parameter k. I know that the matrix H is sparse, but I do not now a priori either the structure…

---

## [How IntervalSets and UnitRanges compare in functionality?](https://discourse.julialang.org/t/how-intervalsets-and-unitranges-compare-in-functionality/31932)

<div class="topic-metadata">

**Author:** [@sairus7](https://discourse.julialang.org/u/sairus7)\
**Replies:** 1\
**Last updated:** [December 6, 2019, 8:41pm UTC](https://discourse.julialang.org/t/how-intervalsets-and-unitranges-compare-in-functionality/31932 "2019-12-06T20:41:41Z")

</div>

IntervalSets.jl and UnitRanges Both represent some intervals with start – end. Both support operations on sets: in, union, intersect, and so on. UnitRanges define indexing and iterator interface, which is not true sot…

---

## [Are there any (long term) plans to add higher order generics (a.k.a. higher kinded types) to Julia?](https://discourse.julialang.org/t/are-there-any-long-term-plans-to-add-higher-order-generics-a-k-a-higher-kinded-types-to-julia/1570)

<div class="topic-metadata">

**Author:** [@Steven\_Sagaert](https://discourse.julialang.org/u/Steven_Sagaert)\
**Replies:** 50\
**Last updated:** [December 4, 2019, 1:09am UTC](https://discourse.julialang.org/t/are-there-any-long-term-plans-to-add-higher-order-generics-a-k-a-higher-kinded-types-to-julia/1570 "2019-12-04T01:09:58Z")

</div>

Higher order generics are useful to write very generic libraries over container data structures. In Julia such a type would look like C1{C2{T}} with C1 & C2 container types (Arrays,Lists,…) for a second order type. Ther…

---

## [Trojan horse types - a type that takes over the function calling it](https://discourse.julialang.org/t/trojan-horse-types-a-type-that-takes-over-the-function-calling-it/31731)

<div class="topic-metadata">

**Author:** [@xiaodai](https://discourse.julialang.org/u/xiaodai)\
**Replies:** 20\
**Last updated:** [December 2, 2019, 11:16pm UTC](https://discourse.julialang.org/t/trojan-horse-types-a-type-that-takes-over-the-function-calling-it/31731 "2019-12-02T23:16:03Z")

</div>

I have been implementing a new type of array which is just a normal array except the content is fetched in the background and everything about it is the same as a normal array including access etc. I call this Array the…

---

## [Compile time slowdown from 1.1 to 1.2](https://discourse.julialang.org/t/compile-time-slowdown-from-1-1-to-1-2/27776)

<div class="topic-metadata">

**Author:** [@Paul\_Soderlind](https://discourse.julialang.org/u/Paul_Soderlind)\
**Replies:** 12\
**Last updated:** [November 27, 2019, 10:59pm UTC](https://discourse.julialang.org/t/compile-time-slowdown-from-1-1-to-1-2/27776 "2019-11-27T22:59:27Z")

</div>

I just tried to benchmark a suite of plots in 1.1.1 and then in 1.2.0 (Windows 64). It includes line plots, scatters, bars, contours and surfaces. (The underlying notebook is at JuliaTutorial/Tutorial\_04\_Plots.ipynb at …

---

## [Type chains for multiple dispatch](https://discourse.julialang.org/t/type-chains-for-multiple-dispatch/31586)

<div class="topic-metadata">

**Author:** [@atell\_soundtheory](https://discourse.julialang.org/u/atell_soundtheory)\
**Replies:** 3\
**Last updated:** [November 27, 2019, 8:55pm UTC](https://discourse.julialang.org/t/type-chains-for-multiple-dispatch/31586 "2019-11-27T20:55:33Z")

</div>

Dear fellow Julians, I’m currently trying to design a package for computational differential geometry, and I’ve encountered a few places in my design where a certain enhancement of the dispatch semantics would be of gre…

---

## [findfirst for iterator-defined collections](https://discourse.julialang.org/t/findfirst-for-iterator-defined-collections/13792)

<div class="topic-metadata">

**Author:** [@wgm](https://discourse.julialang.org/u/wgm)\
**Replies:** 5\
**Last updated:** [November 26, 2019, 11:43am UTC](https://discourse.julialang.org/t/findfirst-for-iterator-defined-collections/13792 "2019-11-26T11:43:17Z")

</div>

I would like to be able to use findfirst over a collection defined by an iterator. For example findfirst(x-\>x==5, collect(Iterators.flatten((1:2,5:7)))) == 3 but there is no method for findfirst(x-\>x==5, Iterators.fla…

---

## [Paper for discussion: The Linear Algebra Mapping Problem](https://discourse.julialang.org/t/paper-for-discussion-the-linear-algebra-mapping-problem/31431)

<div class="topic-metadata">

**Author:** [@berceanu](https://discourse.julialang.org/u/berceanu)\
**Replies:** 13\
**Last updated:** [November 25, 2019, 3:06am UTC](https://discourse.julialang.org/t/paper-for-discussion-the-linear-algebra-mapping-problem/31431 "2019-11-25T03:06:22Z")

</div>

---

## [Hope Julia can use some shorter key words!](https://discourse.julialang.org/t/hope-julia-can-use-some-shorter-key-words/31247)

<div class="topic-metadata">

**Author:** [@LarkyJulia](https://discourse.julialang.org/u/LarkyJulia)\
**Replies:** 13\
**Last updated:** [November 19, 2019, 10:17pm UTC](https://discourse.julialang.org/t/hope-julia-can-use-some-shorter-key-words/31247 "2019-11-19T22:17:16Z")

</div>

I guess most programmers don’t want to type many words while fewer can make things clear. So I highly suggest Julia directing board to use some shorter key words, for example the function(), could we just use fn() or ev…

---

## [Dynamic Typing and No Class Method?](https://discourse.julialang.org/t/dynamic-typing-and-no-class-method/31257)

<div class="topic-metadata">

**Author:** [@LarkyJulia](https://discourse.julialang.org/u/LarkyJulia)\
**Replies:** 4\
**Last updated:** [November 19, 2019, 12:23pm UTC](https://discourse.julialang.org/t/dynamic-typing-and-no-class-method/31257 "2019-11-19T12:23:32Z")

</div>

Except the long keyword sugestions which is doomed to be ignored. I have two more suggestions for Julia: 1: Dynamic Typing: I actually think dynamic typing is not necessary if it influence the running performance or it …

---

## [Making an immutable array type?](https://discourse.julialang.org/t/making-an-immutable-array-type/31129)

<div class="topic-metadata">

**Author:** [@nben](https://discourse.julialang.org/u/nben)\
**Replies:** 19\
**Last updated:** [November 16, 2019, 3:55pm UTC](https://discourse.julialang.org/t/making-an-immutable-array-type/31129 "2019-11-16T15:55:46Z")

</div>

I’ve been writing an immutable collections and STM library for Julia based on similar awesome libraries in scala and clojure (work in progress, but repo is here). As I’ve been writing it, I’ve noticed that some of the op…

---

## [Clarification about memory management of immutable and mutable struct](https://discourse.julialang.org/t/clarification-about-memory-management-of-immutable-and-mutable-struct/31064)

<div class="topic-metadata">

**Author:** [@nben](https://discourse.julialang.org/u/nben)\
**Replies:** 12\
**Last updated:** [November 14, 2019, 10:08pm UTC](https://discourse.julialang.org/t/clarification-about-memory-management-of-immutable-and-mutable-struct/31064 "2019-11-14T22:08:57Z")

</div>

Hello, I’ve been playing around with Julia for awhile and am a big fan of the language overall. Recently, I’ve been doing a bit of work to construct an immutable collections and functional utilities library (work in pro…

---

## [Accessing \`ans\` by pressing the \`\[DOWN\]\` key](https://discourse.julialang.org/t/accessing-ans-by-pressing-the-down-key/30797)

<div class="topic-metadata">

**Author:** [@Iagoba\_Apellaniz](https://discourse.julialang.org/u/Iagoba_Apellaniz)\
**Replies:** 12\
**Last updated:** [November 10, 2019, 5:00pm UTC](https://discourse.julialang.org/t/accessing-ans-by-pressing-the-down-key/30797 "2019-11-10T17:00:29Z")

</div>

The title explains itself. Wouldn’t be great, in the REPL, to be able to access ans by pressing the \[DOWN\] key (or any other better one) once the history has finished? IMHO Yes, it would.

---

## [Thoughts around ways of ensuring compile time evaluation / const prop / inference?](https://discourse.julialang.org/t/thoughts-around-ways-of-ensuring-compile-time-evaluation-const-prop-inference/28904)

<div class="topic-metadata">

**Author:** [@jackf](https://discourse.julialang.org/u/jackf)\
**Replies:** 17\
**Last updated:** [November 10, 2019, 12:06pm UTC](https://discourse.julialang.org/t/thoughts-around-ways-of-ensuring-compile-time-evaluation-const-prop-inference/28904 "2019-11-10T12:06:36Z")

</div>

When writing julia code, I find a lot of my time is spent on a common themes: trying to ensure some piece of code is either constant propagating or inferring as I intend / expect. I find this stuff quite difficult to sys…

---

## [\`@everywhere using\` fails for stdlib functions in distribution binaries](https://discourse.julialang.org/t/everywhere-using-fails-for-stdlib-functions-in-distribution-binaries/30907)

<div class="topic-metadata">

**Author:** [@singularitti](https://discourse.julialang.org/u/singularitti)\
**Replies:** 4\
**Last updated:** [November 10, 2019, 7:15am UTC](https://discourse.julialang.org/t/everywhere-using-fails-for-stdlib-functions-in-distribution-binaries/30907 "2019-11-10T07:15:05Z")

</div>

Is this a bug? julia\> using Distributed julia\> addprocs(4) 4-element Array{Int64,1}: 2 3 4 5 julia\> using Distributed julia\> @everywhere using DistributedArrays ERROR: ArgumentError: Package DistributedArrays …

[Previous page](https://discourse.julialang.org/c/dev/5.md?page=41)

[Next page](https://discourse.julialang.org/c/dev/5.md?page=43)