真实的国产乱ⅩXXX66竹夫人,五月香六月婷婷激情综合,亚洲日本VA一区二区三区,亚洲精品一区二区三区麻豆

StackExchange站點的命令行搜索工具是怎么樣的

這期內(nèi)容當中小編將會給大家?guī)碛嘘P(guān)StackExchange 站點的命令行搜索工具是怎么樣的，文章內(nèi)容豐富且以專業(yè)的角度為大家分析和敘述，閱讀完這篇文章希望大家可以有所收獲。

創(chuàng)新互聯(lián)公司是一家專業(yè)提供祁陽企業(yè)網(wǎng)站建設(shè),專注與成都網(wǎng)站建設(shè)、成都網(wǎng)站設(shè)計、HTML5、小程序制作等業(yè)務(wù)。10年已為祁陽眾多企業(yè)、政府機構(gòu)等服務(wù)。創(chuàng)新互聯(lián)專業(yè)網(wǎng)站設(shè)計公司優(yōu)惠進行中。

StackExchange 站點的命令行搜索工具

so，可以用來搜索 StackExchange 網(wǎng)絡(luò)內(nèi)任何站點的命令行工具，其中就包括程序員熟知的 StackOverflow 站點。

使用示例如下：

  
    
  
  
  # search using default configuration$ so how do i reverse a list in python
# search for a latex solution$ so --site tex how to put tilde over character
# use google to search stackoverflow.com, askubuntu.com, and unix.stackexchange.com$ so -e google -s askubuntu -s stackoverflow -s unix how do i install linux

Canrun，邏輯編程庫

Canrun 是 Rust 開發(fā)的邏輯編程庫，其受到 miniKanren 的啟發(fā)。

示例：


use canrun::{Goal, both, unify, var, example::I32};
let x = var();let y = var();let goal: Goal = both(unify(x, y), unify(1, x));let result: Vec<_> = goal.query(y).collect();assert_eq!(result, vec![1])