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. ▲ 105
    Grow Your Own Type System
    story by wtetzner · 2015-11-28 · 8 comments
  7. …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
  8. …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
  9. 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]
  10. ▲ 113
    Implementations of various type systems in OCaml
    story by mercurial · 2014-08-13 · 6 comments
  11. …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
  12. …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
  13. …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
  14. …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
  15. ▲ 56
    Show HN: Simple refined types implementation that can prevent Heartbleed
    story by tomp · 2014-05-31 · 13 comments
  16. …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
  17. ▲ 3
    Show HN: Refined types – a better type system for more secure software
    story by tomp · 2014-05-29 · 0 comments
  18. …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
  19. …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