For all Scilla language related topics. For more information, visit https://scilla-lang.org/.
tests git:(master) dune build testsuite.exe
Entering directory '/Users/simonchristensen/Documents/Dropbox/Developer/scilla'
File "src/lang/base/dune", line 23, characters 22-31:
23 | cryptokit secp256k1 bitstring
^^^^^^^^^
Error: Library "secp256k1" not found.
Hint: try: dune external-lib-deps --missing testsuite.exe
➜ tests git:(master) opam install secp256k1
The following actions will be performed:
∗ install secp256k1 0.4.0
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><> 🐫
[secp256k1.0.4.0] found in cache
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><> 🐫
[ERROR] The compilation of secp256k1 failed at
"/Users/simonchristensen/.opam/opam-init/hooks/sandbox.sh build jbuilder
build -p secp256k1 -j 7".
#=== ERROR while compiling secp256k1.0.4.0 ====================================#
# context 2.0.5 | macos/x86_64 | ocaml-system.4.08.1 | https://opam.ocaml.org#88fc0b02
# path ~/.opam/default/.opam-switch/build/secp256k1.0.4.0
# command ~/.opam/opam-init/hooks/sandbox.sh build jbuilder build -p secp256k1 -j 7
# exit-code 1
# env-file ~/.opam/log/secp256k1-58419-1872ec.env
# output-file ~/.opam/log/secp256k1-58419-1872ec.out
### output ###
# [...]
# instead.
# Note: You can use "dune upgrade" to convert your project to dune.
# File "test/jbuild", line 1, characters 0-0:
# Warning: jbuild files are deprecated, please convert this file to a dune file
# instead.
# Note: You can use "dune upgrade" to convert your project to dune.
# ocamlc src/secp256k1_wrap.o (exit 2)
# (cd _build/default/src && /usr/local/bin/ocamlc.opt -g -ccopt -g -o secp256k1_wrap.o secp256k1_wrap.c)
# secp256k1_wrap.c:3:10: fatal error: 'secp256k1.h' file not found
# #include <secp256k1.h>
# ^~~~~~~~~~~~~
# 1 error generated.
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><> 🐫
┌─ The following actions failed
│ λ build secp256k1 0.4.0
└─
╶─ No changes have been performed
➜ tests git:(master)
he PHP File
PHP has some built-in functions to handle JSON.
Objects in PHP can be converted into JSON by using the PHP function json_encode():
PHP file
<?php
$myObj->name = "John";
$myObj->age = 30;
$myObj->city = "New York";
$myJSON = json_encode($myObj);
echo $myJSON;
?>
The Client JavaScript
Here is a JavaScript on the client, using an AJAX call to request the PHP file from the example above:
Example
Use JSON.parse() to convert the result into a JavaScript object:
var xmlhttp = new XMLHttpRequest();
xmlhttp.onreadystatechange = function() {
if (this.readyState == 4 && this.status == 200) {
var myObj = JSON.parse(this.responseText);
document.getElementById("demo").innerHTML = myObj.name;
}
};
xmlhttp.open("GET", "demo_file.php", true);
xmlhttp.send();
PHP Array
Arrays in PHP will also be converted into JSON when using the PHP function json_encode():
PHP file
<?php
$myArr = array("John", "Mary", "Peter", "Sally");
$myJSON = json_encode($myArr);
echo $myJSON;
?>
The Client JavaScript
Here is a JavaScript on the client, using an AJAX call to request the PHP file from the array example above:
Example
Use JSON.parse() to convert the result into a JavaScript array:
var xmlhttp = new XMLHttpRequest();
xmlhttp.onreadystatechange = function() {
if (this.readyState == 4 && this.status == 200) {
var myObj = JSON.parse(this.responseText);
document.getElementById("demo").innerHTML = myObj[2];
}
};
xmlhttp.open("GET", "demo_file_array.php", true);
xmlhttp.send();
PHP Database
PHP is a server side programming language, and can be used to access a database.
Imagine you have a database on your server, and you want to send a request to it from the client where you ask for the 10 first rows in a table called "customers".
On the client, make a JSON object that describes the name of the table, and the numbers of rows you want to return.
Before you send the request to the server, convert the JSON object into a string and send it as a parameter to the url of the PHP page:
Example
Use JSON.stringify() to convert the JavaScript object into JSON:
obj = { "table":"customers", "limit":10 };
dbParam = JSON.stringify(obj);
xmlhttp = new XMLHttpRequest();
xmlhttp.onreadystatechange = function() {
if (this.readyState == 4 && this.status == 200) {
document.getElementById("demo").innerHTML = this.responseText;
}
};
xmlhttp.open("GET", "json_demo_db.php?x=" + dbParam, true);
xmlhttp.send();
Example explained:
Define an object containing a table property and a limit property.
Convert the object into a JSON string.
Send a request to the PHP file, with the JSON string as a parameter.
Wait until the request returns with the result (as JSON)
Display the result received from the PHP file.
Take a look at the PHP file:
PHP file
<?php
header("Content-Type: application/json; charset=UTF-8");
$obj = json_decode($_GET["x"], false);
$conn = new mysqli("myServer", "myUser", "myPassword", "Northwind");
$stmt = $conn->prepare("SELECT name FROM ? LIMIT ?");
$stmt->bind_param("ss", $obj->table, $obj->limit);
$stmt->execute();
$result = $stmt->get_result();
$outp = $result->fetch_all(MYSQLI_ASSOC);
echo json_encode($outp);
?>
PHP File explained:
Convert the request into an object, using the PHP function json_decode().
Access the database, and fill an array with the requested data.
Add the array to an object, and return the object as JSON using the json_encode() function.
Loop Through the Result
Convert the result received from the PHP file into a JavaScript object, or in this case, a JavaScript array:
Example
Use JSON.parse() to convert the JSON into a JavaScript object:
...
xmlhttp.onreadystatechange = function() {
if (this.readyState == 4 && this.status == 200) {
myObj = JSON.parse(this.responseText);
for (x in myObj) {
txt += myObj[x].name + "<br>";
}
document.getElementById("demo").innerHTML = txt;
}
};
...
PHP Method = POST
When sending data to the server, it is often best to use the HTTP POST method.
To send AJAX requests using the POST method, specify
w3schools.com
THE WORLD'S LARGEST WEB DEVELOPER SITE
JS Tutorial
JS HOME
JS Introduction
JS Where To
JS Output
JS Statements
JS Syntax
JS Comments
JS Variables
JS Operators
JS Arithmetic
JS Assignment
JS Data Types
JS Functions
JS Objects
JS Events
JS Strings
JS String Methods
JS Numbers
JS Number Methods
JS Arrays
JS Array Methods
JS Array Sort
JS Array Iteration
JS Dates
JS Date Formats
JS Date Get Methods
JS Date Set Methods
JS Math
JS Random
JS Booleans
JS Comparisons
JS Conditions
JS Switch
JS Loop For
JS Loop While
JS Break
JS Type Conversion
JS Bitwise
JS RegExp
JS Errors
JS Scope
JS Hoisting
JS Strict Mode
JS this Keyword
JS Let
JS Const
JS Arrow Function
JS Classes
JS Debugging
JS Style Guide
JS Best Practices
JS Mistakes
JS Performance
JS Reserved Words
JS Versions
JS Version ES5
JS Version ES6
JS JSON
JS Forms
JS Forms
Forms API
JS Objects
Object Definitions
Object Properties
Object Methods
Object Display
Object Accessors
Object Constructors
Object Prototypes
Object ECMAScript 5
JS Functions
Function Definitions
Function Parameters
Function Invocation
Function Call
Function Apply
Function Closures
JS HTML DOM
DOM Intro
DOM Methods
DOM Document
DOM Elements
DOM HTML
DOM CSS
DOM Animations
DOM Events
DOM Event Listener
DOM Navigation
DOM Nodes
DOM Collections
DOM Node Lists
JS Browser BOM
JS Window
JS Screen
JS Location
JS History
JS Navigator
JS Popup Alert
JS Timing
JS Cookies
JS AJAX
AJAX Intro
AJAX XMLHttp
AJAX Request
AJAX Response
AJAX XML File
AJAX PHP
AJAX ASP
AJAX Database
AJAX Applications
AJAX Examples
JS JSON
JSON Intro
JSON Syntax
JSON vs XML
JSON Data Types
JSON Parse
JSON Stringify
JSON Objects
JSON Arrays
JSON PHP
JSON HTML
JSON JSONP
JS vs jQuery
jQuery Selectors
jQuery HTML
jQuery CSS
jQuery DOM
JS Examples
JS Examples
JS HTML DOM
JS HTML Input
JS HTML Objects
JS HTML Events
JS Browser
JS Exercises
JS Quiz
JS Certificate
JS References
JavaScript Objects
HTML DOM Objects
JSON PHP
A common use of JSON is to read data from a web server, and display the data in a web page.
This chapter will teach you how to exchange JSON data between the client and a PHP server.
The PHP File
PHP has some built-in functions to handle JSON.
Objects in PHP can be converted into JSON by using the PHP function json_encode():
PHP file
<?php
$myObj->name = "John";
$myObj->age = 30;
$myObj->city = "New York";
$myJSON = json_encode($myObj);
echo $myJSON;
?>
The Client JavaScript
Here is a JavaScript on the client, using an AJAX call to request the PHP file from the example above:
Example
Use JSON.parse() to convert the result into a JavaScript object:
var xmlhttp = new XMLHttpRequest();
xmlhttp.onreadystatechange = function() {
if (this.readyState == 4 && this.status == 200) {
var myObj = JSON.parse(this.responseText);
document.getElementById("demo").innerHTML = myObj.name;
}
};
xmlhttp.open("GET", "demo_file.php", true);
xmlhttp.send();
PHP Array
Arrays in PHP will also be converted into JSON when using the PHP function json_encode():
PHP file
<?php
$myArr = array("John", "Mary", "Peter", "Sally");
$myJSON = json_encode($myArr);
echo $myJSON;
?>
The Client JavaScript
Here is a JavaScript on the client, using an AJAX call to request the PHP file from the array example above:
Example
Use JSON.parse() to convert the result into a JavaScript array:
var xmlhttp = new XMLHttpRequest();
xmlhttp.onreadystatechange = function() {
if (this.readyState == 4 && this.status == 200) {
var myObj = JSON.parse(this.responseText);
document.getElementById("demo").innerHTML = myObj[2];
}
};
xmlhttp.open("GET", "demo_file_array.php", true);
xmlhttp.send();
PHP Database
PHP is a server side programming language, and can be used to access a database.
Imagine you have a database on your server, and you want to send a request to it from the client where you ask for the 10 first rows in a table called "customers".
On the client, make a JSON object that describes the name of the table, and the numbers of rows you want to return.
Before you send the request to the server, convert the JSON object i
Tomorrow Algorand is hosting a live webinar on implementing the world’s first CBDC. I have submitted a few questions and will be attending. This is a great way to spend your quarantine :)
Register and submit questions here: https://register.gotowebinar.com/register/5273854108710515471