I know of "imperative" and "functional" programming but there was little I could find on "datatype" programming. Is there such a thing and how is it related to the other paradigms?
Related Questions in TYPES
- Need clarification on VHDL expressions involving std_logic_vector, unsigned and literals, unsure about compiler interpretation
- Adding a different string to a table fails
- The type of B is displayed as A when `type B = A` is used. Why is it displayed as `any` when `type B = A | A` is used instead?
- why we got same data type in two versions like "int" and "integer" in php?
- Handling NaN entries in a dataframe created from CSV
- Cannot find type definition file for 'node' in react project
- Correct way to count types in whole corpus
- Typescript: how to get possible keys from const with limited values?
- Having two Image types in React TypeScript one for upload, one for display
- MOOC.fi Java Programming course 1 - Exercise 13 "Exercises" Part 6 - Compilation error
- Is is a mistake to use type keyword after curly braces in TS when importing constants and files fro one file?
- type annotations needed, try using a fully qualified path to specify the expected types
- Need a simple example how to catch a data type error en C++
- Pyspark reads data as string but on Mongo they are double
- Extract a Maybe from a heterogeneous collection
Related Questions in THEORY
- Theory of Comp Sci - State Diagrams NFAs
- About Suffix Trees features
- Cryptography Notion - Diffie-Hellmann
- Correct labeling for this regular language?
- How to measure distinct time intervals - data generation, insertion, and database processing latency - in PostgreSQL
- Looking for strategies to check if a system has been restarted
- Difference between similar terms in OS and GPU
- best approch for filtering
- How to Estimate Theoretical Execution Time for Dynamic Data Generation in PostgreSQL Function?
- Reduce if/else-if on a bunch of partially overlapping conditions
- Theory of algorithms and counting the number of operations
- Nodejs readable-stream vs array.map
- Use a YOLO neural network to extend dataset for re-train same model?
- Effective ways to avoid skipping a record
- Why is array element referencing a constant time operation?
Related Questions in PARADIGMS
- Getting Type Mismatch Errors, new to F#, how do I fix?
- What is the paradigm of wrapping generic parameters into nested structures called?
- Does "Data Oriented Programming" just mean "using a global object" in javascript terms?
- Storing car part data in a database
- What is the difference between abstraction and declarative programming?
- Why is mongoDB a database server?
- Can I inject the same dependency into multiple objects of the same type?
- language for data-driven programming
- Scheme function for adding elements in nested list
- How to avoid code repetition in rust (in struct, and traits)?
- Should I use a global variable or is there any other option in this example?
- Alternative to OOP in Julia
- Incrementing a counter with functional programming vs imperative programming
- Practical Advantages and Disadvantages of Answer Set Programming/Logic Programming
- How to express recursive calls in higher dimensions
Related Questions in LANGUAGE-THEORY
- Intersection of two Deterministic Finite Automata (DFA)
- Rust is the automatic dereference of Box types prohibative?
- concatenation two strings recursive
- Why is L = {a^ib^i , 0<i<5} regular?
- are the variables declared in programming language **terminal** symbols or **non-terminal** symbols
- Does aabbabb belong to the regular expression ((a*| b*)bb)*?
- Recognizabilty of a set in regards to their size bounds
- Recursive vs recursively enumerable language in Turing Machines?
- Why is TryParse the way round that it is?
- What is the name of this programming language feature and are there any real-world languages that support it?
- What actually is the assignment symbol in python?
- Why can't a left-recursive, non-deterministic, or ambiguous grammar be LL(1)?
- Pumping lemma for CFL
- Confusion over the abstract formatting of an AST declaration of functions
- Alternative to backing up in a scanner?
Popular Questions
- How do I undo the most recent local commits in Git?
- How can I remove a specific item from an array in JavaScript?
- How do I delete a Git branch locally and remotely?
- Find all files containing a specific text (string) on Linux?
- How do I revert a Git repository to a previous commit?
- How do I create an HTML button that acts like a link?
- How do I check out a remote Git branch?
- How do I force "git pull" to overwrite local files?
- How do I list all files of a directory?
- How to check whether a string contains a substring in JavaScript?
- How do I redirect to another webpage?
- How can I iterate over rows in a Pandas DataFrame?
- How do I convert a String to an int in Java?
- Does Python have a string 'contains' substring method?
- How do I check if a string contains a specific word?
Trending Questions
- UIImageView Frame Doesn't Reflect Constraints
- Is it possible to use adb commands to click on a view by finding its ID?
- How to create a new web character symbol recognizable by html/javascript?
- Why isn't my CSS3 animation smooth in Google Chrome (but very smooth on other browsers)?
- Heap Gives Page Fault
- Connect ffmpeg to Visual Studio 2008
- Both Object- and ValueAnimator jumps when Duration is set above API LvL 24
- How to avoid default initialization of objects in std::vector?
- second argument of the command line arguments in a format other than char** argv or char* argv[]
- How to improve efficiency of algorithm which generates next lexicographic permutation?
- Navigating to the another actvity app getting crash in android
- How to read the particular message format in android and store in sqlite database?
- Resetting inventory status after order is cancelled
- Efficiently compute powers of X in SSE/AVX
- Insert into an external database using ajax and php : POST 500 (Internal Server Error)
I have never heard of that term. Google hasn't, either. (The only hit is this very question.)
The closest thing I can think of, is Typeful Programming, which is a programming paradigm introduced by Luca Cardelli in a 1989 paper by the same title.
The idea of typeful programming is that you use types extensively and primarily to model your domain, drive your design, structure your program and in general solve your problem, the same way you use objects in object-oriented programming, procedures in procedural programming, functions in functional programming, clauses in logic programming, processes in Erlang, and so on. This is a typical style in Haskell.
[EDIT: I hadn't seen your comments on the question, when I wrote this answer. I guess this second one is what you are looking for.]
Another term that I stumbled upon while doing the above-mentioned Google search, is the term datatype-generic programming. This is a research project that ran from 2003 to 2006 that aims to create a new mechanism for writing programs that parametrize over types much further as is possible today with, say, parametric polymorphism in Haskell or templates in C++.