Tuesday, November 26, 2024

ChatGPT warns: Tension between code-well vs. code-fast and delivery-time vs. delivery-quality, akin to risk-reward decisions in financial models like Black–Scholes.

 There is a philosophical and practical tension between code-well vs. code-fast and delivery-time vs. delivery-quality. These trade-offs often reflect broader concerns of software engineering, akin to risk-reward decisions in financial models like Black–Scholes.

In financial terms, the Black–Scholes model addresses the uncertainty (or "volatility") in options pricing, providing a framework to quantify risk and determine fair pricing. Analogously, in software development:

  1. Volatility (Uncertainty): In coding, "volatility" could represent uncertainty in requirements, the complexity of the problem domain, or unknown technical constraints. More volatility might push teams toward code-fast approaches, just as high volatility can increase the option premium in finance.

  2. Time to Maturity (Delivery Time): The longer the time until delivery, the more flexibility and room you have for implementing high-quality code. Conversely, short time frames might require tactical shortcuts, akin to the pressure on an option as it approaches maturity.

  3. Strike Price (Project Goals/Expectations): The "strike price" can be thought of as the level of quality or feature completeness expected by stakeholders. If expectations are high (a higher "strike price"), teams might lean toward higher-quality, well-architected solutions.

Balancing Act — The Development "Option"

The development process could be seen as a type of real option, where:

  • Investing in better code quality is akin to paying a premium for a safer option.
  • Cutting corners for faster delivery is like writing an option with a higher risk of it being "out of the money" if issues arise.

Just as Black–Scholes uses a hedging strategy to balance risks, teams often use agile methodologies, testing strategies, or refactoring to strike a balance. The goal is to create a "delta-neutral" position in development — balancing speed and quality to minimize risk while maximizing the chances of a successful outcome.

An analogy is quite fitting, as both scenarios deal with optimizing uncertain outcomes using probabilistic thinking and strategic choices.

Reading:

The tension between rapid software delivery and maintaining high code quality is a well-explored topic in software engineering. Several academic papers have applied financial theories, such as Real Options Theory, to analyze and manage these trade-offs.

Real Options Theory in Software Engineering

Real Options Theory, originating from financial economics, provides a framework for valuing flexibility and decision-making under uncertainty. In software engineering, this theory has been applied to assess the value of deferring certain design decisions, thereby balancing the trade-off between immediate delivery and long-term quality.

For instance, the paper "Software Design Decisions as Real Options" discusses how software design choices can be viewed as investment decisions, where the option to delay certain decisions can add value by reducing uncertainty.

Trade-offs Between Productivity and Quality

Another study, "Trade-offs between Productivity and Quality in Selecting Software Development Practices," examines how different development practices impact both productivity and quality. The authors analyze data from multiple projects to understand how certain practices may favor speed over quality or vice versa.

Agile Development and Real Options

In the context of Agile methodologies, the paper "Using Measurements to Support Real-Option Thinking in Agile Software Development" explores how real-options thinking can aid in decision-making during Agile projects. The authors propose using measurements to support mid-course decisions, balancing the need for speed with the maintenance of quality.

These studies provide valuable insights into managing the inherent trade-offs between delivery speed and code quality, offering frameworks and methodologies to make informed decisions in software development projects.


 

 

Saturday, April 6, 2024

Iterators in ALGOL 68, using Currying.


#!/usr/bin/a68g --script #
# -*- coding: utf-8 -*- #

MODE GEN = VOID; # hint/flag generator contructs #

MODE YIELDINT = PROC(INT)GEN;
MODE GENINT = PROC(YIELDINT)GEN;

PROC is perfect square = (INT n)BOOL:
ENTIER (sqrt(n)+0.5) ** 2 = n; # Round to nearest integer #

PROC gen int = (YIELDINT yield)GEN:
FOR i DO yield(i) OD;

PROC gen square = (GENINT gen, YIELDINT yield)GEN:
gen((INT value)VOID: yield(value*value));

PROC gen sum = (GENINT gen, YIELDINT yield)GEN:
BEGIN
INT sum := 0;
gen((INT value)VOID: yield(sum +:= value))
END;

PROC gen perfect square = (GENINT gen, YIELDINT yield)GEN:
BEGIN
gen((INT value)VOID:
IF is perfect square(value) AND value NE 1 THEN
yield(value) # Yield the perfect square sum #
FI
)
END;

