python (65.2k questions)

javascript (44.3k questions)

reactjs (22.7k questions)

java (20.8k questions)

c# (17.4k questions)

html (16.3k questions)

r (13.7k questions)

android (13k questions)

Questions - heterogeneous-list

Is it possible to have elements of a heterogeneous list depend on the type of preceding elements?

Context I want to model the routes of a web application such that it satisfies the following requirements: Can enforce complete definitions Can create incomplete definitions Can check if an incomplet...
test-img

glennsl

ocaml

gadt

heterogeneous-list

Votes: 0

Answers: 1

Latest Answer

It is possible to have heterogeneous lists for which the type of each element depends on the previous element and impose the constraint on the following type. The core idea is to realize that each ele...
test-img

octachron

Posts

Questions

Blogs

Jobs