Hacker GitHub

← All repos

astrieanna/TypeCheck.jl

View on GitHub ↗ ★ 68 Julia

A TypeChecker for Julia

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2015-03-01 · latest 2016-09-16

Mentions per year 3 mentions · busiest year 2016 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …for deriving the type of every expression in a program, but that's not actually necessary. [1] https://github.com/astrieanna/TypeCheck.jl [2] https://github.com/tonyhffong/Lint.jl
    comment by StefanKarpinski · 2016-09-16 · in The advantages of static typing, simply stated
  2. …at deducing when AbstractVector can't be used. Nope, not just you. This is definitely an issue. [1] https://github.com/astrieanna/TypeCheck.jl [2] https://github.com/tonyhffong/Lint.jl
    comment by ihnorton · 2016-07-21 · in Programming Language Rankings: June 2016
  3. …though of course no language is perfect. [0] http://docs.julialang.org/en/latest/manual/types/ [1] https://github.com/astrieanna/TypeCheck.jl Minor nitpick: > Tut, tut. That should really be a set! It’s much faster, O(1). Structures like…
    comment by one-more-minute · 2015-03-01 · in Sylph: the programming language I want