PROC head = (GENINT gen)INT:
BEGIN
INT return;
gen((INT i)VOID: ( return := i; GOTO done ));
done: return
END;

MODE PIPEINT = PROC(GENINT, YIELDINT)GEN;
MODE SINKINT = PROC(GENINT)INT;

OP AND = (GENINT source, PIPEINT pipe)GENINT: pipe(source,##);
OP AND = (GENINT source, SINKINT sink)INT: sink(source);

BEGIN
# INT result := head(gen perfect square(gen sum(gen square(gen int,##),##),##)); #
INT result := gen int AND gen square AND gen sum AND gen perfect square AND head;
printf(($"This sum is a perfect square: "gl$, result))
END

Friday, April 5, 2024

ChatGPT, with Python's iterators, then C, and in ALGOL 68!

 My initial question is as per User below, then I had to cox ChatGPT to get closer to the desired target code.  Even then ChatGPT introduced it's on quirky bugs.

None-the-less, it does give a nice insight into how ChatGPT "thinks"... ;-)

Try compiling/running/debugging ChatGPT's code to get an idea of the key issues.

User
Give me an example of a python function (called `inf_int`), that yields an infinite series of integers, starting at one, pass inf_int as an argument to another iterator (called `sqr`) that takes the iterator inf_int as it's only arg, and yields the square of this each value received, pass the `sqr` yields to a final function called `sum`, the iterates over sum's args and stops iterating when the sum is a perfect square, other then 1.
ChatGPT

To achieve the described functionality, we can start by defining the inf_int generator function that yields an infinite series of integers starting at one. Then, we'll create the sqr generator function that takes an iterator (like the one generated by inf_int) as its argument and yields the square of each value it receives. Finally, the sum_squares function will take the iterator produced by sqr and sum its values, stopping when the sum is a perfect square other than 1. Here's how these functions can be implemented in Python:

python
import math def inf_int(): """Yields an infinite series of integers starting at 1.""" n = 1 while True: yield n n += 1 def sqr(iterator): """Yields the square of each value received from the iterator.""" for i in iterator: yield i ** 2 def is_perfect_square(n): """Checks if n is a perfect square.""" return n == math.isqrt(n) ** 2 def sum_squares(iterator): """Sums values from the iterator until the sum is a perfect square other than 1.""" total = 0 for i in iterator: total += i if is_perfect_square(total) and total != 1: return total # Create the infinite integer iterator inf_int_iterator = inf_int() # Pass the inf_int iterator to sqr sqr_iterator = sqr(inf_int_iterator) # Pass the sqr iterator to sum_squares and print the result print(sum_squares(sqr_iterator))

This code does the following:

  1. inf_int generates an infinite series of integers starting from 1.
  2. sqr takes this series and yields the square of each integer.
  3. sum_squares takes the squares, keeps a running total, and checks if the sum is a perfect square other than 1 after adding each new square. If such a sum is found, the function returns this sum and stops iterating further.

When you run this code, it will output the first sum of squared integers (starting from 1 and squared) that is a perfect square other than 1. Due to the infinite nature of the inf_int generator, the functions are carefully designed to stop under the specific condition provided, ensuring the program doesn't run indefinitely.

User
Convert this algorithm to the C programming language, using GNU extensions if necessary.
ChatGPT

To implement the described algorithm in C, we can leverage the features of the C programming language along with some GNU extensions for convenience if necessary. However, the core functionality can be achieved with standard C. Here’s how you could implement it:

c
#include <stdio.h> #include <math.h> int is_perfect_square(int n) { int root = (int)sqrt(n); return root * root == n; } int sum_squares() { int total = 0; for (int i = 1; ; ++i) { // Infinite loop, will return from inside total += i * i; if (is_perfect_square(total) && total != 1) { return total; } } } int main() { int result = sum_squares(); printf("The sum is a perfect square: %d\n", result); return 0; }

This C program does the following:

  • It includes <stdio.h> for input/output operations and <math.h> for the sqrt function used in the is_perfect_square function.
  • The is_perfect_square function checks if a given integer n is a perfect square.
  • The sum_squares function iterates over integers starting from 1, squares each integer, adds it to a total, and checks if the total is a perfect square other than 1. It returns the total when such a condition is met.
  • The main function calls sum_squares to find the sum and prints the result.

