What's New in F# 8.0: Simpler, Enhanced Uniformity, and Improved Performance | Canada News Media
Connect with us

Tech

What’s New in F# 8.0: Simpler, Enhanced Uniformity, and Improved Performance

Published

 on

Back in November, during the .NET Conf Microsoft released F# 8.0 as part of the .NET 8 release. The new version of F# brings in many features to make F# code simpler, more uniform, and apps more performant. The new features are related to language changes, improved diagnostics, quality-of-life improvements, and performance boosts for project compilation and upgrades.

In the latest F# release, several noteworthy features have been introduced to enhance the language’s expressiveness and efficiency. One significant addition is the shorthand for defining simple lambda functions, which proves particularly useful for situations where a lambda function is confined to an atomic expression on the lambda argument. This shorthand, expressed as (fun x -> x.Property), simplifies the code, making it more concise and readable.

A second key feature addresses the copy-and-update functionality for nested records. This enhancement simplifies the process of copying and updating nested record fields, providing developers with a more efficient and straightforward approach to field manipulation within records.

The while! (while bang) feature, initially announced in an earlier preview, has been officially integrated. This feature simplifies the use of computation expressions, especially when looping over a boolean condition that needs evaluation within the computation expression, such as within an async block.

let doStuffWithWhileBang =
    async 
        while! asyncCondition do
            count <- count + 2
        return count
    

F# 8 also introduces an extended string interpolation syntax, drawing inspiration from C#. This improvement enhances the support for existing interpolated strings in F#. Literal text output can now seamlessly combine with values and expressions by enclosing them in braces . However, to use braces as literal parts of the output, they need to be escaped by doubling (via and ). As stated, this can be helpful when dealing with texts containing numerous braces, such as when embedding other languages in F# strings, like JSON, CSS, or HTML-based templating languages like mustache.

Furthermore, another significant update involves string literals used in built-in printing functions (printfn, sprintfn, etc.). In previous versions, the specified format had to be a string literal typed directly at the usage location. With F# 8, string literals defined elsewhere are now supported. Additionally, developers can define a string literal using a concatenation of existing string literals. This allows for the reuse of commonly repeated format specifiers as patterns, reducing redundancy in the codebase.

[<Literal>] 
let formatBody = "(%f,%f)"
[<Literal>] 
let formatPrefix = "Person at coordinates"
[<Literal>] 
let fullFormat = formatPrefix + formatBody

let renderedCoordinates = sprintf formatBody 0.25 0.75
let renderedText = sprintf fullFormat 0.25 0.75

There are some other changes also, including arithmetic operators in literals, type constraint intersection syntax, extended fixed bindings, simplified [<Extension>] method definitions and others. The release also includes the changes related to new and improved diagnostics.

With this release, F# is experiencing significant enhancements to improve uniformity and consistency. Static members can now be declared and implemented in interfaces, emphasizing concrete members in contrast to F#7’s static abstract members. Additionally, static bindings, including static let and static do, are extended to discriminated unions, records, structs, and types without primary constructors, promoting the encapsulation of data and logic within type definitions.

[<Interface>]
type IDemoable =
    abstract member Show: string -> unit
    static member AutoFormat(a) = sprintf "%A" a

Also, the try-with code construct is now supported within collection builders, such as seq for IEnumerable definitions, [] for list builders, and [||] for array builders. This extension enables exception handling within these expressions, allowing for various combinations of ‘try’ and ‘with’ scenarios, enhancing the overall clarity and conciseness of F# code.

F# 8 introduces several quality-of-life improvements. One significant improvement is the introduction of trimmability for compiler-generated code, enhancing code clarity and reducing unnecessary elements.

Parser recovery has been refined, contributing to a more robust and resilient parsing process for improved code comprehension. Strict indentation rules have been implemented, promoting consistent code formatting and enhancing readability across F# projects.

Autocomplete functionality has been refined, providing an improved developer experience by offering more accurate and context-aware suggestions during coding. Additionally, [<Struct>] unions now support over 49 cases, expanding the versatility of this construct within F#.

Compiler performance has been a focal point in this release, addressing crucial aspects related to the F# compiler and associated tooling. Special attention has been given to two key areas F# – incremental builds of large graphs of projects via the Reference assemblies feature, and CPU-parallelization of the compiler process.

Overall community feedback about this release, was positive and a couple of community members wrote that they already experienced the performance improvements. A user called David N wrote the following comment on the original blog post announcement:

