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?
datatype programming
172 Views Asked by David K. At
1
There are 1 best solutions below
Related Questions in TYPES
- Inheritance in Java, apparent type vs actual type
- Converting 8 byte char array into long
- Derby, Java: Trouble with "CREATE_TYPE" statement
- How to tell Java that two wildcard types are the same?
- F# strange type error message
- Convert String scanner to class type
- How to access a Row Type within an Array Type in DB2 SQL PL
- Python Type Dispatching with variables, is it possible?
- Ocaml unbound type constructor with module
- Cloning a Javascript object with its type
- How to remove error of incompatible variable types in LoadLibrary() function?
- What's the difference or relationship between Type and TypeInfo?
- Scala: generic method using implicit evidence doesn't compile
- Guaranteeing data type size
- Convert String With Comma To Number Using Python Pandas
Related Questions in THEORY
- What is the best nomenclature for a task that "only happens once" or a task that "repeats"?
- c++ dynamically declared array fails to work
- Finding least Common ancestor in Binary Tree with o(h^2) for a change
- Lower Bound (via testing) vs. Upper Bound (via proof) for Correctness
- Tensor networks vs. Neural networks
- Is the following approach correct to find "Longest Path In a Tree"?
- Standards/specifications for WYSIWYG text editor development
- What are ways a debug statement could "fix" bugs in a program?
- Is it theoretically possible to run software parallel to the OS?
- optimizing 3D in free roaming games
- How to find (a*b)%m for large a and b?
- Is performance of "less/greater than than" better than "less/greater than or equal to"
- Why does tail call optimization need an op code?
- Finding Bridges in a graph C++ (BOOST)?
- What are the good practices in layered programming?
Related Questions in PARADIGMS
- Programming practice: How to separate concerns regarding sql access (in python)?
- Understanding the Exact Computation Paradigm
- How are J/K/APL classified in terms of common paradigms?
- must the imperative programming paradigm comply with the forward declaration rule?
- Why is the paradigm of "direct database connection" not welcomed by the Android platform?
- MVC & Program State - Should Models be Dumb?
- Why is Clojure dynamically typed?
- What is the usage of Model in MVC? Is it actually useful?
- parsing and storing ebook content, sqlite indexing
- Does setting the text of a simple text label go against MVC?
- One datasource for project
- Passing on a function from server to client
- How to abstract 3rd party implementation details from the core functionality?
- Good Implementation of Aspect oriented Programming reference required
- Can any language be used to program in any paradigm?
Related Questions in LANGUAGE-THEORY
- Regular expression for strings that cointains a and an even number of b's
- How to call a structured language that cannot loop or a functional language that cannot return
- Building an OOP programming language from "Atoms"
- How to know what's a language?
- Is HTML a context-free language?
- Intersection of two Deterministic Finite Automata (DFA)
- Language Theory - Loop Invariants - Pre/Post Conditions
- Pumping lemma for CFL
- Reason for precedence of instanceof/is
- what exactly is a "register machine"?
- Good information about type systems based on contracts/constraints?
- Exactly what is the difference between a "closure" and a "block"?
- datatype programming
- Am I understanding Predicates correctly in regards to LINQ
- Why does Google claim that Javascript closures are dangerous?
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)
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?
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++.