Gsyfuy

Phrase for the opposite of "foolproof"

555 timer FM transmitter

What are the steps to solving this definite integral?

Like totally amazing interchangeable sister outfits II: The Revenge

How do I deal with a coworker that keeps asking to make small superficial changes to a report, and it is seriously triggering my anxiety?

How to write a column outside the braces in a matrix?

Mistake in years of experience in resume?

Is it idiomatic to construct against `this`

As an international instructor, should I openly talk about my accent?

Critique of timeline aesthetic

Pulling the rope with one hand is as heavy as with two hands?

Philosophical question on logistic regression: why isn't the optimal threshold value trained?

How to pronounce 'c++' in Spanish

How do I reattach a shelf to the wall when it ripped out of the wall?

Can SQL Server create collisions in system generated constraint names?

Relationship between strut and baselineskip

Function pointer with named arguments?

How does Captain America channel this power?

How to fry ground beef so it is well-browned

Which big number is bigger?

What is causing the white spot to appear in some of my pictures

Checks user level and limit the data before saving it to mongoDB

Why must Chinese maps be obfuscated?

Can an Area of Effect spell cast outside a Prismatic Wall extend inside it?

What are the characteristics of a typeless programming language?

Categorisation of type systems (strong/weak, dynamic/static)Inferring refinement typesHow is a type system related to a progam?Why are types and grammar non-terminals so distinct?What is the difference between variables and pointers?Terminology - the reason for symbol reuse in programming languagesWhat does Harper mean by “class”?How does a language abstract away from underlying byte machines?What concept is for a name referring to different types at different points in execution?Can String be a subtype of Character in a programming language?

3

$begingroup$

Assume that we have an imaginary programming language that allows you to assign a Literal to a variable, but does not allow you to set the the data type of the variable, for example

Allocate4Bytes   an_int_variable        123456;

Allocate2Bytes   a_short_int_variable   123;

Allocate4Bytes   a_float_variable       2.1;

And this programming language also provides different operators to work with different data types, for example:

• The + operator is used to add an int to a short int.


• The #+ operator is used to add a float to an int.


• the = operator is used to assign an int to an int.


• the #= operator is used to assign a short int to a short int.


• etc.

So it is the job of the programmer to keep track of the data type of each variable and use the appropriate operator on it.

Is this programming language considered to be a typeless programming language, or can we say that this programming language have data types (even though it does not have operator overloading and type safety, etc.)?

programming-languages

share|cite|improve this question

asked 5 hours ago

user4582812user4582812

161

New contributor

user4582812 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  It's simple: the variables have no type. An example of a typed language is C/C++ (you have a char, an int, a float,...), while not typed languages don't have it (e.g., Mathematica).
  $endgroup$
  – Iago Carvalho
  5 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Your language, on the other hand, looks like to be typed (even if not explicitly defined). However, I'm not an expert on this subject and I'm not 100% sure about it... Please, someone correct me if I'm wrong.
  $endgroup$
  – Iago Carvalho
  5 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @Iago Carvalho You said that a typeless language means that "the variables have no type", and then you said "Your language, on the other hand, looks like to be typed". How is my language looks like to be typed if my variables don't have data types?
  $endgroup$
  – user4582812
  4 hours ago
  

  
  
  
  

add a comment | 

3

$begingroup$

Assume that we have an imaginary programming language that allows you to assign a Literal to a variable, but does not allow you to set the the data type of the variable, for example

Allocate4Bytes   an_int_variable        123456;

Allocate2Bytes   a_short_int_variable   123;

Allocate4Bytes   a_float_variable       2.1;

And this programming language also provides different operators to work with different data types, for example:

• The + operator is used to add an int to a short int.


• The #+ operator is used to add a float to an int.


• the = operator is used to assign an int to an int.


• the #= operator is used to assign a short int to a short int.


• etc.

So it is the job of the programmer to keep track of the data type of each variable and use the appropriate operator on it.

Is this programming language considered to be a typeless programming language, or can we say that this programming language have data types (even though it does not have operator overloading and type safety, etc.)?

programming-languages

share|cite|improve this question

asked 5 hours ago

user4582812user4582812

161

New contributor

user4582812 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  It's simple: the variables have no type. An example of a typed language is C/C++ (you have a char, an int, a float,...), while not typed languages don't have it (e.g., Mathematica).
  $endgroup$
  – Iago Carvalho
  5 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Your language, on the other hand, looks like to be typed (even if not explicitly defined). However, I'm not an expert on this subject and I'm not 100% sure about it... Please, someone correct me if I'm wrong.
  $endgroup$
  – Iago Carvalho
  5 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @Iago Carvalho You said that a typeless language means that "the variables have no type", and then you said "Your language, on the other hand, looks like to be typed". How is my language looks like to be typed if my variables don't have data types?
  $endgroup$
  – user4582812
  4 hours ago
  

  
  
  
  

add a comment | 

$begingroup$

Assume that we have an imaginary programming language that allows you to assign a Literal to a variable, but does not allow you to set the the data type of the variable, for example

