Hacker GitHub

← All repos

tomprimozic/type-systems

View on GitHub ↗ ★ 1,605 OCaml

Implementations of various type systems in OCaml.

19 mentions on Hacker News by 10 people: 4 stories, 15 comments · first 2014-04-04 · latest 2019-05-04

Mentions per year 19 mentions · busiest year 2014 (12)
20082026
AllStoriesComments NewestTopOldest
  1. …similar results, but I don't know how feasible or acceptable to mainstream programmers this is. [1] https://github.com/tomprimozic/type-systems/tree/master/exte... [2] https://elm-lang.org/docs/records
    comment by revvx · 2019-05-04 · in What to Know Before Debating Type Systems (2008)
  2. …automated theorem prover. lookup : (a : array) -> (n : int if 0 <= n < length(a)) -> whatever [0] https://github.com/tomprimozic/type-systems/tree/master/refi... [1] https://ucsd-progsys.github.io/liquidhaskell-blog/ [2]…
    comment by tomp · 2018-12-18 · in Dependent Haskell
  3. Check out https://github.com/tomprimozic/type-systems there's been a few HN threads about it as well. I can also answer any specific questions you have, or if you want further resources I can try and find them... (there's a good online…
    comment by tomp · 2018-10-17 · in Ask HN: What's your favorite elegant/beautiful algorithm?
  4. …`(a -> b) & (b -> c)` are quite rare (although I'm sure that you can think of an example). [1] https://github.com/tomprimozic/type-systems/tree/master/firs... Edit: although on second thought, just first-class polymorphism isn't enough to…
    comment by tomp · 2017-03-03 · in Algebraic Subtyping (2016) [pdf]
  5. …bookmarked these related pages: http://smallshire.org.uk/sufficientlysmall/2010/04/11/a-hind... https://github.com/tomprimozic/type-systems
    comment by chubot · 2016-04-27 · in Show HN: Hindley-Milner Type Inference Algorithm in OCaml
  6. …Written by Luca Cardelli, a type fellow, it really helped me to understand type inference. [1] https://github.com/tomprimozic/type-systems . [2] http://lucacardelli.name/Papers/BasicTypechecking.pdf
    comment by dwenzek · 2015-03-02 · in An Explanation of Type Inference for ML/Haskell
  7. …regard, which makes it possible to combine static and dynamic types and do type inference. See e.g. https://github.com/tomprimozic/type-systems/tree/master/grad... Now of course PyPy may hold the position that it's going to eschew static…
    comment by andreasvc · 2014-08-19 · in Mypy – static type checking for Python 3
  8. Cool, thanks for that list! I also found https://github.com/tomprimozic/type-systems which has OCaml implementations (including algorithm W).
    comment by tempodox · 2014-08-13 · in Safely Composable Type-Specific Languages [pdf]
  9. …same representation of `int * int * int`. [1] http://research.microsoft.com/en-us/projects/fcp/ [2] https://github.com/tomprimozic/type-systems/tree/master/firs...
    comment by tomp · 2014-08-04 · in Look at the humongous type that Hindley-Milner infers for this tiny program
  10. …www.kennknowles.com/research/knowles-flanagan.toplas.... [5] http://sage.soe.ucsc.edu/sage-tr.pdf [6] https://github.com/tomprimozic/type-systems/tree/master/refi...
    comment by tomp · 2014-06-10 · in Types Are The Truth
  11. …it here [2] (in OCaml). [1] http://research.microsoft.com/apps/pubs/default.aspx?id=6540... [2] https://github.com/tomprimozic/type-systems/tree/master/exte...
    comment by tomp · 2014-06-07 · in Ur/web: pure functional, statically typed web programming
  12. …system “can prevent Heartbleed”. It can't, because Heartbleed is not written in the language at https://github.com/tomprimozic/type-systems/blob/master/refi... Describing your github repository with the words “can prevent Heartbleed” is…
    comment by pascal_cuoq · 2014-06-01 · in Show HN: Simple refined types implementation that can prevent Heartbleed
  13. …contracts) and is much simpler than I expected. It uses Z3 to prove that the code is correct. https://github.com/tomprimozic/type-systems/tree/master/refi... Edit: I submitted it as a separate story here:…
    comment by tomp · 2014-05-31 · in Pointers Gone Wild
  14. …yesterday thanks to HN, both of which are teaching me a lot about practical type systems: 1. https://github.com/tomprimozic/type-systems (great practical intro to Hindley-Milner and variations) 2. https://github.com/typeclassy/plzoo…
    comment by jnbiche · 2014-04-07 · in Why and How to Start Your SICP Trek
  15. …first-class polymorphism), while gradual typing is almost done (based on [2], in branch 'dev'). [1] https://github.com/tomprimozic/type-systems [2] Jeremy G. Siek, Manish Vachharajani - Gradual Typing with Uni cation-based Inference -…
    comment by tomp · 2014-04-04 · in Learn C and build your own Lisp