F#小记——1. Hello F#

本文介绍F#语言的基础用法,包括如何使用不同的方式打印“Hello World”,变量声明与使用,.NET互操作性以及注释的使用。

简单的示例:

首先我们来个传统函数式编程的hello world吧,一句话就可以了:

printfn "hello world"

这是典型的脚本语言的调用方式,当然,我们也可以试用传统的main函数的方式:

[<EntryPoint>]

let main (args : string[]) =

    printfn "hello world"

    // Program exit code

    0

注意:入口函数是是通过EntryPoint这个Attribute标记的,而不是像C类语言那样固定为main。把它改成这样的方式也有同样的效果:

[<EntryPoint>]

let entrypoint (args : string[]) =

    printfn "hello world"

    // Program exit code

    0

下面再来一个稍微复杂点的例子:

(*

Mega Hello World:

Take two command line parameters and then print

them along with the current time to the console.

*)

 

open System

 

[<EntryPoint>]

let main (args : string[]) =

    if args.Length <> 2 then

        failwith "Error: Expected arguments <greeting> and <thing>"

    let greeting, thing = args.[0], args.[1]

    let timeOfDay = DateTime.Now.ToString("hh:mm tt")

    printfn "%s, %s at %s" greeting thing timeOfDay

    // Program exit code

    0

关于这个例子,这里并不多解释,相信有一定编程基础的人大都能看懂是什么意思。下面我就来简单的介绍一下了。

变量:

跳过前面的启动参数检测部分,首先定义了三个变量:greeting, thingtimeOfDay,并通过let关键字进行了变量的值的绑定。

    let greeting, thing = args.[0], args.[1]

    let timeOfDay = DateTime.Now.ToString("hh:mm tt")

像大多数函数式语言一样,F#变量默认是immutable的,也就是说:变量一经赋值,就不能再改变它的值。这个特性对其开发并发或异步程序有很大帮助,关于这个F#变量的immutablemutable特性,后面再写专门文章来讨论的,这里就不多介绍了。

缩进:

F#可以通过缩进(空格)来表示作用域,如

    if args.Length <> 2 then

        failwith "Error: Expected arguments <greeting> and <thing>"

如果写成这样的方式则无法通过编译:

    if args.Length <> 2 then

    failwith "Error: Expected arguments <greeting> and <thing>"

初学者需要体会一下。

.NET Interop

作为.net 家族的一员,F#自然可以和.net framework无缝集成,使用方式也非常简单:

open System

// …

let timeOfDay = DateTime.Now.ToString("hh:mm tt")

使用方式上和C#非常类似,只是语法和关键字上稍微有些差异而已,后面再做详细介绍。

注释:

F#支持两种注释:行注释和块注释,在前面的例子中就有所体现:

行注释是以“//”开头,一直到行尾,和C++/C#等语言一样。

// Program exit code

块注释则是通过“(*”和“*)”配合使用,其间的内容都是注释,可以换行。和C++/C#等语言的块注释/**/其实是一样的,只不过标示符不一样而已。

(*

Mega Hello World:

Take two command line parameters and then print

them along with the current time to the console.

*)

另外,和C#一样,F#中也支持通过“///”来表示XML注释,用以生成文档。

 

接入第三方登录是让用户方便快捷地使用已有账号登录你的网站或应用程序,提高用户体验的一种方式。本文将介绍如何使用 PHP 实现微信公众号第三方登录。 1. 获取微信授权 首先,需要获取微信用户的授权。具体步骤如下: 1)引导用户打开微信授权页面: ```php $appid = 'your_appid'; $redirect_uri = urlencode('http://yourdomain.com/callback.php'); $scope = 'snsapi_userinfo'; $url = "https://open.weixin.qq.com/connect/oauth2/authorize?appid=$appid&redirect_uri=$redirect_uri&response_type=code&scope=$scope&state=STATE#wechat_redirect"; header("Location: $url"); ``` 其中,`$appid` 是你的微信公众号的 AppID,`$redirect_uri` 是授权后回调的 URL,`$scope` 是授权作用域,可以是 `snsapi_base` 或 `snsapi_userinfo`,`$state` 是自定义参数,用于防止 CSRF 攻击。 2)获取授权码: 用户同意授权后,会重定向到 `$redirect_uri` 指定的 URL,带上授权码 `code` 和 `state` 参数。 ```php $code = $_GET['code']; $state = $_GET['state']; ``` 3)获取 access_token 和 openid: 使用授权码 `code` 获取 `access_token` 和 `openid`。 ```php $access_token_url = "https://api.weixin.qq.com/sns/oauth2/access_token?appid=$appid&secret=$secret&code=$code&grant_type=authorization_code"; $response = file_get_contents($access_token_url); $result = json_decode($response, true); $access_token = $result['access_token']; $openid = $result['openid']; ``` 其中,`$secret` 是你的微信公众号的 AppSecret。 2. 获取用户信息 获取到 `access_token` 和 `openid` 后,可以使用以下代码获取用户信息: ```php $userinfo_url = "https://api.weixin.qq.com/sns/userinfo?access_token=$access_token&openid=$openid&lang=zh_CN"; $response = file_get_contents($userinfo_url); $userinfo = json_decode($response, true); ``` 其中,`$userinfo` 包含用户的昵称、头像等信息。 3. 将用户信息保存到数据库 最后,将获取到的用户信息保存到数据库中,以便下次使用时快速登录。 ```php // 连接数据库 $con = mysqli_connect('localhost', 'username', 'password', 'database'); mysqli_set_charset($con, "utf8"); // 查询用户是否已存在 $sql = "SELECT * FROM users WHERE openid='$openid'"; $result = mysqli_query($con, $sql); if (mysqli_num_rows($result) == 0) { // 用户不存在,插入新用户信息 $nickname = mysqli_real_escape_string($con, $userinfo['nickname']); $headimgurl = mysqli_real_escape_string($con, $userinfo['headimgurl']); $sql = "INSERT INTO users (openid, nickname, headimgurl) VALUES ('$openid', '$nickname', '$headimgurl')"; mysqli_query($con, $sql); } // 保存用户登录状态 $_SESSION['openid'] = $openid; ``` 以上就是使用 PHP 实现微信公众号第三方登录的步骤。需要注意的是,为了确保安全性,应该对用户输入的数据进行过滤和验证,防止 SQL 注入和 XSS 攻击等。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值