Last updated: --[[User:Aspectcl|Aspectcl]] ([[User talk:Aspectcl|talk]]) 10:34, 23 July 2015 (UTC)
rank: 340 [tied] (4 entries) Idris
...
32 KB (2,346 words) - 10:34, 23 July 2015
Indicate if your language supports ''user defined'' type conversion definitions and give an example of such a definit
...strict with some pointer conversions. C++ allows implicit conversions on user defined
...
84 KB (11,491 words) - 17:21, 10 December 2023
CL-USER> (setf a '((25 15 -5) (15 18 0) (-5 0 11)))
CL-USER> (cholesky a)
...
137 KB (14,408 words) - 12:57, 17 November 2023
* It is possible to overload CBool for user-defined types to yield a Boolean value.
* any user-defined type with an implicit conversion operator either to <code>bool</cod
...
117 KB (17,619 words) - 15:30, 30 May 2024
<code>s</code> tells the user that the program expects a string as input.
<code>i</code> tells the user that the program expects an integer as input.
...
100 KB (10,909 words) - 14:12, 14 April 2024
...extending the language without any formal distinction between built-in and user-defined elements.
Coq allows "[https://coq.inria.fr/refman/user-extensions/syntax-extensions.html syntax extensions]":
...
136 KB (18,349 words) - 01:16, 14 April 2024
# User defined functions
=={{header|Idris}}==
...
117 KB (15,660 words) - 21:59, 24 May 2024
[[User:nizchka|nizchka]] 23:27, 16 March 2016 (UTC)
[[User:grandnegus|Mike Knapp]] 15:57, 26 May 2016 (UTC)
...
96 KB (12,463 words) - 20:33, 16 May 2024
=={{header|Idris}}==
<syntaxhighlight lang="idris">module Main
...
100 KB (13,869 words) - 12:20, 26 November 2023
[[AutoHotkey_Basic]] does not have real Arrays, but the user can implement them quite easily. For example:
=={{header|Idris}}==
...
132 KB (17,021 words) - 20:26, 16 May 2024
a user instance of Ada.Numerics.Generic_Complex_Arrays.
CL-USER> (mapc (lambda (c) (format t "~&~6F~6@Fi = ~6Fe^~6@Fipi"
...
159 KB (19,443 words) - 14:22, 29 February 2024
=={{header|Idris}}==
<syntaxhighlight lang="idris">Idris> transpose [[1,2],[3,4],[5,6]]
...
133 KB (15,502 words) - 17:07, 30 December 2023
\ in 'user mode' and it has its own R14, and anyway the operating system
PROGRAM-ID. USER OUTPUT.
...
137 KB (16,869 words) - 19:21, 23 May 2024
...in the language (if these are available), or alternatively a user defined function can be used.
=={{header|Idris}}==
...
162 KB (19,670 words) - 09:29, 2 June 2024
User Kaimbridge clarified on the Talk page:
<pre>CL-
USER> (format t "~%The distance between BNA and LAX is about ~$ km.~%"
...
142 KB (17,780 words) - 11:01, 9 December 2023
CL-USER> (cartesian-product '(1 2) '(3 4))
CL-USER> (cartesian-product '(3 4) '(1 2))
...
158 KB (15,445 words) - 18:54, 1 May 2024
Using appropriate user defined types:
...am that pushes two numbers to the stack, such as ''2 3'' or ''5 _1''. (The user must use underscore ''_'' for negative numbers.)
...
183 KB (24,377 words) - 21:55, 17 May 2024
An example of user defined Vector and Matrix Multiplication Operators:
=={{header|Idris}}==
...
196 KB (24,132 words) - 17:40, 6 May 2024
=={{header|Idris}}==
<syntaxhighlight lang="idris">A : Nat -> Nat -> Nat
...
313 KB (35,164 words) - 16:35, 16 May 2024
connection.setRequestProperty("User-Agent", "Firefox/2.0.0.4")
Total bare <lang> for language Idris: 1
...
131 KB (16,552 words) - 12:02, 3 February 2024
