types

Topic Replies Views Activity
How to learn to fully exploit OCaml's type system
Learning
type-system ,  types ,  book
6 443 August 18, 2022
Type of parameterized class is not bound within methods
Learning
module ,  types ,  first-class_modules ,  objects ,  exceptions
4 411 April 3, 2022
Typechecking regression between OCaml 4.12 and OCaml 4.13.1?
Community
types ,  regression
0 309 November 1, 2021
Abstract data structure type
Learning
types
9 755 October 18, 2021
Weak type when composing pretty printers
Learning
types
21 687 August 23, 2021
Type-bound value constructors with checks
Learning
type-system ,  types ,  dependent-types
3 469 June 25, 2021
[ANN] ppx_let_locs - improve stack traces
Community
announce ,  ppx ,  types
0 590 April 10, 2021
Functor implementing polymorphic module type... Help!
Learning
types ,  functor ,  polymorphism
11 983 September 9, 2020
Protocol buffers and parametric polymorphism
Ecosystem
types ,  polymorphism ,  protobufs
1 532 June 23, 2020
What is this syntax `type t = (string,int,String.comparator_witness) Map.t`?
Learning
types ,  syntax
2 1006 April 21, 2020
Types as first class citizens in OCaml
Learning
types ,  dynamic-programming
8 4680 February 17, 2020
How to enforce constraints / subtype in a polymorpic function
Learning
types
3 752 December 12, 2019
Containers interface & Passing constraints through functors
Learning
type-system ,  base ,  types ,  functor
9 1129 July 3, 2019
Is there a tool to do automatic serialization/deserialization AND automatic schema migration (from OCaml types)?
Ecosystem
types ,  serialization
11 2350 June 4, 2019
"Master" types in Jane St versioned RPC, can they change?
Ecosystem
rpc ,  types ,  library
0 575 March 11, 2019
ATD - static types for json APIs, v1.13.0 | new documentation home
Community
announce ,  documentation ,  types ,  json ,  atd
9 1382 June 2, 2018
Is there any OCaml(not ML or StandardML) - inspired languages with dependent types and algebraic affects?
Learning
language ,  types
5 1645 November 20, 2017