Compile this program with a C compiler, such as gcc, using a command like:

sh
gcc -o sum_squares sum_squares.c -lm

Note the -lm flag is necessary to link the math library where the sqrt function is defined.

This program doesn't require GNU extensions for its functionality, so it should compile and run on any system with a standard C compiler that supports C99 or later (for the declaration of variables inside the for loop).

User
try again, in GNU C, be more fathful to the original python algorithm, this time use implement iterators/generators were each function (inf_int, sqr & sum) does a callback (with a input argument called yield).
ChatGPT

Implementing an algorithm that closely resembles Python's generators and their interaction with iterators in C is a bit challenging because C doesn't have direct support for generators or coroutines in its standard library. However, we can simulate this behavior using function pointers (for the callback mechanism) and structuring our program to mimic the yielding of values.

Below is a C program that attempts to replicate the Python behavior using GNU C extensions for nested functions and some creative use of function pointers to simulate the yield functionality. This approach is somewhat unconventional and primarily of academic interest, as it relies on features specific to GNU C and may not be portable or suitable for all applications.

c
#include <stdio.h> #include <stdlib.h> #include <math.h> // Define a function pointer type for the yield callback typedef void (*yield_func)(int, void*); void inf_int(yield_func yield, void *context) { for (int i = 1; ; ++i) { yield(i, context); } } void sqr(yield_func yield, void *context, yield_func inf_int_yield) { void sqr_yield(int value, void *ctx) { yield(value * value, ctx); } inf_int_yield(sqr_yield, context); } int is_perfect_square(int n) { int root = (int)sqrt(n); return root * root == n; } void sum_squares(yield_func yield, yield_func sqr_yield) { int total = 0; void sum_yield(int value, void *ctx) { total += value; if (is_perfect_square(total) && total != 1) { *((int*)ctx) = total; exit(0); // Stop the iteration by exiting the program } } sqr_yield(sum_yield, &total); } int main() { int result = 0; sum_squares(NULL, sqr); printf("The sum is a perfect square: %d\n", result); return 0; }

This program uses nested functions, a feature supported by GNU C, to implement the yield functionality. Each generator function (inf_int, sqr) takes a function pointer (yield_func) as an argument, which it calls to "yield" values back to the caller. The sum_squares function sets up the chain by providing a yield callback to sqr, which in turn provides a yield callback to inf_int.

A few key points about this implementation:

  • It uses nested functions, which are a GNU C extension and not part of standard C. This code will not compile with compilers that do not support GNU extensions.
  • The use of exit(0) to break out of the infinite loop in inf_int when the desired condition is met is a simplistic way to stop the iteration. In a real-world scenario, you'd likely want a more graceful method to cease iteration, possibly involving setjmp/longjmp for non-local jumps.
  • This example serves to demonstrate how one might simulate Python-like generator behavior in C using GNU extensions and should be adapted carefully for use in production environments.

Compile this with a GNU Compiler Collection (GCC) that supports nested functions, using a command like:

sh
gcc -o program program.c -lm

Remember to enable GNU extensions if needed (though they are usually enabled by default with GCC).

User
OK, but instead of calling exit to terminate an iterator, how about returning 0 when an iteration has reached it's target? In this case a perfect square!
ChatGPT

Adjusting the design to return 0 to indicate the termination of the iteration, rather than abruptly exiting, requires a mechanism for the iterator functions to communicate back that they should stop iterating. Since C doesn't have built-in support for generators or coroutines, we'll continue to simulate this behavior using callbacks, but with a slight modification to allow for a termination signal through the return value of our callbacks.

In this revised approach, the callback functions will return an int, where 0 indicates that the iteration should continue, and a non-zero value indicates that it should stop. This necessitates a change to our function pointer type to allow for an int return type, and we'll need to adjust our iterator functions to check these return values and act accordingly.

Here's how the modified program might look:

