# Internals & Design

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

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

**Page:** 77

---

## [Status of .+ fusion?](https://discourse.julialang.org/t/status-of-fusion/833)

<div class="topic-metadata">

**Author:** [@StefanKarpinski](https://discourse.julialang.org/u/StefanKarpinski)\
**Replies:** 8\
**Last updated:** [December 13, 2016, 4:49am UTC](https://discourse.julialang.org/t/status-of-fusion/833 "2016-12-13T04:49:35Z")

</div>

I’ve lost track of where we are with this. I know @stevengj and @sacha have done a lot of work on this – where do we stand? What’s left to do? What are the blockers? Are we on track to have full dot-syntax fusion by feat…

---

## [Make \`Type{}\` "covariant"](https://discourse.julialang.org/t/make-type-covariant/900)

<div class="topic-metadata">

**Author:** [@mauro3](https://discourse.julialang.org/u/mauro3)\
**Replies:** 7\
**Last updated:** [December 12, 2016, 9:19pm UTC](https://discourse.julialang.org/t/make-type-covariant/900 "2016-12-12T21:19:58Z")

</div>

This is probably a stupid question: couldn’t Type behave covariantly? So, e.g. Type{Int}\<:Type{Integer}. As Type can never be instantiated, the usual road-blocks for covariance do not apply. Also Type is pretty special …

---

## [Dictionaries of String =\> Any or Symbol =\> Any , dot notation](https://discourse.julialang.org/t/dictionaries-of-string-any-or-symbol-any-dot-notation/605)

<div class="topic-metadata">

**Author:** [@TsurHerman](https://discourse.julialang.org/u/TsurHerman)\
**Replies:** 9\
**Last updated:** [December 12, 2016, 9:55am UTC](https://discourse.julialang.org/t/dictionaries-of-string-any-or-symbol-any-dot-notation/605 "2016-12-12T09:55:59Z")

</div>

I understand that there are many implications to consider when promoting getfield from Core to Base (which will allow overloading of the dot operator) But I thing at least for dictionaries with keys either symbol or st…

---

## [What is the future of \`sin(::Vector)\` when there is \`sin.(::Vector)\`?](https://discourse.julialang.org/t/what-is-the-future-of-sin-vector-when-there-is-sin-vector/677)

<div class="topic-metadata">

**Author:** [@Evizero](https://discourse.julialang.org/u/Evizero)\
**Replies:** 34\
**Last updated:** [December 10, 2016, 12:08pm UTC](https://discourse.julialang.org/t/what-is-the-future-of-sin-vector-when-there-is-sin-vector/677 "2016-12-10T12:08:19Z")

</div>

Since - as I understand it - the new broadcast sugar is the new way of computing the element-wise value of a function I wonder what the plan is with the special vectorized versions, such as sin(::Vector) for example. Is …

---

## [Syntax sugar for Union{T, Void}](https://discourse.julialang.org/t/syntax-sugar-for-union-t-void/826)

<div class="topic-metadata">

**Author:** [@FANG\_Colin](https://discourse.julialang.org/u/FANG_Colin)\
**Replies:** 5\
**Last updated:** [December 9, 2016, 8:28pm UTC](https://discourse.julialang.org/t/syntax-sugar-for-union-t-void/826 "2016-12-09T20:28:53Z")

</div>

I found myself writing Union{T, Void} a lot in the function default arguments, e.g. function integers{T}( ::Type{T}; min\_value::Union{Integer, Void}=nothing, max\_value::Union{Integer, Void}=nothi…

---

## [Poll: Python-style ternary operator (was: Syntax polls)](https://discourse.julialang.org/t/poll-python-style-ternary-operator-was-syntax-polls/792)

<div class="topic-metadata">

**Author:** [@pitao](https://discourse.julialang.org/u/pitao)\
**Replies:** 11\
**Last updated:** [December 8, 2016, 4:49pm UTC](https://discourse.julialang.org/t/poll-python-style-ternary-operator-was-syntax-polls/792 "2016-12-08T16:49:12Z")

</div>

A couple of weeks back I punted the idea of voting on design issues and it met with favourable response. So let’s give it a go! We have Julia 1.0 round the corner. So Winter '16 must be close to last call for major syn…

---

## [Ideas for Unicode aliases for operators / keywords](https://discourse.julialang.org/t/ideas-for-unicode-aliases-for-operators-keywords/780)

<div class="topic-metadata">

**Author:** [@pitao](https://discourse.julialang.org/u/pitao)\
**Replies:** 7\
**Last updated:** [December 8, 2016, 5:13am UTC](https://discourse.julialang.org/t/ideas-for-unicode-aliases-for-operators-keywords/780 "2016-12-08T05:13:41Z")

</div>

Code like if x ∈ X gives mathematicians a warm fuzzy feeling. My experience is that it is easier to parse symbols than text – it’s more primal. C++ ran into the issue of having to reuse a very small set of symbols, to …

---

## [Voting system to assess community demand for various features](https://discourse.julialang.org/t/voting-system-to-assess-community-demand-for-various-features/627)

<div class="topic-metadata">

**Author:** [@pitao](https://discourse.julialang.org/u/pitao)\
**Replies:** 13\
**Last updated:** [December 7, 2016, 11:55pm UTC](https://discourse.julialang.org/t/voting-system-to-assess-community-demand-for-various-features/627 "2016-12-07T23:55:08Z")

</div>

A few years back I was using Unity3D. They had a nice system where each developer gets 10 votes and can vote for ideas (or even create a new idea and award it votes). One is allowed to spend multiple votes on a single i…

---

## [Static Compilation - 1.0 or post 1.0?](https://discourse.julialang.org/t/static-compilation-1-0-or-post-1-0/615)

<div class="topic-metadata">

**Author:** [@Tem\_Pl](https://discourse.julialang.org/u/Tem_Pl)\
**Replies:** 0\
**Last updated:** [November 28, 2016, 4:54pm UTC](https://discourse.julialang.org/t/static-compilation-1-0-or-post-1-0/615 "2016-11-28T16:54:21Z")

</div>

Hi, Any sense on when reasonably sized static compilation output will be available?

---

## [Not() functional composition](https://discourse.julialang.org/t/not-functional-composition/695)

<div class="topic-metadata">

**Author:** [@closescreen](https://discourse.julialang.org/u/closescreen)\
**Replies:** 1\
**Last updated:** [December 2, 2016, 2:09pm UTC](https://discourse.julialang.org/t/not-functional-composition/695 "2016-12-02T14:09:14Z")

</div>

Hi, all! How about add to Julia simple function not() ? Sample: not(f::Function) = (args…)-\>!f(args…) julia\> filter(isempty , \[“”,“asd”,“”,“too”\] ) 2-element Array{String,1}: “” “” julia\> filter( not(isempty) , \[…

---

## [Obsolete packages?](https://discourse.julialang.org/t/obsolete-packages/607)

<div class="topic-metadata">

**Author:** [@cormullion](https://discourse.julialang.org/u/cormullion)\
**Replies:** 4\
**Last updated:** [December 1, 2016, 3:37pm UTC](https://discourse.julialang.org/t/obsolete-packages/607 "2016-12-01T15:37:33Z")

</div>

Looking through pkg.julialang.org I noticed quite a few packages that look to be obsolete (n years since being updated, all tests failing). I had a go at “adopting” one recently, and made a PR, but I suspect that the aut…

---

## [Providing traits, apis, generics, qualities, prototypes,](https://discourse.julialang.org/t/providing-traits-apis-generics-qualities-prototypes/325)

<div class="topic-metadata">

**Author:** [@JeffreySarnoff](https://discourse.julialang.org/u/JeffreySarnoff)\
**Replies:** 11\
**Last updated:** [November 29, 2016, 11:40pm UTC](https://discourse.julialang.org/t/providing-traits-apis-generics-qualities-prototypes/325 "2016-11-29T23:40:43Z")

</div>

What are their strengths, capabilities, roles, and limitations separately? What different/distinct strengths, capabilities, roles and limitations arise with cooperative subsets?

---

## [Porting Julia to other platforms. llvm libunwind](https://discourse.julialang.org/t/porting-julia-to-other-platforms-llvm-libunwind/575)

<div class="topic-metadata">

**Author:** [@seokj567](https://discourse.julialang.org/u/seokj567)\
**Replies:** 14\
**Last updated:** [November 28, 2016, 10:39pm UTC](https://discourse.julialang.org/t/porting-julia-to-other-platforms-llvm-libunwind/575 "2016-11-28T22:39:08Z")

</div>

Hi. I’ve been working on Julia port for bitrig (I’ll start porting to openbsd as soon as they finish thread local storage support but it’s going to take some time). As Bitrig(and openbsd) does not provide getcontext re…

---

## [Pool allocation at run time - how hard is it?](https://discourse.julialang.org/t/pool-allocation-at-run-time-how-hard-is-it/514)

<div class="topic-metadata">

**Author:** [@Stephen\_Vavasis](https://discourse.julialang.org/u/Stephen_Vavasis)\
**Replies:** 4\
**Last updated:** [November 28, 2016, 5:56pm UTC](https://discourse.julialang.org/t/pool-allocation-at-run-time-how-hard-is-it/514 "2016-11-28T17:56:18Z")

</div>

The main loop of nonlinear conjugate gradient looks like this: g = grad\_f(x) \<compute beta\> p = -g + beta \* p \<compute alpha\> x += alpha \* p Here, g, p, x are all n-vectors. If implemented in Julia exactly a…

---

## [Looking beyond Unicode](https://discourse.julialang.org/t/looking-beyond-unicode/177)

<div class="topic-metadata">

**Author:** [@pitao](https://discourse.julialang.org/u/pitao)\
**Replies:** 8\
**Last updated:** [November 26, 2016, 11:03pm UTC](https://discourse.julialang.org/t/looking-beyond-unicode/177 "2016-11-26T23:03:04Z")

</div>

Unicode is amazing, don’t get me wrong. typealias ℂ Complex{Float64} function Base.angle(z₁::ℂ, z₂::ℂ)::Float64 α = abs( angle(z₂) - angle(z₁) ) return min(α, 2π-α) end yum yum yum. A scrumptious math munch and no …

---

## [Broadcast/map return type for a function returning a Tuple](https://discourse.julialang.org/t/broadcast-map-return-type-for-a-function-returning-a-tuple/574)

<div class="topic-metadata">

**Author:** [@anon43133060](https://discourse.julialang.org/u/anon43133060)\
**Replies:** 5\
**Last updated:** [November 26, 2016, 11:03pm UTC](https://discourse.julialang.org/t/broadcast-map-return-type-for-a-function-returning-a-tuple/574 "2016-11-26T23:03:04Z")

</div>

When a function returns a tuple, for example the value of the function and its derivative: f(x) = x^2, 2x y, ∂x = f(2.) Would you expect this pattern to work with broadcast or map? For example: y, ∂x = f.(\[2., 3.\]…

---

## [LLVM upstream dropped scalar TBAA tags support](https://discourse.julialang.org/t/llvm-upstream-dropped-scalar-tbaa-tags-support/503)

<div class="topic-metadata">

**Author:** [@seokj567](https://discourse.julialang.org/u/seokj567)\
**Replies:** 3\
**Last updated:** [November 22, 2016, 7:49pm UTC](https://discourse.julialang.org/t/llvm-upstream-dropped-scalar-tbaa-tags-support/503 "2016-11-22T19:49:04Z")

</div>

Hi. I’ve been experimenting with Julia by linking it against LLVM upstream’s new (4.0) libraries and experiencing several problems in build stage. Compiling initial julia executable was possible by small patch : changi…

---

## [Syntax idea: \`like\` instead of \`similar\`](https://discourse.julialang.org/t/syntax-idea-like-instead-of-similar/456)

<div class="topic-metadata">

**Author:** [@pitao](https://discourse.julialang.org/u/pitao)\
**Replies:** 11\
**Last updated:** [November 21, 2016, 8:00pm UTC](https://discourse.julialang.org/t/syntax-idea-like-instead-of-similar/456 "2016-11-21T20:00:31Z")

</div>

rand(like!(M)) would read better than the current rand(similar(M)) It wins by 3 letters and 2 syllables. EDIT: (thanks @fengyang.wang) EDIT: how about shape? I think that’s better than either similar or like (see post…

---

## [Inconsistent promotion of unsinged integers](https://discourse.julialang.org/t/inconsistent-promotion-of-unsinged-integers/468)

<div class="topic-metadata">

**Author:** [@ethomag](https://discourse.julialang.org/u/ethomag)\
**Replies:** 1\
**Last updated:** [November 21, 2016, 1:34pm UTC](https://discourse.julialang.org/t/inconsistent-promotion-of-unsinged-integers/468 "2016-11-21T13:34:27Z")

</div>

I was surprised when I discovered the following when I was trying to do some fixed-point arithmetics julia\> UInt64(1) - 2 0xffffffffffffffff julia\> UInt32(1) - 2 -1 julia\> UInt16(1) - 2 -1 This (inconsistent ?) behavio…

---

## [Syntax idea: \`\[1 M\]\` to accomplish \`hcat( ones(size(M,1)), M )\` by broadcasting](https://discourse.julialang.org/t/syntax-idea-1-m-to-accomplish-hcat-ones-size-m-1-m-by-broadcasting/251)

<div class="topic-metadata">

**Author:** [@pitao](https://discourse.julialang.org/u/pitao)\
**Replies:** 1\
**Last updated:** [November 11, 2016, 3:26pm UTC](https://discourse.julialang.org/t/syntax-idea-1-m-to-accomplish-hcat-ones-size-m-1-m-by-broadcasting/251 "2016-11-11T15:26:20Z")

</div>

If you saw \[1 M\] What would you expect? I would expect a new column of 1s to be prepended to matrix M. i.e. the 1 would be broadcast. So it would accomplish: hcat( ones(size(M,1)), M ) Similarly \[1;M\] would vcat W…

---

## [Julep: Pkg3](https://discourse.julialang.org/t/julep-pkg3/106)

<div class="topic-metadata">

**Author:** [@StefanKarpinski](https://discourse.julialang.org/u/StefanKarpinski)\
**Replies:** 0\
**Last updated:** [November 4, 2016, 8:46pm UTC](https://discourse.julialang.org/t/julep-pkg3/106 "2016-11-04T20:46:07Z")

</div>

A work-in-progress Julep for Pkg3 can be found here: There is some discussion in the issues: This design is still incomplete, but feedback, comments and questions are welcomed.

---

## [Type UVError in base](https://discourse.julialang.org/t/type-uverror-in-base/87)

<div class="topic-metadata">

**Author:** [@musm](https://discourse.julialang.org/u/musm)\
**Replies:** 5\
**Last updated:** [November 1, 2016, 11:25pm UTC](https://discourse.julialang.org/t/type-uverror-in-base/87 "2016-11-01T23:25:34Z")

</div>

This looks a bit troublesome. Why is the inner constructor needed? The inner constructor also is ::Integer however code only accepts Int32. I’m led to believe these are bugs.

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