Програмування

Я починаю занурюватися в залежно від типового програмування і виявив, що мови Agda та Idris найближчі до Haskell, тому я почав саме там. Моє запитання: які основні відмінності між ними? Чи однаково виражені системи типів в обох? Було б чудово провести всебічне порівняння та обговорення переваг. Мені вдалося помітити декілька: …

165 agda  type-theory  idris 

Я додав новий пакет npm до свого проекту і вимагаю його в одному з моїх модулів. Тепер я отримую це повідомлення з webpack, build modulesNote: The code generator has deoptimised the styling of "D:/path/to/project/node_modules/ramda/dist/ramda.js" as it exceeds the max of "100KB". Що це означає? Чи потрібно вжити певних дій?

165 webpack  babeljs 

Важко сказати, про що тут питають. Це запитання є неоднозначним, розпливчастим, неповним, надто широким або риторичним і не може бути обґрунтованим відповіді в його теперішній формі. Для уточнення цього питання, щоб його можна було знову відкрити, відвідайте довідковий центр . Закрито 7 років тому . Що таке об'єктив C ++ …

165 c++  objective-c  xcode  objective-c++ 

var err1 = Error('message'); var err2 = new Error('message'); Яка різниця? Дивлячись на них у хромовану консоль, вони виглядають однаково. Однакові властивості на об’єкті та однаковий __proto__ланцюг. Майже здається, що Errorдіє як завод. Який з них правильний і чому?

165 javascript  exception 

Що таке скорочення для вставки нового запису або оновлення, якщо воно існує? <?php $shopOwner = ShopMeta::where('shopId', '=', $theID) ->where('metadataKey', '=', 2001)->first(); if ($shopOwner == null) { // Insert new record into database } else { // Update the existing record }

165 php  laravel  eloquent  laravel-query-builder 

Мене цікавить, що є "правильним" способом запису функцій з необов'язковими аргументами в Р. З часом я натрапив на кілька фрагментів коду, які приймають тут інший маршрут, і я не зміг знайти належне (офіційне) положення на цю тему. До цих пір я писав такі необов'язкові аргументи: fooBar <- function(x,y=NULL){ if(!is.null(y)) x …

165 r  function 

не вдається видалити файл, який дійсно існує - fatal: pathspec ... не збігався з жодними файлами У мене є файл під контролем git, який просто не буде видалений. Невдала команда: $ git rm .idea/workspace.xml fatal: pathspec '.idea/workspace.xml' did not match any files Нижче я перераховую вміст каталогів, гілки тощо. Поки …

165 git  intellij-idea 

У цілі C можна зробити наступне, щоб перевірити наявність рядків: if ([myString isEqualToString:@""]) { NSLog(@"myString IS empty!"); } else { NSLog(@"myString IS NOT empty, it is: %@", myString); } Як можна виявити порожні рядки в Swift?

165 swift 

Хтось знає, як створити кілька вихідних шляхів у файлі webpack.config.js? Я використовую bootstrap-sass, який поставляється з декількома різними файлами шрифтів і т. Д. Для веб-пакету для обробки цих даних я включив завантажувач файлів, який працює правильно, проте файли, які виводить, зберігаються у вихідний шлях, вказаний для решта моїх файлів: output: …

165 path  output  config  webpack  loader 

Я намагаюся створити демон в пітоні. Я знайшов наступне питання , в якому є деякі хороші ресурси, за якими я зараз перебуваю, але мені цікаво, чому потрібна подвійна вилка. Я подряпав Google і знайшов безліч ресурсів, де заявив, що потрібен, але не чому. Деякі згадують, що це не дозволяє демону …

165 python  unix  daemon 

У мене є дуже базовий ВЛІТЬНИЙ ПРИЄДНАЙТЕСЬ, щоб повернути всі результати з лівої таблиці та додаткову інформацію зі значно більшої таблиці. Ліва таблиця містить 4935 записів, але коли я НАЛЕГУЮТЬСЯ СПОЛУЧАЮТЬ її до додаткової таблиці, кількість записів значно більша. Наскільки мені відомо, є абсолютною євангелією, що СПІЛЬКИЙ ВІДПРИЄМНИЙ СПИСОК поверне …

165 sql  sql-server  sql-server-2005  tsql 

По-перше, я використовую Mac. Далі мені потрібно виконати цей "file.sh", ми його назвемо. Щоразу, коли мені потрібно його виконати, я повинен відкривати термінал і вводити: cd /Users/Jacob/Documents/folderWithFileInIt bash file.sh Це нормально, але я відчуваю, що це було б набагато швидше, якби я змусив файл виконувати подвійним клацанням, ви не думаєте? …

165 bash  macos  terminal  executable 

Я намагаюся встановити заголовок на своєму веб-сервері Go. Я використовую gorilla/muxі net/httpпакети. Я хотів би встановити Access-Control-Allow-Origin: *дозвіл міждоменного AJAX. Ось мій код Go: func saveHandler(w http.ResponseWriter, r *http.Request) { // do some stuff with the request data } func main() { r := mux.NewRouter() r.HandleFunc("/save", saveHandler) http.Handle("/", r) http.ListenAndServe(":"+port, …

165 http  go  cors  http-headers 

Я знаю, що це питання тут задавали багато разів, але я не можу знайти свою проблему. Я намагаюся зберегти зображення у папці в .net c #, але отримаю цей виняток: Access to the path 'C:\inetpub\wwwroot\mysite\images\savehere' is denied.The error occured at mscorlib because at System.IO.__Error.WinIOError(Int32 errorCode, String maybeFullPath) at System.IO.FileStream.Init(String path, …

165 c#  .net  iis  path  denied 

У Вікіпедії кажуть, що трехстороннє злиття менш схильне до помилок, ніж двостороннє злиття, і часто не потребує втручання користувача. Чому це так? Приклад, коли 3-х напрямне злиття є успішним, а двостороннє злиття не вдається.

165 version-control  merge  conflict  three-way-merge