c
#include <stdio.h> #include <stdlib.h> #include <math.h> // Define a function pointer type for the yield callback with an int return type typedef int (*yield_func)(int, void*); void inf_int(yield_func yield, void *context) { for (int i = 1; ; ++i) { if (yield(i, context) != 0) { break; } } } void sqr(yield_func yield, void *context, yield_func inf_int_yield) { int sqr_yield(int value, void *ctx) { return yield(value * value, ctx); } inf_int_yield(sqr_yield, context); } int is_perfect_square(int n) { int root = (int)sqrt(n); return root * root == n; } void sum_squares(yield_func sqr_yield) { int total = 0; int sum_yield(int value, void *ctx) { total += value; if (is_perfect_square(total) && total != 1) { *((int*)ctx) = total; return 1; // Signal to stop the iteration } return 0; // Continue iteration } sqr_yield(sum_yield, &total); } int main() { int result = 0; sum_squares(sqr); printf("The sum is a perfect square: %d\n", result); return 0; }

Key changes include:

  • The yield_func type now returns an int, allowing the yield functions to signal termination.
  • The inf_int and sqr functions check the return value of their yield callbacks, stopping the iteration if a non-zero value is received.
  • The sum_yield function within sum_squares returns 1 when the sum is a perfect square other than 1, signaling that the iteration should stop. Otherwise, it returns 0 to continue.

This version provides a more controlled mechanism for terminating the iteration without using exit, making the program flow clearer and more manageable. The callback mechanism, while still a simulation of generator-like behavior, now includes a way for the "generators" to communicate back to their caller that they should cease yielding new values.

User
sqrt result should be rounded.
ChatGPT

To ensure the sqrt result is correctly rounded when checking for a perfect square, you can adjust the is_perfect_square function. Instead of directly casting the square root to an int, which truncates the decimal part, you can use the round function to round the result to the nearest integer before performing the comparison. This change can help in situations where floating-point imprecision might affect the outcome of the square root operation.

Here's how you can modify the is_perfect_square function to incorporate rounding:

c
#include <stdio.h> #include <stdlib.h> #include <math.h> // Update the function pointer type to expect an int return type for signaling termination typedef int (*yield_func)(int, void*); int is_perfect_square(int n) { double root = sqrt(n); int rounded_root = (int)round(root); // Round the result of sqrt return rounded_root * rounded_root == n; } void inf_int(yield_func yield, void *context) { for (int i = 1; ; ++i) { if (yield(i, context) != 0) { break; // Terminate if the callback signals to do so } } } int sqr(yield_func yield, void *context, yield_func inf_int_yield) { int sqr_yield(int value, void *ctx) { return yield(value * value, ctx); // Square the value and pass it to the callback } return inf_int_yield(sqr_yield, context); // Pass our sqr_yield as the callback to inf_int } void sum_squares(yield_func sqr_yield) { int total = 0; int result = 0; int sum_yield(int value, void *ctx) { total += value; if (is_perfect_square(total) && total != 1) { *((int*)ctx) = total; return 1; // Signal to stop the iteration } return 0; // Continue iteration } result = sqr_yield(sum_yield, &total); // Start the iteration if (result) { printf("The sum is a perfect square: %d\n", total); } else { printf("Iteration stopped without finding a perfect square sum.\n"); } } int main() { sum_squares(sqr); // Initialize the chain of callbacks return 0; }

Modifications include:

  • Adjusting the is_perfect_square function to use round to correctly round the square root result before casting it to an int.
  • Including the necessary header for round, which is <math.h>.
  • Making sure the sqr and sum_squares functions work with the adjusted callback mechanism that includes an int return type for signaling termination.
  • Adding handling for the return value of sum_squares in main to provide appropriate output.

This version ensures that the square root operation's result is rounded correctly, addressing potential issues with floating-point accuracy that might lead to incorrect determinations of perfect squares.

User
You dropped the print stmt, and how does the `result` in `main` get updated?
ChatGPT

You're right; the example provided earlier had issues with correctly returning and printing the result from the sum_squares function back to main. Let's correct that approach, ensuring the result is properly updated and the print statement is included in the main function.

To address these issues, we can pass a pointer to result through the callback chain, allowing sum_squares to directly update the value that main will print. This approach ensures that the final sum, which is a perfect square other than 1, is correctly reported back to the main function.

Here's the corrected and simplified version:

