主頁 >  其他 > 用寫文章的方式寫程式--“三維度”邏輯編程語言的設計(1)

用寫文章的方式寫程式--“三維度”邏輯編程語言的設計(1)

2020-09-22 18:03:58 其他

 1、 前言

    前幾個月,看到園子里面一篇介紹邏輯編程語言的文章《邏輯式編程語言極簡實作(使用C#)》,覺得作者寫得很有趣,用講故事的方式來講述了一個極簡邏輯編程語言的設計,于是我也萌生了寫一篇有關邏輯編程語言的文章,說實話,我很早就接觸了邏輯編程的概念,最開始學編程的時候就想著有朝一日搞搞AI,當你在AI界機器學習還僅僅是一個概念,最火的莫過于被稱呼為“第五代編程語言”的邏輯程式語言--Prolog,可惜作業中始終沒有機會實戰這種編程語言,對Prolog也只是一知半解,直到2013年,我提出《業務分析三維度(場景+角色+時間)理論》后,思考如何將這個理論在編程上進行落地,才發現邏輯編程的概念非常符合這個三維度理論,而且這個理論跟DCI架構殊途同歸,思想上是很類似的,具體內容可以參考我最近寫的新書《SOD框架“企業級”應用資料架構實戰》里面的【6.3.3 業務分析三維度理論 】,如下圖,

 

 

2、編程的癥結

    回到本文標題,大家可能有疑問,寫文章和寫程式是一回事嗎?怎么能用寫文章的方式來寫程式!

    的確,寫文章跟寫程式有很大的不同,然而這種不同是基于我們天天使用的面向物件編程語言(OOPL)上的一種感受,面向物件其實跟面向程序編程都是屬于“命令式”編程,也就是程式員必須告訴計算機每一步要如何做,細化到做這一步是用分支陳述句還是用回圈陳述句的語言細節,這樣解決問題就需要大量的編碼,有時候代碼量太大而不得不依靠各種架構或者設計模式來幫助人們理解復雜的程式行為,然而這些架構或設計模式卻并不是軟體工程師之外的人非常容易理解的事物,盡管工程師聲稱他們有詳細的檔案,也有“統一的模型語言”--UML,但事實證明UML并不成功,

    我們說話的方式可以分為命令式、陳述式是虛擬式(參見原文),命令式是說話人施加給他人的意志;陳述式是如實的反映不以人的意志為轉移的客觀事實;虛擬式表達人的主觀意志或者判斷,例如,一篇文章中如何描述有關“國家的印象”,不同的語式分別如下:

  • 命令式
    •   “給我講講你們對這個國家的印象”,
  • 陳述式
    •   “他給我講了他們對這個國家的印象”,
  • 虛擬式
    •   “我希望你給我們講一下你們對這個國家的印象”,

    在實際的對話中,命令式交談有點像領導讓下級匯報作業,領導會不斷問下級各種作業細節;陳述式交談有點像一個朋友傾聽你講的一個故事,你只管講,我聽著就行;虛擬式是你希望了解某個事情但又不能以命令的口吻,你們之間是一種平等的關系,所以只能用這種委婉的語氣,實際談話程序與命令式交談是類似的,只不過語氣不同,所以,我們重點只需要區分命令式和陳述式兩種說話風格,命令式關注你怎么做(要不怎么反映你的意志),陳述式關注你做了什么,或者你將要做什么,也就是更加關注做事情的結果,所以,你寫一篇文章,或者寫一本書,為了激起讀者的閱讀欲望,就應該更加關注你寫的文章“要寫什么“,“寫了什么”,“主人公做了什么”,雖然你也會用很多篇幅去詳細描述這個問題具體是如何做的,但一定要用特別的段落、醒目的標題去表達前者,這恐怕是現在程式員覺得寫程式跟寫文章最大的區別之處:無法直接通程序式原始碼表達這個程式要做什么或做了什么,原始碼也沒有什么“程式標題”,那是“需求說明檔案”干的事情,

    上面這個問題,是我們在編程中遇到的一個根本問題,我們深陷于編程的代碼細節,而不能直接告訴計算機我們想要什么,它們要求你去描述如何做,而不是做什么,在你能叫得出名字的任何一種語言里,程式是一個對能計算出你想要的東西的處理程序的描述,而不是一個對你想要的東西的描述,作為程式員,我們用代碼解決問題,我們應該能夠用代碼來表達我們想要的結果,而不是想要達到這種結果需要的程序,這才是癥結所在,這段話來自于《也談編程改革》,我們是應該面向程序,還是面向結果的編程,而提出這個問題的作者Jon Beltran是一個西班牙程式員,作家,企業家,他說:“I want to fix programming - 編程改革”,

  3、編程范式

    這個問題是一個編程“范式”問題,與說話的方式或者寫文章的方式對應,我們的編程范式也可以分為“命令式編程”、“申明式編程”、“函式式編程”、“邏輯式編程”等,

  • 命令式編程--主要思想是關注計算機執行的步驟,即一步一步告訴計算機先做什么再做什么,
  • 宣告式編程--是以資料結構的形式來表達程式執行的邏輯,它的主要思想是告訴計算機應該做什么,但不指定具體要怎么做,SQL 陳述句就是最明顯的一種宣告式編程的例子,HTML,CSS也是這樣的例子,
  • 函式式編程--和宣告式編程是有所關聯的,因為他們思想是一致的:即只關注做什么而不是怎么做,但函式式編程不僅僅局限于宣告式編程,
  • 邏輯式編程--設定答案須符合的規則來解決問題,而非設定步驟來解決問題,程序是事實+規則=結果,

    有關內容請參見《編程范式:命令式編程(Imperative)、宣告式編程(Declarative)和函式式編程(Functional)》,個人覺得,LINQ有申明式編程的特點,VS編譯器將LINQ編譯成一些列物件的函式呼叫,背后又是函式式編程的風格,SOD框架的ORM查詢語言--OQL也采用了函式式編程的風格,通過一些列的物件函式鏈式呼叫實作,具體可以參見《ORM查詢語言(OQL)簡介--概念篇》一文,

 4、三維度理論

    我在 2013 年提出了《業務分析三維度(場景+角色+時間)理論》,嘗試從場景維度、 角色維度和時間維度來分析問題,從而提出了一套分析業務的方法論,以下簡稱“三維度理 論”,其實這個方法就是記敘文三要素(環境,人物,主要內容)的進一步抽象總結,我發現,記敘文三要素的環境類似于場景概念,人物類似于角色概念,事件的主要內容就是角色在場景中互動的各種資料,這個程序跟DCI架構的理念很相似的,如果從這個角度來看,那么 DCI 架構就是我們寫記敘文的模式了,既然DCI架構是一種程式架構,那么反過來說,我們用寫記敘文的方式來寫程式也是完全可能的, 在記敘文三要素的基礎上,有記敘文六要素的概念,指的是時間,地點,人物,事情的 起因,經過,結果,我對此進一步抽象總結,提出了“三維度理論”,場景就是六要素中 的地點,角色就是人物,時間對應六要素的時間,記敘文中事件的起因、經過和結果,就是 場景、角色在時間維度上面的投影,如下圖所示,

      我們用這三個維度來分析業務系統,這種業務分析視角,更符合人的一般思維模式,讓 人容易理解,因為人本身就是在不斷地扮演各種角色做事情的,因此,業務專家也很喜歡這 樣的作業方式,做業務分析,然后跟受眾講解業務細節問題,這個“工具”,就像是業務專 家手里的三維“顯微鏡”一樣,場景、角色、時間,這 3 個維度,就抽象、立體的把業務描 述清楚了!這個道理可能太淺顯了,所以很少看到有人系統的來論證它,我把這個東西總結 為“業務分析三維度(場景+角色+時間)理論”,后面簡稱為“三維度理論”,
    人們總是局限于事情的表象,制造出很多復雜的事情而又無法掌控這些事情,如果要化 繁為簡,就需要深入事務背后的機制;要找到這種機制,就需要進行較高層次的抽象,通俗 的說法就是形而上學, 由點到面,由一般到特殊這些思維方法,這個程序抽象出來的模型, 可以用場景,角色,時間三個維度去觀察,分析;甚至,直接用這三個維度去為這個抽象建模, 有關三維度理論的詳細內容,請參考筆者的博客文章《業務分析三維度(場景+角色+時 間)之程式員坐禪論道》,

  5,三維度編程模式

    上面說到三維度理論是一個用來進行業務分析的理論,如果業務分析的結果能直接對應一套抽象模型,而這個模型又能用程式代碼表達,那就意味著我們完全可以用寫文章的方式來寫程式,即這樣一種程式:描述業務中的物件、描述業務場景、描述參與場景的物件角色、描述角色物件或者場景在時間中的相互作用,回答系統中有關的問題,角色參與場景活動的開始、經過和結果,回答角色相互之間的關系,,,用這種方式來寫程式,跟寫一篇記敘文就很相似了,寫記敘文可是每個小學畢業的人都會的技能,這樣差不多人人都可以寫程式了,

    總結一下,上面理想中的寫程式的程序其實就是在定義規則,這種方式正是"邏輯編程"的范式,為了實作這個目標,我將要“發明”一套“三維度”邏輯編程語言,不管算不算發明,先打個引號再說,今天的話題設計了太多的編程理論概念,需要讀者先消化一下這些概念,再下一篇,我將一個“游戲人生”的故事,來詳細介紹這門“編程語言”的設計,先放圖,敬請期待,

 

注:此圖內容來自于筆者今年出版的新書《SOD框架“企業級”應用資料架構實戰》中的【6.3.3 業務分析三維度理論 】內容,已經購書的朋友可以搶先看到這部分內容,還沒有購書的朋友可以點擊前面書名連接了解,

 

轉載請註明出處,本文鏈接:https://www.uj5u.com/qita/106362.html

標籤:其他

上一篇:發布更新|騰訊云 Serverless 產品動態 20200922

下一篇:CMD命令列,運行ride.py檔案。報錯gbk,

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 網閘典型架構簡述

    網閘架構一般分為兩種:三主機的三系統架構網閘和雙主機的2+1架構網閘。 三主機架構分別為內端機、外端機和仲裁機。三機無論從軟體和硬體上均各自獨立。首先從硬體上來看,三機都用各自獨立的主板、記憶體及存盤設備。從軟體上來看,三機有各自獨立的作業系統。這樣能達到完全的三機獨立。對于“2+1”系統,“2”分為 ......

    uj5u.com 2020-09-10 02:00:44 more
  • 如何從xshell上傳檔案到centos linux虛擬機里

    如何從xshell上傳檔案到centos linux虛擬機里及:虛擬機CentOs下執行 yum -y install lrzsz命令,出現錯誤:鏡像無法找到軟體包 前言 一、安裝lrzsz步驟 二、上傳檔案 三、遇到的問題及解決方案 總結 前言 提示:其實很簡單,往虛擬機上安裝一個上傳檔案的工具 ......

    uj5u.com 2020-09-10 02:00:47 more
  • 一、SQLMAP入門

    一、SQLMAP入門 1、判斷是否存在注入 sqlmap.py -u 網址/id=1 id=1不可缺少。當注入點后面的引數大于兩個時。需要加雙引號, sqlmap.py -u "網址/id=1&uid=1" 2、判斷文本中的請求是否存在注入 從文本中加載http請求,SQLMAP可以從一個文本檔案中 ......

    uj5u.com 2020-09-10 02:00:50 more
  • Metasploit 簡單使用教程

    metasploit 簡單使用教程 浩先生, 2020-08-28 16:18:25 分類專欄: kail 網路安全 linux 文章標簽: linux資訊安全 編輯 著作權 metasploit 使用教程 前言 一、Metasploit是什么? 二、準備作業 三、具體步驟 前言 Msfconsole ......

    uj5u.com 2020-09-10 02:00:53 more
  • 游戲逆向之驅動層與用戶層通訊

    驅動層代碼: #pragma once #include <ntifs.h> #define add_code CTL_CODE(FILE_DEVICE_UNKNOWN,0x800,METHOD_BUFFERED,FILE_ANY_ACCESS) /* 更多游戲逆向視頻www.yxfzedu.com ......

    uj5u.com 2020-09-10 02:00:56 more
  • 北斗電力時鐘(北斗授時服務器)讓網路資料更精準

    北斗電力時鐘(北斗授時服務器)讓網路資料更精準 北斗電力時鐘(北斗授時服務器)讓網路資料更精準 京準電子科技官微——ahjzsz 近幾年,資訊技術的得了快速發展,互聯網在逐漸普及,其在人們生活和生產中都得到了廣泛應用,并且取得了不錯的應用效果。計算機網路資訊在電力系統中的應用,一方面使電力系統的運行 ......

    uj5u.com 2020-09-10 02:01:03 more
  • 【CTF】CTFHub 技能樹 彩蛋 writeup

    ?碎碎念 CTFHub:https://www.ctfhub.com/ 筆者入門CTF時時剛開始刷的是bugku的舊平臺,后來才有了CTFHub。 感覺不論是網頁UI設計,還是題目質量,賽事跟蹤,工具軟體都做得很不錯。 而且因為獨到的金幣制度的確讓人有一種想去刷題賺金幣的感覺。 個人還是非常喜歡這個 ......

    uj5u.com 2020-09-10 02:04:05 more
  • 02windows基礎操作

    我學到了一下幾點 Windows系統目錄結構與滲透的作用 常見Windows的服務詳解 Windows埠詳解 常用的Windows注冊表詳解 hacker DOS命令詳解(net user / type /md /rd/ dir /cd /net use copy、批處理 等) 利用dos命令制作 ......

    uj5u.com 2020-09-10 02:04:18 more
  • 03.Linux基礎操作

    我學到了以下幾點 01Linux系統介紹02系統安裝,密碼啊破解03Linux常用命令04LAMP 01LINUX windows: win03 8 12 16 19 配置不繁瑣 Linux:redhat,centos(紅帽社區版),Ubuntu server,suse unix:金融機構,證券,銀 ......

    uj5u.com 2020-09-10 02:04:30 more
  • 05HTML

    01HTML介紹 02頭部標簽講解03基礎標簽講解04表單標簽講解 HTML前段語言 js1.了解代碼2.根據代碼 懂得挖掘漏洞 (POST注入/XSS漏洞上傳)3.黑帽seo 白帽seo 客戶網站被黑帽植入劫持代碼如何處理4.熟悉html表單 <html><head><title>TDK標題,描述 ......

    uj5u.com 2020-09-10 02:04:36 more
最新发布
  • 2023年最新微信小程式抓包教程

    01 開門見山 隔一個月發一篇文章,不過分。 首先回顧一下《微信系結手機號資料庫被脫庫事件》,我也是第一時間得知了這個訊息,然后跟蹤了整件事情的經過。下面是這起事件的相關截圖以及近日流出的一萬條資料樣本: 個人認為這件事也沒什么,還不如關注一下之前45億快遞資料查詢渠道疑似在近日復活的訊息。 訊息是 ......

    uj5u.com 2023-04-20 08:48:24 more
  • web3 產品介紹:metamask 錢包 使用最多的瀏覽器插件錢包

    Metamask錢包是一種基于區塊鏈技術的數字貨幣錢包,它允許用戶在安全、便捷的環境下管理自己的加密資產。Metamask錢包是以太坊生態系統中最流行的錢包之一,它具有易于使用、安全性高和功能強大等優點。 本文將詳細介紹Metamask錢包的功能和使用方法。 一、 Metamask錢包的功能 數字資 ......

    uj5u.com 2023-04-20 08:47:46 more
  • vulnhub_Earth

    前言 靶機地址->>>vulnhub_Earth 攻擊機ip:192.168.20.121 靶機ip:192.168.20.122 參考文章 https://www.cnblogs.com/Jing-X/archive/2022/04/03/16097695.html https://www.cnb ......

    uj5u.com 2023-04-20 07:46:20 more
  • 從4k到42k,軟體測驗工程師的漲薪史,給我看哭了

    清明節一過,盲猜大家已經無心上班,在數著日子準備過五一,但一想到銀行卡里的余額……瞬間心情就不美麗了。最近,2023年高校畢業生就業調查顯示,本科畢業月平均起薪為5825元。調查一出,便有很多同學表示自己又被平均了。看著這一資料,不免讓人想到前不久中國青年報的一項調查:近六成大學生認為畢業10年內會 ......

    uj5u.com 2023-04-20 07:44:00 more
  • 最新版本 Stable Diffusion 開源 AI 繪畫工具之中文自動提詞篇

    🎈 標簽生成器 由于輸入正向提示詞 prompt 和反向提示詞 negative prompt 都是使用英文,所以對學習母語的我們非常不友好 使用網址:https://tinygeeker.github.io/p/ai-prompt-generator 這個網址是為了讓大家在使用 AI 繪畫的時候 ......

    uj5u.com 2023-04-20 07:43:36 more
  • 漫談前端自動化測驗演進之路及測驗工具分析

    隨著前端技術的不斷發展和應用程式的日益復雜,前端自動化測驗也在不斷演進。隨著 Web 應用程式變得越來越復雜,自動化測驗的需求也越來越高。如今,自動化測驗已經成為 Web 應用程式開發程序中不可或缺的一部分,它們可以幫助開發人員更快地發現和修復錯誤,提高應用程式的性能和可靠性。 ......

    uj5u.com 2023-04-20 07:43:16 more
  • CANN開發實踐:4個DVPP記憶體問題的典型案例解讀

    摘要:由于DVPP媒體資料處理功能對存放輸入、輸出資料的記憶體有更高的要求(例如,記憶體首地址128位元組對齊),因此需呼叫專用的記憶體申請介面,那么本期就分享幾個關于DVPP記憶體問題的典型案例,并給出原因分析及解決方法。 本文分享自華為云社區《FAQ_DVPP記憶體問題案例》,作者:昇騰CANN。 DVPP ......

    uj5u.com 2023-04-20 07:43:03 more
  • msf學習

    msf學習 以kali自帶的msf為例 一、msf核心模塊與功能 msf模塊都放在/usr/share/metasploit-framework/modules目錄下 1、auxiliary 輔助模塊,輔助滲透(埠掃描、登錄密碼爆破、漏洞驗證等) 2、encoders 編碼器模塊,主要包含各種編碼 ......

    uj5u.com 2023-04-20 07:42:59 more
  • Halcon軟體安裝與界面簡介

    1. 下載Halcon17版本到到本地 2. 雙擊安裝包后 3. 步驟如下 1.2 Halcon軟體安裝 界面分為四大塊 1. Halcon的五個助手 1) 影像采集助手:與相機連接,設定相機引數,采集影像 2) 標定助手:九點標定或是其它的標定,生成標定檔案及內參外參,可以將像素單位轉換為長度單位 ......

    uj5u.com 2023-04-20 07:42:17 more
  • 在MacOS下使用Unity3D開發游戲

    第一次發博客,先發一下我的游戲開發環境吧。 去年2月份買了一臺MacBookPro2021 M1pro(以下簡稱mbp),這一年來一直在用mbp開發游戲。我大致分享一下我的開發工具以及使用體驗。 1、Unity 官網鏈接: https://unity.cn/releases 我一般使用的Apple ......

    uj5u.com 2023-04-20 07:40:19 more