Allocate4Bytes   an_int_variable        123456;

Allocate2Bytes   a_short_int_variable   123;

Allocate4Bytes   a_float_variable       2.1;

And this programming language also provides different operators to work with different data types, for example:

• The + operator is used to add an int to a short int.


• The #+ operator is used to add a float to an int.


• the = operator is used to assign an int to an int.


• the #= operator is used to assign a short int to a short int.


• etc.

So it is the job of the programmer to keep track of the data type of each variable and use the appropriate operator on it.

Is this programming language considered to be a typeless programming language, or can we say that this programming language have data types (even though it does not have operator overloading and type safety, etc.)?

programming-languages

share|cite|improve this question

asked 5 hours ago

user4582812user4582812

161

New contributor

user4582812 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

Allocate4Bytes   an_int_variable        123456;

Allocate2Bytes   a_short_int_variable   123;

Allocate4Bytes   a_float_variable       2.1;

share|cite|improve this question

asked 5 hours ago

user4582812user4582812

161

New contributor

user4582812 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

share|cite|improve this question

asked 5 hours ago

user4582812user4582812

161

New contributor

user4582812 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

asked 5 hours ago

user4582812user4582812

161

New contributor

user4582812 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

asked 5 hours ago

user4582812user4582812

161

1 Answer
1

active

oldest

votes

4

$begingroup$

It depends on what happens if the programmer tries to do something like add two things with the wrong operator. If it causes a compile-time error, the language is probably statically typed. If it throws a compile-time error complaining that the two have the wrong type, the language is probably dynamically typed. If it doesn't throw an error and just tries to add those two things (possibly resulting in gibberish), it might be untyped.

To put it another way, it depends how those operations are implemented. If they are implemented to keep track of the type of the variables and check that those types match what is expected, it is typed. If it doesn't keep track of types, then it is untyped or weakly typed.

See https://en.wikipedia.org/wiki/Type_system and https://www.sitepoint.com/typing-versus-dynamic-typing/.

share|cite|improve this answer

answered 4 hours ago

D.W.♦D.W.

104k14131299

$endgroup$

add a comment | 

Your Answer

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "419"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: false,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: null,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});

user4582812 is a new contributor. Be nice, and check out our Code of Conduct.

draft saved

draft discarded

Sign up or log in

StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fcs.stackexchange.com%2fquestions%2f108587%2fwhat-are-the-characteristics-of-a-typeless-programming-language%23new-answer', 'question_page');
}
);

Post as a guest

Name

Email

Required, but never shown

4

$begingroup$

It depends on what happens if the programmer tries to do something like add two things with the wrong operator. If it causes a compile-time error, the language is probably statically typed. If it throws a compile-time error complaining that the two have the wrong type, the language is probably dynamically typed. If it doesn't throw an error and just tries to add those two things (possibly resulting in gibberish), it might be untyped.

To put it another way, it depends how those operations are implemented. If they are implemented to keep track of the type of the variables and check that those types match what is expected, it is typed. If it doesn't keep track of types, then it is untyped or weakly typed.

See https://en.wikipedia.org/wiki/Type_system and https://www.sitepoint.com/typing-versus-dynamic-typing/.

share|cite|improve this answer

answered 4 hours ago

D.W.♦D.W.

104k14131299

$endgroup$

add a comment | 

4

$begingroup$

It depends on what happens if the programmer tries to do something like add two things with the wrong operator. If it causes a compile-time error, the language is probably statically typed. If it throws a compile-time error complaining that the two have the wrong type, the language is probably dynamically typed. If it doesn't throw an error and just tries to add those two things (possibly resulting in gibberish), it might be untyped.

To put it another way, it depends how those operations are implemented. If they are implemented to keep track of the type of the variables and check that those types match what is expected, it is typed. If it doesn't keep track of types, then it is untyped or weakly typed.

See https://en.wikipedia.org/wiki/Type_system and https://www.sitepoint.com/typing-versus-dynamic-typing/.

share|cite|improve this answer

answered 4 hours ago

D.W.♦D.W.

104k14131299

$endgroup$

add a comment | 

$begingroup$

It depends on what happens if the programmer tries to do something like add two things with the wrong operator. If it causes a compile-time error, the language is probably statically typed. If it throws a compile-time error complaining that the two have the wrong type, the language is probably dynamically typed. If it doesn't throw an error and just tries to add those two things (possibly resulting in gibberish), it might be untyped.

To put it another way, it depends how those operations are implemented. If they are implemented to keep track of the type of the variables and check that those types match what is expected, it is typed. If it doesn't keep track of types, then it is untyped or weakly typed.

See https://en.wikipedia.org/wiki/Type_system and https://www.sitepoint.com/typing-versus-dynamic-typing/.

share|cite|improve this answer

answered 4 hours ago

D.W.♦D.W.

104k14131299

$endgroup$

share|cite|improve this answer

answered 4 hours ago

D.W.♦D.W.

104k14131299

answered 4 hours ago

D.W.♦D.W.

104k14131299

answered 4 hours ago

D.W.♦D.W.

104k14131299