c
#include <stdio.h> #include <stdlib.h> #include <math.h> typedef int (*yield_func)(int, void*); int is_perfect_square(int n) { double root = sqrt(n); int rounded_root = (int)round(root); return rounded_root * rounded_root == n; } int inf_int(yield_func yield, void *context) { for (int i = 1; ; ++i) { if (yield(i, context) != 0) { return 1; // Terminate if the callback signals to do so } } return 0; // Not reachable, but included for completeness } int sqr(yield_func yield, void *context) { int sqr_yield(int value, void *ctx) { return yield(value * value, ctx); // Square the value and pass it to the callback } return inf_int(sqr_yield, context); // Pass our sqr_yield as the callback to inf_int } int sum_squares(yield_func sqr_yield) { int total = 0; int sum_yield(int value, void *ctx) { total += value; if (is_perfect_square(total) && total != 1) { *((int*)ctx) = total; // Update the result return 1; // Signal to stop the iteration } return 0; // Continue iteration } int result = 0; sqr_yield(sum_yield, &result); // Start the iteration and pass the result location return result; } int main() { int result = sum_squares(sqr); // Retrieve the result from sum_squares printf("The sum is a perfect square: %d\n", result); return 0; }

Key changes and fixes include:

  • The sum_squares function now directly returns the result value, making it simpler to pass this result back to main.
  • The sqr function's signature has been adjusted for consistency, and it now properly chains the call to inf_int.
  • In main, we now call sum_squares and directly print the result that it returns.

This version correctly maintains the logic of iterating through squares of integers, summing them up until a perfect square sum other than 1 is found, and then reporting this sum back to the main function for printing. The use of callbacks to simulate generator-like behavior in C, while more complex than typical C programming patterns, showcases the flexibility of function pointers for implementing control flow mechanisms.

User
Is `context` really necessary?
ChatGPT

In the corrected C program, the context parameter in the callback chain is used to pass the address of the result variable through the generator and iterator functions (inf_int, sqr, and sum_squares). This design allows the sum_yield function within sum_squares to directly update the value of result in the main function. Given the current design of the program, where the final result is directly returned by sum_squares, and considering how the callbacks are structured, the context parameter might seem redundant for this specific case.

If we simplify the design so that the context is not passed around unnecessarily, we can focus on using the return values of the callbacks to signal when to stop the iteration and to carry the result back up the chain. Here's a version of the program without the context parameter:

c
#include <stdio.h> #include <stdlib.h> #include <math.h> typedef int (*yield_func)(int); int is_perfect_square(int n) { double root = sqrt(n); int rounded_root = (int)round(root); return rounded_root * rounded_root == n; } int inf_int(yield_func yield) { for (int i = 1; ; ++i) { int result = yield(i); if (result != 0) { return result; // Return result if the callback signals to do so } } return 0; // Not reachable, but included for completeness } int sqr(yield_func yield) { int sqr_yield(int value) { return yield(value * value); // Square the value and pass it to the callback } return inf_int(sqr_yield); // Pass our sqr_yield as the callback to inf_int } int sum_squares() { int total = 0; int sum_yield(int value) { total += value; if (is_perfect_square(total) && total != 1) { return total; // Return the perfect square sum } return 0; // Signal to continue iteration } return sqr(sum_yield); // Start the iteration } int main() { int result = sum_squares(); // Retrieve the result from sum_squares printf("The sum is a perfect square: %d\n", result); return 0; }

Key changes include:

  • Removing the void *context parameter from the yield_func type and related functions. Now, yield_func only takes an int parameter and returns an int.
  • Adjusting inf_int, sqr, and sum_squares to work with the simplified yield_func type. They no longer pass around a context but use return values to propagate the result (or signal to continue/stop the iteration).
  • sum_squares now directly returns the sum once it finds a perfect square sum other than 1, simplifying how the result is communicated back to main.

This version maintains the original task's logic but simplifies the mechanism for passing the iteration result back to main, eliminating the need for an extra context parameter by leveraging return values effectively.

User
Now, translate this C algorithm to ALGOL 68.
ChatGPT

Translating the provided C algorithm to ALGOL 68 involves adapting the C syntax and semantics to those of ALGOL 68, including its type definitions, control structures, and function definitions. ALGOL 68 has a different syntax and offers different constructs compared to C, so the translation will adjust for these differences while preserving the logic of the algorithm.

In ALGOL 68, there isn't a direct equivalent to C's function pointers used for callbacks. However, we can achieve a similar effect using procedures (which can be passed as parameters). Note that ALGOL 68 supports recursion and can define procedures within procedures, which allows us to simulate the nested callback structure.