Brilliant work. It’s taken me a while to get to read this and I see I have several things to go and try out now. Especially the new experimental compiler optimisations. I had already been trying the graph optimisations and they gave a 20% improvement to my project build times just with that one feature.

Finally, the Microsoft team has published the release announcement in a detailed blog post highlighting all the new features of F# 8.0. Readers are strongly encouraged to dive into the post for a comprehensive exploration of these updates.

 

Source link

Continue Reading

Tech

Ottawa orders TikTok’s Canadian arm to be dissolved

Published

 on

 

The federal government is ordering the dissolution of TikTok’s Canadian business after a national security review of the Chinese company behind the social media platform, but stopped short of ordering people to stay off the app.

Industry Minister François-Philippe Champagne announced the government’s “wind up” demand Wednesday, saying it is meant to address “risks” related to ByteDance Ltd.’s establishment of TikTok Technology Canada Inc.

“The decision was based on the information and evidence collected over the course of the review and on the advice of Canada’s security and intelligence community and other government partners,” he said in a statement.

The announcement added that the government is not blocking Canadians’ access to the TikTok application or their ability to create content.

However, it urged people to “adopt good cybersecurity practices and assess the possible risks of using social media platforms and applications, including how their information is likely to be protected, managed, used and shared by foreign actors, as well as to be aware of which country’s laws apply.”

Champagne’s office did not immediately respond to a request for comment seeking details about what evidence led to the government’s dissolution demand, how long ByteDance has to comply and why the app is not being banned.

A TikTok spokesperson said in a statement that the shutdown of its Canadian offices will mean the loss of hundreds of well-paying local jobs.

“We will challenge this order in court,” the spokesperson said.

“The TikTok platform will remain available for creators to find an audience, explore new interests and for businesses to thrive.”

The federal Liberals ordered a national security review of TikTok in September 2023, but it was not public knowledge until The Canadian Press reported in March that it was investigating the company.

At the time, it said the review was based on the expansion of a business, which it said constituted the establishment of a new Canadian entity. It declined to provide any further details about what expansion it was reviewing.

A government database showed a notification of new business from TikTok in June 2023. It said Network Sense Ventures Ltd. in Toronto and Vancouver would engage in “marketing, advertising, and content/creator development activities in relation to the use of the TikTok app in Canada.”

Even before the review, ByteDance and TikTok were lightning rod for privacy and safety concerns because Chinese national security laws compel organizations in the country to assist with intelligence gathering.

Such concerns led the U.S. House of Representatives to pass a bill in March designed to ban TikTok unless its China-based owner sells its stake in the business.

Champagne’s office has maintained Canada’s review was not related to the U.S. bill, which has yet to pass.

Canada’s review was carried out through the Investment Canada Act, which allows the government to investigate any foreign investment with potential to might harm national security.

While cabinet can make investors sell parts of the business or shares, Champagne has said the act doesn’t allow him to disclose details of the review.

Wednesday’s dissolution order was made in accordance with the act.

The federal government banned TikTok from its mobile devices in February 2023 following the launch of an investigation into the company by federal and provincial privacy commissioners.

— With files from Anja Karadeglija in Ottawa

This report by The Canadian Press was first published Nov. 6, 2024.

The Canadian Press. All rights reserved.

Source link

Continue Reading

Health

Here is how to prepare your online accounts for when you die

Published

 on

 

LONDON (AP) — Most people have accumulated a pile of data — selfies, emails, videos and more — on their social media and digital accounts over their lifetimes. What happens to it when we die?

It’s wise to draft a will spelling out who inherits your physical assets after you’re gone, but don’t forget to take care of your digital estate too. Friends and family might treasure files and posts you’ve left behind, but they could get lost in digital purgatory after you pass away unless you take some simple steps.

Here’s how you can prepare your digital life for your survivors:

Apple

The iPhone maker lets you nominate a “ legacy contact ” who can access your Apple account’s data after you die. The company says it’s a secure way to give trusted people access to photos, files and messages. To set it up you’ll need an Apple device with a fairly recent operating system — iPhones and iPads need iOS or iPadOS 15.2 and MacBooks needs macOS Monterey 12.1.

For iPhones, go to settings, tap Sign-in & Security and then Legacy Contact. You can name one or more people, and they don’t need an Apple ID or device.

