小编Tim*_*Tim的帖子

我正在使用Microsoft SQL Server Management Studio.我虽然它是一个数据库管理系统,但直到今天我才意识到数据库管理系统实际上是Microsoft SQL Server.所以我想知道Microsoft SQL Server Management Studio和Microsoft SQL Server之间的关系和区别.

我了解到Microsoft SQL Server Management Studio是一个数据库管理工具,来自https://en.wikipedia.org/wiki/SQL_Server_Management_Studio.那么数据库管理工具和数据库管理系统之间有什么区别和关系呢？

1. 数据库管理系统是否包含用户界面？(根据我对Microsoft SQL Server Management Studio的经验,我知道数据库管理工具.)

2. 我可以在编程语言中进行类比吗？

   • 数据库管理系统是否像编程语言(这里是SQL语言)的编译器一样？

   • 数据库管理工具是否像IDE一样用于编程语言的程序？

阅读以下链接后,我仍然无法弄明白.

从第二个链接:

数据库管理系统(DBMS)是一种计算机程序(或更典型地,它是一套),用于管理数据库,大量结构化数据,以及对众多用户请求的数据运行操作.DBMS使用的典型示例包括会计,人力资源和客户支持系统.

来自 https://en.wikipedia.org/wiki/Database_administration_and_automation#Database_administration_tools

数据库管理工具

通常,DBMS软件附带某些工具来帮助DBA管理DBMS.这些工具称为本机工具.例如,Microsoft SQL Server附带SQL Server Management Studio,Oracle具有SQL*Plus和Oracle Enterprise Manager/Grid Control等工具.

此外,BMC,Quest Software,Embarcadero Technologies,EMS数据库管理解决方案和SQL Maestro Group等第三方提供GUI工具来监控DBMS,并帮助DBA更轻松地在数据库中执行某些功能.

谢谢.

在Visual Studio 2015 for C#中,解决方案始终将项目指定为启动项目.

我怎样才能找到解决方案的启动项目？

我正在阅读/sf/answers/1976226381/

为什么我们可以将模块名称作为变量来builtins.__import__运行,而我们必须直接将模块名称赋予import语句？

语句和导致这种差异的函数之间有什么区别？

在Haskell中，class Monad声明为：

class   Applicative m   =>  Monad   m   where
return  ::  a   ->  m   a
(>>=)   ::  m   a   ->  (a  ->  m   b)  ->  m   b
return  =   pure

我怎样才能证明Monadis实际上Applicative是这样声明的？

class   Functor f   =>  Applicative f   where
pure    ::  a   ->  f   a
(<*>)   ::  f   (a  ->  b)  ->  f   a   ->  f   b

具体来说，我怎么能写pure并<*>在以下方面return和>>=？

我怎样才能证明Monadis实际上Functor是这样声明的？

class   Functor f   where
fmap …

在Haskell Monad中声明为

class   Applicative m   =>  Monad   m   where
    return  ::  a   ->  m   a
    (>>=)   ::  m   a   ->  (a  ->  m   b)  ->  m   b
    return  =   pure

我想知道是否可以将bind运算符重新声明为

(>>=)   ::  (a  ->  m   b)  ->  m   a   ->  m   b

？

第二个声明使将(>>=)type a -> m b的函数映射到type 的函数m a -> m b更清晰，而原始的声明却使它的含义更不清楚，是否正确？

声明的更改是否会使某些事情变为可能，甚至是不可能，或者只需要对使用monad进行一些更改（Haskell程序员似乎可以接受）？

谢谢。

https://zh.m.wikibooks.org/wiki/Haskell/Category_theory说

join :: Monad m => m (m a) -> m a
join x = x >>= id

是id 在类的身份函子Hask和也id有型a-> a？

>>=要求它的第二个参数具有type a->ma，如果id具有type a-> a，怎么可以id用作...的第二个参数>>=？

return具有类型a -> ma。是join和return彼此相反吗？

谢谢。

我尝试使用保护方程式定义函数。为什么在GHCi中不起作用？谢谢。

Prelude> :{
Prelude| maxThree :: Integer -> Integer -> Integer -> Integer
Prelude| maxThree x y z
Prelude| x >= y && x >= z = x
Prelude| y >= z = y
Prelude| otherwise = z
Prelude| :}

<interactive>:77:1: error: Parse error in pattern: x >= y

在 SML 中，如果我是对的，默认情况下变量是不可变的。所以当我们尝试重新定义一个变量时

val y  = 100;
val y = 0.6;
y

环境将有两个条目y。新条目隐藏原始条目。是不是和我们将原始条目中的值从 100 修改为 0.6 的效果一样？

• 如果原始条目是在函数调用之外创建的，而新条目是在函数调用中创建的，那么当函数调用返回时，我们可以访问原始条目。

• 如果两个条目都是在同一个“范围”中创建的，就像上面的例子一样，原始条目是否不可访问？

实际上，它在 SML 中与在命令式语言（如 C）中是不是一样的？在 SML 中使变量不可变并在重新定义变量时创建新条目有什么意义？

谢谢。

在C11标准中

\n

6.3.1.3 有符号和无符号整数

\n

1 当一个整数类型的值转换为_Bool以外的其他整数类型时，如果该值可以用新类型表示，则该值保持不变。

\n

2 否则，如果新类型是无符号的，则通过在新类型中可以表示的最大值上重复加或减 1 来转换该值，直到该值在新类型的范围内。60）

\n

3 否则，新类型将被签名，且值无法在其中表示；结果要么是实现de\xef\xac\x81ned，要么引发实现de\xef\xac\x81ned 信号。

\n

在第一点中，

\n

• 我想知道第一点中的“如果该值可以用新类型表示”是什么意思？两种整数类型可能具有不同的整数范围，但可以具有相同的位表示范围。（例如，unsigned int 和 int。）

  \n
\n

• 转换前后位表示形式和整数值是否都没有改变？

  \n
\n

谢谢。

在R中,在向量中,即1-dim矩阵,我想将值为3的组件更改为值1,将值为4的组件更改为值2.我该怎么做？谢谢!