Here's how the algorithm might be translated into ALGOL 68:

algol68
PROC is perfect square = (INT n)BOOL: BEGIN REAL root := sqrt(n); INT rounded root := ENTIER(root + 0.5); # Round to nearest integer # TRUE := rounded root * rounded root = n END; PROC inf int = (PROC(INT)INT yield)INT: BEGIN INT i := 1; WHILE TRUE DO INT result := yield(i); IF result /= 0 THEN RETURN result FI; i := i + 1 OD; RETURN 0 # Not reachable, but included for completeness # END; PROC sqr = (PROC(INT)INT yield)INT: BEGIN PROC sqr yield = (INT value)INT: yield(value * value); RETURN inf int(sqr yield) END; PROC sum squares = INT: BEGIN INT total := 0; PROC sum yield = (INT value)INT: BEGIN total := total + value; IF is perfect square(total) & total /= 1 THEN RETURN total # Return the perfect square sum # ELSE RETURN 0 # Signal to continue iteration # FI END; RETURN sqr(sum yield) # Start the iteration # END; BEGIN INT result := sum squares; print(("The sum is a perfect square: ", result)) END

This ALGOL 68 code attempts to closely mirror the logic of the C version within the constraints and idioms of ALGOL 68, specifically:

  • Procedures are used in place of function pointers for the callback mechanism.
  • ALGOL 68's ENTIER function rounds towards zero, so to round to the nearest integer, we add 0.5 before applying ENTIER for non-negative values (this is a common technique to simulate round-to-nearest behavior).
  • The algorithm structure follows the original, with inf int generating integers, sqr squaring them and passing them to sum yield, which accumulates the total and checks for a perfect square sum.

Note that specific ALGOL 68 compilers or environments might require adjustments to this code, especially regarding input/output operations or library functions like sqrt.

User
But, ALGOL 68, does not have a RETURN stmt, instead it has the notion of transparently returning the last expression in a PROC's outermost serial-clause, or the expression before ALGOL 68's "completer" EXIT . Also, to break out of a DO loop (or indeed, out of any serial-clause) often a program uses a GOTO, to a label (eg `done:`) in the PROC's outermost serial-clause. Often this label can after ALGOL 68's "completer" EXIT, this way a program can "return" from alternate locations of the PROC. Alter your ALGOL 68 code to reflect these hints. List the full code implementation.
ChatGPT

Incorporating your feedback to make the ALGOL 68 code more idiomatic, we'll adjust the use of RETURN statements and manage loop exits and function completions appropriately for ALGOL 68. This involves using EXIT to complete procedures and employing GOTO statements with labels for early exits from loops, reflecting ALGOL 68's control flow mechanisms. Here's the revised code with these adjustments:

algol68
PROC is perfect square = (INT n)BOOL: BEGIN REAL root := sqrt(n); INT rounded root := ENTIER(root + 0.5); # Round to nearest integer # rounded root * rounded root = n END; PROC inf int = (PROC(INT)INT yield)INT: BEGIN INT i := 1; INT result := 0; # Label for early loop exit # loop: DO result := yield(i); IF result /= 0 THEN GOTO done FI; i := i + 1 OD; # Label indicating the end of the procedure for a normal exit # done: EXIT result END; PROC sqr = (PROC(INT)INT yield)INT: BEGIN PROC sqr yield = (INT value)INT: yield(value * value); sqr yield END; PROC sum squares = INT: BEGIN INT total := 0; PROC sum yield = (INT value)INT: BEGIN total := total + value; IF is perfect square(total) & total /= 1 THEN total # Return the perfect square sum # ELSE 0 # Signal to continue iteration # FI END; sum yield END; BEGIN INT result := sum squares; print(("The sum is a perfect square: ", result)) END

Key Changes:

  • Removed explicit RETURN statements, as ALGOL 68 procedures complete with the last expression evaluated or explicitly with EXIT.
  • Introduced a loop: label and used GOTO to exit loops early based on specific conditions, which is a common pattern in ALGOL 68 to control flow within loops and procedures.
  • Made sure that procedures that need to "return" a value from different points use EXIT with the value to be returned following the label that marks the end of the procedure (done: in the case of inf int).
  • Adjusted sqr and sum squares to ensure they align with ALGOL 68's idiomatic way of handling the last expression as the return value without explicitly using EXIT, as their flow is straightforward.