You’ll have to share an access key with your contact. It can be a digital version sent electronically, or you can print a copy or save it as a screenshot or PDF.

Take note that there are some types of files you won’t be able to pass on — including digital rights-protected music, movies and passwords stored in Apple’s password manager. Legacy contacts can only access a deceased user’s account for three years before Apple deletes the account.

Google

Google takes a different approach with its Inactive Account Manager, which allows you to share your data with someone if it notices that you’ve stopped using your account.

When setting it up, you need to decide how long Google should wait — from three to 18 months — before considering your account inactive. Once that time is up, Google can notify up to 10 people.

You can write a message informing them you’ve stopped using the account, and, optionally, include a link to download your data. You can choose what types of data they can access — including emails, photos, calendar entries and YouTube videos.

There’s also an option to automatically delete your account after three months of inactivity, so your contacts will have to download any data before that deadline.

Facebook and Instagram

Some social media platforms can preserve accounts for people who have died so that friends and family can honor their memories.

When users of Facebook or Instagram die, parent company Meta says it can memorialize the account if it gets a “valid request” from a friend or family member. Requests can be submitted through an online form.

The social media company strongly recommends Facebook users add a legacy contact to look after their memorial accounts. Legacy contacts can do things like respond to new friend requests and update pinned posts, but they can’t read private messages or remove or alter previous posts. You can only choose one person, who also has to have a Facebook account.

You can also ask Facebook or Instagram to delete a deceased user’s account if you’re a close family member or an executor. You’ll need to send in documents like a death certificate.

TikTok

The video-sharing platform says that if a user has died, people can submit a request to memorialize the account through the settings menu. Go to the Report a Problem section, then Account and profile, then Manage account, where you can report a deceased user.

Once an account has been memorialized, it will be labeled “Remembering.” No one will be able to log into the account, which prevents anyone from editing the profile or using the account to post new content or send messages.

X

It’s not possible to nominate a legacy contact on Elon Musk’s social media site. But family members or an authorized person can submit a request to deactivate a deceased user’s account.

Passwords

Besides the major online services, you’ll probably have dozens if not hundreds of other digital accounts that your survivors might need to access. You could just write all your login credentials down in a notebook and put it somewhere safe. But making a physical copy presents its own vulnerabilities. What if you lose track of it? What if someone finds it?

Instead, consider a password manager that has an emergency access feature. Password managers are digital vaults that you can use to store all your credentials. Some, like Keeper,Bitwarden and NordPass, allow users to nominate one or more trusted contacts who can access their keys in case of an emergency such as a death.

But there are a few catches: Those contacts also need to use the same password manager and you might have to pay for the service.

___

Is there a tech challenge you need help figuring out? Write to us at onetechtip@ap.org with your questions.

Source link

Continue Reading

Tech

Google’s partnership with AI startup Anthropic faces a UK competition investigation

Published

 on

 

LONDON (AP) — Britain’s competition watchdog said Thursday it’s opening a formal investigation into Google’s partnership with artificial intelligence startup Anthropic.

The Competition and Markets Authority said it has “sufficient information” to launch an initial probe after it sought input earlier this year on whether the deal would stifle competition.

The CMA has until Dec. 19 to decide whether to approve the deal or escalate its investigation.

“Google is committed to building the most open and innovative AI ecosystem in the world,” the company said. “Anthropic is free to use multiple cloud providers and does, and we don’t demand exclusive tech rights.”

San Francisco-based Anthropic was founded in 2021 by siblings Dario and Daniela Amodei, who previously worked at ChatGPT maker OpenAI. The company has focused on increasing the safety and reliability of AI models. Google reportedly agreed last year to make a multibillion-dollar investment in Anthropic, which has a popular chatbot named Claude.

Anthropic said it’s cooperating with the regulator and will provide “the complete picture about Google’s investment and our commercial collaboration.”

“We are an independent company and none of our strategic partnerships or investor relationships diminish the independence of our corporate governance or our freedom to partner with others,” it said in a statement.

The U.K. regulator has been scrutinizing a raft of AI deals as investment money floods into the industry to capitalize on the artificial intelligence boom. Last month it cleared Anthropic’s $4 billion deal with Amazon and it has also signed off on Microsoft’s deals with two other AI startups, Inflection and Mistral.

The Canadian Press. All rights reserved.

Source link

Continue Reading

Trending

Exit mobile version