This revised version should now be more in line with ALGOL 68's idioms and practices, especially regarding procedure completion and loop control.

Monday, May 1, 2023

 

Of Algol68's Aims and principles of design.

Listen up y'all, let me tell you 'bout a language,
ALGOL 68, with deep insights and sage.
Aad van Wijngaarden was the man with the plan,
To make a language that's complete and clear, understand?

Chorus:
Completeness and clarity, that was their goal,
But it may be hard for the uninitiated to behold.
ALGOL 68, a language designed with care,
With features that make it efficient and rare.

Orthogonal design, they kept it simple and neat,
To make the language easy to learn and not a feat.
Primitive concepts, they minimized the amount,
But applied them orthogonally, for maximum amount.

Security was key, for errors could lead to a mess,
But with ALGOL 68, errors were easy to address.
The syntax was designed with mode checking in mind,
To catch errors before they left any programmer blind.

Efficiency was important, for speed is a must,
But ALGOL 68 didn't require any fuss.
Static mode checking was the way to go,
No need for runtime mode checking, to keep the language flow.

Mode-independent parsing, another feature in store,
Parsing a program is easy, no need to implore.
Independent compilation, no loss of efficiency,
As long as mode specifications are provided with proficiency.

Loop optimization, a technique that's well-known,
But in ALGOL 68, it was a technique that shone.
Iterative processes, they were straightforward and true,
Optimization was easy, to make the program run through.

Representations, they were chosen with care,
So the language could be implemented anywhere.
Minimal character sets, they were a must,
But implementers could use a larger set, if they trust.

Outro:
So that's the story of ALGOL 68,
A language that's efficient, and hard to hate.
Aad van Wijngaarden and his team had it right,
ALGOL 68, a language that's a delight.
- Nova

ALGOL 68 - 0.1.3 Security
  • In language design, there's a quest 
  • To make sure errors don't infest 
  • ALGOL 68, a language fine 
  • Is one that's been designed to shine
 
  • Its syntax and errors are controlled 
  • So bugs don't lead to chaos bold 
  • Calamitous results are kept at bay 
  • With ALGOL 68, errors don't hold sway
 
  • Opportunities for mistakes are few 
  • ALGOL 68 keeps them in view 
  • Its design ensures that errors are caught 
  • Before they cause chaos, as they ought not

  • Security is its top priority 
  • ALGOL 68 is a language of quality 
  • For syntax and errors, it's well-equipped 
  • A language to use without fear of slip.
 - Nova

Friday, April 21, 2023

ZFS Build and Install on a Pi.

cf. https://github.com/NevilleDNZ/zfs_build_dkms_hints

 e.g.

#!/bin/bash
uname_m=`uname -m` # "aarch64"
uname_r=`uname -r` # "6.1.21-v8+"
zfs_r="2.1.9"
sudo apt update -y
sudo apt upgrade -y
mkdir -p $HOME/zfs_build/zfs-k"$uname_r"
cd $HOME/zfs_build/zfs-k"$uname_r"
wget https://github.com/openzfs/zfs/releases/download/zfs-"$zfs_r"/zfs-"$zfs_r".tar.gz -O zfs-"$zfs_r".tar.gz
tar -xzf zfs-"$zfs_r".tar.gz
cd zfs-"$zfs_r"
sudo apt install -y alien build-essential fakeroot gawk
sudo apt install -y raspberrypi-kernel-headers
sudo apt install -y gcc make autoconf automake libtool dkms python3 python3-cffi python3-packaging python3-setuptools python3-dev uuid-dev zlib1g-dev libaio-dev libattr1-dev libblkid-dev libcurl4-openssl-dev libelf-dev libffi-dev libssl-dev libudev-dev
sh autogen.sh
./configure
make -s -j4 deb
sudo apt install -y ./libnvpair3_"$zfs_r"-1_arm64.deb ./libuutil3_"$zfs_r"-1_arm64.deb ./libzfs5_"$zfs_r"-1_arm64.deb ./libzpool5_"$zfs_r"-1_arm64.deb ./zfs_"$zfs_r"-1_arm64.deb ./zfs-dkms_"$zfs_r"-1_arm64.deb